Constructor Detail

• GRecursion

  public GRecursion()

  This is the default constructor.

Method Detail

• isRoleInvolved

  public boolean isRoleInvolved(RoleDecl role)

  This method determines whether the supplied role is 'involved' in this global activity.

  Specified by:

  isRoleInvolved in class GActivity

  Returns:

  Whether the role is involved

• identifyInvolvedRoles

  public void identifyInvolvedRoles(Set<Role> roles)

  This method builds up the set of roles involved in the global activity.

  Specified by:

  identifyInvolvedRoles in class GActivity

  Parameters:

  roles - The set of involved roles

• getLabel

  public String getLabel()

  This method returns the label associated with the labelled block construct.

  Returns:

  The label

• setLabel

  public void setLabel(String label)

  This method sets the label associated with the labelled block construct.

  Parameters:

  label - The label

• getBlock

  public GBlock getBlock()

  This method returns the activities.

  Specified by:

  getBlock in class GSinglePathActivity

  Returns:

  The block of activities

• setBlock

  public void setBlock(GBlock block)

  This method sets the block.

  Parameters:

  block - The block

• visit

  public void visit(GVisitor visitor)

  This method visits the model object using the supplied visitor.

  Specified by:

  visit in class GActivity

  Parameters:

  visitor - The visitor

• equals

  public boolean equals(Object o)

  Overrides:

  equals in class Object

• hashCode

  public int hashCode()

  Overrides:

  hashCode in class Object

• toString

  public String toString()

  Overrides:

  toString in class Object

• toText

  public void toText(StringBuffer buf,
            int level)

  This method generates a text representation of the protocol component.

  Specified by:

  toText in class ModelObject

  Parameters:

  buf - The text buffer

  level - The indentation level, if relevant