|
|||||||||
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.ObjectState
Object states in the CO-OPN semantics.
Constructor Summary | |
ObjectState(CoopnTerm oid)
|
Method Summary | |
void |
addMarking(CoopnMark mark)
|
void |
addSharedMarking(CoopnMark mark)
|
java.lang.Object |
clone()
Cloning method. |
int |
countMarking(CoopnMark mark)
Return the number of occurence of a particular mark in the marking. of this state. |
int |
countSharedMarking(CoopnMark mark)
Return the number of occurence of a particular mark in the shared marking. of this state. |
boolean |
equals(java.lang.Object o)
Equality method. |
int |
hashCode()
Hashcode method. |
boolean |
hasMarking()
Test if this object state has a marking part. |
boolean |
hasSharedMarking()
Test if this object state has a shared marking part. |
ScenarioElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
java.util.List |
marking()
Get the image of the marking of this object. |
CoopnTerm |
oid()
Get the oid. |
void |
removeMarking(CoopnMark mark)
|
void |
removeSharedMarking(CoopnMark mark)
|
java.util.List |
sharedMarking()
Get the image of the shared marking of this object. |
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 |
Constructor Detail |
public ObjectState(CoopnTerm oid)
Method Detail |
public CoopnTerm oid()
public void addMarking(CoopnMark mark)
public void removeMarking(CoopnMark mark)
public int countMarking(CoopnMark mark)
public void addSharedMarking(CoopnMark mark)
public void removeSharedMarking(CoopnMark mark)
public int countSharedMarking(CoopnMark mark)
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 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 java.util.List marking()
public boolean hasMarking()
public java.util.List sharedMarking()
public boolean hasSharedMarking()
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 |