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
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
provided
protected CoopnSync provided
required
protected CoopnSync required
isTau
protected boolean isTau
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)
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 displayindent
- 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.