BehaviorProtocolChecker


1   /* $Id: BehaviorProtocolChecker.java,v 1.1.1.1 2003/02/11 16:19:41 bures Exp $ */
2   package SOFA.SOFAnode.Util;
3   
4   /**
5    * An interface for behavior protocol conformance checker. It allows to check:
6    * interface protocol vs frame protocol (both provides and requires)
7    * frame protocol vs architecture protocol
8    *
9    * @author  Stanislav Visnovsky
10   * @version 1.0.0
11  */
12  
13  public interface BehaviorProtocolChecker {
14  
15  /**
16   * Tests a protocol conformance of interface protocol to frame protocol for both
17   * provides and requires interfaces. All parameters have to share common namespace,
18   * no renaming takes place.
19   *
20   * @author      Petr Hnetynka
21   * @version     1.0.0
22   * @return      a string message with error code or null for success
23   * @parm ifaceProt       interface protocol
24   * @parm frameProt       frame protocol
25   * @parm ifaceOperations array of fully qualified interface operation names of the interface
26   * @parm provide         whether it is provides (true) or requires interface (false)
27  */
28    public String   int2frame(String   ifaceProt, boolean provide, String  [] ifaceOperations, String   frameProt)
29      throws SyntaxErrorException;
30  
31  /**
32   * Tests a protocol conformance of frame protocol to architecture protocol.
33   * All parameters have to share common namespace, no renaming takes place.
34   *
35   * @author      Stanislav Visnovsky
36   * @version     1.0.0
37   * @return      a string message with error code or null for success
38   * @parm frameProt            frame protocol
39   * @parm archProt             architecture protocol
40   * @parm providesOperations   array of fully qualified operation names on all provides interfaces of the frame
41   * @parm ifaceOperations      array of fully qualified operation names on all interfaces of the frame
42  */
43    public String   frame2arch(String   frameProt, String  [] providesOperations, String   archProt, String  [] ifaceOperations)
44      throws SyntaxErrorException;
45  
46  /**
47   * Allows to get an information about maximal number of states reached through the last test.
48   *
49   * @author      Stanislav Visnovsky
50   * @version     1.0.0
51   * @return      a maximal number of states created
52  */
53    public int StatisticsMaxStates();
54  }
55
A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame
Popular Tags