ConForM.CoopnTools.CoKer.ScenarioMgr
Class ScenarioElement

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
ContextState, ObjectSet, ObjectState, SemanticEvent, State, Transition

public abstract class ScenarioElement
extends java.lang.Object
implements CoopnSyntacticElement

Scenario elements.

See Also:
Serialized Form

Constructor Summary
ScenarioElement()
           
 
Method Summary
abstract  java.lang.Object clone()
          Cloning method.
protected  ScenarioElement cloneScenarioElement()
          Internal cloning method.
abstract  boolean equals(java.lang.Object obj)
          Equality method.
abstract  int hashCode()
          Hashcode method.
abstract  ScenarioElement interpret(CoopnSubstitution sigma)
          Interpretation of this element according to a substitution.
 java.lang.String toCompleteString()
          String conversion method.
 java.lang.String toCompleteString(CoopnEnv env)
          String conversion method.
abstract  java.lang.String toCompleteString(CoopnEnv env, int indent)
          String conversion method.
 java.lang.String toCompleteString(int indent)
           
 java.lang.String toString()
          String conversion method.
 java.lang.String toString(CoopnEnv env)
          String conversion method.
abstract  java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ScenarioElement

public ScenarioElement()
Method Detail

interpret

public abstract ScenarioElement interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution.
Parameters:
sigma - the substitution; cannot be null
Returns:
a new ScenarioElement object, coreesponding to the interpretation.

equals

public abstract boolean equals(java.lang.Object obj)
Equality method. Must be defined in the inherited classes.
Specified by:
equals in interface CoopnSyntacticElement
Overrides:
equals in class java.lang.Object
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public abstract int hashCode()
Hashcode method. Must be defined in the inherited classes.
Specified by:
hashCode in interface CoopnSyntacticElement
Overrides:
hashCode in class java.lang.Object
Returns:
the hash code.

toString

public abstract java.lang.String toString(CoopnEnv env,
                                          int indent)
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Specified by:
toString in interface CoopnSyntacticElement
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toString

public java.lang.String toString(CoopnEnv env)
String conversion method. Use an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Specified by:
toString in interface CoopnSyntacticElement
Parameters:
env - the environment deciding the form of the display
Returns:
a String image of the element.

toString

public java.lang.String toString()
String conversion method. Use no environment and an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Specified by:
toString in interface CoopnSyntacticElement
Overrides:
toString in class java.lang.Object
Returns:
a String image of the element.

toCompleteString

public abstract 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.
Specified by:
toCompleteString in interface CoopnSyntacticElement
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.

toCompleteString

public java.lang.String toCompleteString(int indent)

toCompleteString

public java.lang.String toCompleteString(CoopnEnv env)
Description copied from interface: CoopnSyntacticElement
String conversion method. Use an identation of 0. 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.
Specified by:
toCompleteString in interface CoopnSyntacticElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Parameters:
env - the environment deciding the form of the display
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString()
Description copied from interface: CoopnSyntacticElement
String conversion method. Use no environment and an identation of 0. 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.
Specified by:
toCompleteString in interface CoopnSyntacticElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
a String image of the element.

cloneScenarioElement

protected ScenarioElement cloneScenarioElement()
Internal cloning method. Should be used by the inherited classed for implementing their own "clone" method.
Returns:
a clone element.

clone

public abstract java.lang.Object clone()
Cloning method. Must be defined in the inherited classes.
Specified by:
clone in interface CoopnSyntacticElement
Overrides:
clone in class java.lang.Object
Returns:
a clone object.