ConForM.CoopnTools.CoKer.ScenarioMgr
Class TrueSemanticEvent

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
        |
        +--ConForM.CoopnTools.CoKer.ScenarioMgr.SemanticEvent
              |
              +--ConForM.CoopnTools.CoKer.ScenarioMgr.TrueSemanticEvent
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class TrueSemanticEvent
extends SemanticEvent

Semantic events in the CO-OPN semantics.

See Also:
Serialized Form

Field Summary
protected  boolean isTau
           
protected  CoopnSync provided
           
protected  CoopnSync required
           
 
Constructor Summary
TrueSemanticEvent(boolean isTau, CoopnSync required)
           
TrueSemanticEvent(CoopnClassFormulaSymbol formula)
           
TrueSemanticEvent(CoopnContextFormulaSymbol formula)
           
TrueSemanticEvent(CoopnSync sync)
           
TrueSemanticEvent(CoopnSync provided, CoopnSync required)
           
 
Method Summary
 java.lang.Object clone()
          Create a clone of a state.
 boolean equals(java.lang.Object o)
          Equality method.
 int hashCode()
          Hashcode method.
 ScenarioElement interpret(CoopnSubstitution sigma)
          Interpretation of this element according to a substitution.
 CoopnSync provided()
          Get the provided synchronisation.
 boolean providedIsTau()
          Look is the provided synchronisation is a tau.
 CoopnSync required()
          Get the required synchronisation.
 java.lang.String toCompleteString(CoopnEnv env, int indent)
          String conversion method.
 java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
cloneScenarioElement, toCompleteString, toCompleteString, toCompleteString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

provided

protected CoopnSync provided

required

protected CoopnSync required

isTau

protected boolean isTau
Constructor Detail

TrueSemanticEvent

public TrueSemanticEvent(CoopnSync sync)

TrueSemanticEvent

public TrueSemanticEvent(CoopnClassFormulaSymbol formula)

TrueSemanticEvent

public TrueSemanticEvent(CoopnContextFormulaSymbol formula)

TrueSemanticEvent

public TrueSemanticEvent(CoopnSync provided,
                         CoopnSync required)

TrueSemanticEvent

public TrueSemanticEvent(boolean isTau,
                         CoopnSync required)
Method Detail

provided

public CoopnSync provided()
Get the provided synchronisation.
Returns:
the provided synchronization, or null iff the provided sync is empty or the provided sync is a tau.

required

public CoopnSync required()
Get the required synchronisation.
Returns:
the required synchronization, or null iff the required sync is empty.

providedIsTau

public boolean providedIsTau()
Look is the provided synchronisation is a tau.

interpret

public ScenarioElement interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution.
Overrides:
interpret in class ScenarioElement
Parameters:
sigma - the substitution; cannot be null
Returns:
a new ScenarioElement object, coreesponding to the interpretation.

toString

public java.lang.String toString(CoopnEnv env,
                                 int indent)
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toString in class ScenarioElement
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString(CoopnEnv env,
                                         int indent)
Description copied from interface: CoopnSyntacticElement
String conversion method. This routine converts an element into a string representing it. The string representation is intended to be as complete as possible, even if the resulting string is not more readable. The string representation is not required to include the comments associated to the element, if any.
Overrides:
toCompleteString in class ScenarioElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Parameters:
env - the environment deciding the form of the display. A null values indicates a default form.
indent - the identation factor. A zero value indicates no indentation at all.
Returns:
a String image of the element.

equals

public boolean equals(java.lang.Object o)
Description copied from class: ScenarioElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class ScenarioElement
Following copied from class: ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Description copied from class: ScenarioElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class ScenarioElement
Following copied from class: ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
Returns:
the hash code.

clone

public java.lang.Object clone()
Create a clone of a state.
Overrides:
clone in class ScenarioElement
Following copied from class: ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
Returns:
a clone object.