|
|||||||||
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.ObjectSet | +--ConForM.CoopnTools.CoKer.ScenarioMgr.TrueObjectSet
Object id sets in the CO-OPN semantics.
Constructor Summary | |
TrueObjectSet(CoopnTerm oid)
Build a new ObjectSet for a singleton. |
|
TrueObjectSet(CoopnTerm[] oids)
Build a new ObjectSet for an array of oid. |
|
TrueObjectSet(java.util.Set oids)
Build a new ObjectSet for a set oid. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
boolean |
equals(java.lang.Object o)
Equality method. |
int |
hashCode()
Hashcode method. |
ScenarioElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
boolean |
isEmpty()
Look if this set is empty. |
java.util.Set |
oids()
Get the set of objects. |
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 TrueObjectSet(CoopnTerm oid)
public TrueObjectSet(CoopnTerm[] oids)
public TrueObjectSet(java.util.Set oids)
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 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.Set oids()
public boolean isEmpty()
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 |