ConForM.CoopnTools.CoKer.ScenarioMgr
Class TrueObjectSet

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

public class TrueObjectSet
extends ObjectSet

Object id sets in the CO-OPN semantics.

See Also:
Serialized Form

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

TrueObjectSet

public TrueObjectSet(CoopnTerm oid)
Build a new ObjectSet for a singleton.

TrueObjectSet

public TrueObjectSet(CoopnTerm[] oids)
Build a new ObjectSet for an array of oid.

TrueObjectSet

public TrueObjectSet(java.util.Set oids)
Build a new ObjectSet for a set oid.
Method Detail

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.

oids

public java.util.Set oids()
Get the set of objects.
Returns:
an unmodifiable set containing the oids as CoopnTerms.

isEmpty

public boolean isEmpty()
Look if this set is empty.

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.