ConForM.CoopnTools.CoKer.ScenarioMgr
Class ContextState

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
        |
        +--ConForM.CoopnTools.CoKer.ScenarioMgr.ContextState
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class ContextState
extends ScenarioElement

Context states in the CO-OPN semantics.

See Also:
Serialized Form

Constructor Summary
ContextState(CoopnModuleName context)
           
 
Method Summary
 void addObjectState(ObjectState state)
          Add a new object state to the context.
 java.lang.Object clone()
          Cloning method.
 CoopnModuleName context()
          Get the context.
 boolean equals(java.lang.Object o)
          Equality method.
 int hashCode()
          Hashcode method.
 ScenarioElement interpret(CoopnSubstitution sigma)
          Interpretation of this element according to a substitution.
 java.util.Set objects()
          Get the set of all objects enclosed in this context.
 ObjectState stateOf(CoopnTerm oid)
          Return the state of an enclosed 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

ContextState

public ContextState(CoopnModuleName context)
Method Detail

context

public CoopnModuleName context()
Get the context.

addObjectState

public void addObjectState(ObjectState state)
Add a new object state to the context. THIS METHODS MUST BE CALLED ONLY BEFORE THE ADDING OF THIS STATE INTO ITS TRUESTATE, or the resulting state is INCONSISTENT.

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.

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.

toString

public java.lang.String toString(CoopnEnv env,
                                 int indent)
Description copied from class: ScenarioElement
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toString in class ScenarioElement
Following copied from class: ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
Parameters:
env - the environment deciding the form of the display
indent - 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.

stateOf

public ObjectState stateOf(CoopnTerm oid)
Return the state of an enclosed object.
Parameters:
oid - the object identifier, as a CoopnTerm
Returns:
the state, ot null if the object is not part of this context.

objects

public java.util.Set objects()
Get the set of all objects enclosed in this context.
Returns:
an unmodifiable set containing the enclosed oid as CoopnTerms.

clone

public java.lang.Object clone()
Cloning method.
Overrides:
clone in class ScenarioElement
Following copied from class: ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
Returns:
a clone object.