Constructor Detail

• ProtocolDecl

  public ProtocolDecl()

  The default constructor.

Method Detail

• getName

  public String getName()

  This method returns the name.

  Returns:

  The name

• setName

  public void setName(String name)

  This method sets the name.

  Parameters:

  name - The name

• getRoleDeclarations

  public List<RoleDecl> getRoleDeclarations()

  This method returns the role declarations associated with the protocol.

  Returns:

  The role declarations

• getRoleDeclaration

  public RoleDecl getRoleDeclaration(String name)

  This method returns the role declaration associated with the supplied name.

  Parameters:

  name - The name

  Returns:

  The role declaration, or null if not found

• getParameterDeclarations

  public List<ParameterDecl> getParameterDeclarations()

  This method returns the parameter declarations associated with the protocol.

  Returns:

  The parameter declarations

• getParameterDeclaration

  public ParameterDecl getParameterDeclaration(String name)

  This method returns the parameter declaration associated with the supplied name.

  Parameters:

  name - The name

  Returns:

  The parameter declaration, or null if not found

• getModule

  public Module getModule()

  This method returns the model in which this definition is contained.

  Overrides:

  getModule in class ModelObject

  Returns:

  The model, or null if not contained within a model