|
|||||||||
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.State | +--ConForM.CoopnTools.CoKer.ScenarioMgr.TrueState
States in the CO-OPN semantics.
Constructor Summary | |
TrueState(CoopnWorkspace spec)
Build a new empty state for a workspace (and therefore for a specification). |
Method Summary | |
CoopnType |
actualObjectType(CoopnTerm oid)
Get the actual type of an object, or null iff oid not konwn. |
void |
addCoid(CoopnTerm coid)
Add a coid. |
void |
addContextState(ContextState state)
Add a context state, with its objects. |
CoopnTerm |
cloid(CoopnType type)
Return the set of current last object odentifier of a type. |
java.lang.Object |
clone()
Create a clone of a state. |
java.util.Set |
coids()
|
java.lang.String |
compactString()
Return a compact identifier for the state, based on hashCode. |
java.util.Set |
contexts()
Get the set of all copntexts enclosed in this state. |
void |
createContext(CoopnModuleName context)
Creates a context. |
CoopnTerm |
createObject(CoopnObjectSymbol object,
CoopnModuleName context)
Create a new static object of a particular type, and place it into its context. |
CoopnTerm |
createObject(CoopnType type,
CoopnModuleName context)
Create a new object of a particular type, and place it into its context. |
boolean |
equals(java.lang.Object o)
Equality method. |
static CoopnGeneratorSymbol |
firstObjectIdentifierOf(CoopnType type)
Get the public generator corresponding to a first OID for a particular type. |
int |
hashCode()
Hashcode method. |
ScenarioElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
java.util.Set |
loids()
|
static CoopnGeneratorSymbol |
nextObjectIdentifierOf(CoopnType type)
Get the public generator corresponding to a next OID for a particular type. |
void |
removeObject(CoopnTerm oid)
|
void |
setLoid(CoopnTerm loid)
Set a loid. |
ContextState |
stateOf(CoopnModuleName context)
Return the state of an enclosed context. |
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 TrueState(CoopnWorkspace spec)
Method Detail |
public ScenarioElement interpret(CoopnSubstitution sigma)
interpret
in class ScenarioElement
sigma
- the substitution; cannot be nullpublic java.lang.String compactString()
compactString
in class State
public 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 void setLoid(CoopnTerm loid)
public void addCoid(CoopnTerm coid)
public void addContextState(ContextState state)
public void createContext(CoopnModuleName context)
public static CoopnGeneratorSymbol firstObjectIdentifierOf(CoopnType type)
public static CoopnGeneratorSymbol nextObjectIdentifierOf(CoopnType type)
public CoopnTerm createObject(CoopnType type, CoopnModuleName context)
public CoopnTerm createObject(CoopnObjectSymbol object, CoopnModuleName context)
public void removeObject(CoopnTerm oid)
public CoopnTerm cloid(CoopnType type)
type
- type typepublic java.util.Set loids()
public ContextState stateOf(CoopnModuleName context)
context
- the name of the contextpublic java.util.Set contexts()
public java.util.Set coids()
public CoopnType actualObjectType(CoopnTerm oid)
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 |