1 2 package SOFA.SOFAnode.Util; 3 4 12 13 public interface BehaviorProtocolChecker { 14 15 28 public String int2frame(String ifaceProt, boolean provide, String [] ifaceOperations, String frameProt) 29 throws SyntaxErrorException; 30 31 43 public String frame2arch(String frameProt, String [] providesOperations, String archProt, String [] ifaceOperations) 44 throws SyntaxErrorException; 45 46 53 public int StatisticsMaxStates(); 54 } 55 | Popular Tags |