|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
Scenario elements.
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 |
public ScenarioElement()
Method Detail |
public abstract ScenarioElement interpret(CoopnSubstitution sigma)
sigma
- the substitution; cannot be nullpublic abstract boolean equals(java.lang.Object obj)
equals
in interface CoopnSyntacticElement
equals
in class java.lang.Object
obj
- the object to comparepublic abstract int hashCode()
hashCode
in interface CoopnSyntacticElement
hashCode
in class java.lang.Object
public abstract java.lang.String toString(CoopnEnv env, int indent)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toString()
toString
in interface CoopnSyntacticElement
toString
in class java.lang.Object
public abstract java.lang.String toCompleteString(CoopnEnv env, int indent)
CoopnSyntacticElement
toCompleteString
in interface CoopnSyntacticElement
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.lang.String toCompleteString(int indent)
public java.lang.String toCompleteString(CoopnEnv env)
CoopnSyntacticElement
toCompleteString
in interface CoopnSyntacticElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toCompleteString()
CoopnSyntacticElement
toCompleteString
in interface CoopnSyntacticElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
protected ScenarioElement cloneScenarioElement()
public abstract java.lang.Object clone()
clone
in interface CoopnSyntacticElement
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |