|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement | +--ConForM.CoopnTools.CoKer.ScenarioMgr.Transition
Transitions in the CO-OPN semantics.
Field Summary | |
protected State |
after
|
protected State |
before
|
protected ObjectSet |
freed
|
protected SemanticEvent |
label
|
protected ObjectSet |
waited
|
Constructor Summary | |
Transition(State before,
ObjectSet waited,
SemanticEvent label,
ObjectSet freed,
State after)
Build a new transition, passing from state "before" to state "after", and labelled by "label". |
|
Transition(State before,
SemanticEvent label,
State after)
Build a new transition, passing from state "before" to state "after", and labelled by "label". |
Method Summary | |
State |
afterState()
Get the state after the transition. |
java.lang.String |
afterString()
Get the state after the transition. |
State |
beforeState()
Get the state before the transition. |
java.lang.String |
beforeString()
Get the state before the transition as a String. |
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
compactString(java.lang.String name)
Return a compact identifier for the state, based on hashCode. |
boolean |
equals(java.lang.Object o)
Equality method. |
ObjectSet |
freed()
Get the set of freed object by the transition. |
int |
hashCode()
Hashcode method. |
ScenarioElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
SemanticEvent |
label()
Get the label of the transition. |
java.lang.String |
labelString()
Get the label of the transition. |
java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.String |
toPresentationString(CoopnEnv env,
int indent)
|
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
ObjectSet |
waited()
Get the set of waited object by the transition. |
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 |
protected State before
protected State after
protected ObjectSet waited
protected ObjectSet freed
protected SemanticEvent label
Constructor Detail |
public Transition(State before, SemanticEvent label, State after)
public Transition(State before, ObjectSet waited, SemanticEvent label, ObjectSet freed, State after)
Method Detail |
public ScenarioElement interpret(CoopnSubstitution sigma)
interpret
in class ScenarioElement
sigma
- the substitution; cannot be nullpublic boolean equals(java.lang.Object o)
ScenarioElement
equals
in class ScenarioElement
ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
obj
- the object to comparepublic int hashCode()
ScenarioElement
hashCode
in class ScenarioElement
ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
public java.lang.String compactString(java.lang.String name)
public java.lang.String toPresentationString(CoopnEnv env, int indent)
public java.lang.String toString(CoopnEnv env, int indent)
ScenarioElement
toString
in class ScenarioElement
ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toCompleteString(CoopnEnv env, int indent)
CoopnSyntacticElement
toCompleteString
in class ScenarioElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
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.public State beforeState()
public State afterState()
public ObjectSet waited()
public ObjectSet freed()
public SemanticEvent label()
public java.lang.String beforeString()
public java.lang.String afterString()
public java.lang.String labelString()
public java.lang.Object clone()
clone
in class ScenarioElement
ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |