|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSubstitution
Substitutions in coopntools
Constructor Summary | |
CoopnSubstitution()
Build a new empty substitution. |
|
CoopnSubstitution(CoopnSubstitution initial)
Build a new substitution, with initial assignments. |
Method Summary | |
void |
add(CoopnClassCreationSymbolVariable variable,
CoopnClassCreationSymbol value)
Add a classCreation-symbol-variable assignment. |
void |
add(CoopnClassDestructionSymbolVariable variable,
CoopnClassDestructionSymbol value)
Add a classDestruction-symbol-variable assignment. |
void |
add(CoopnClassGateSymbolVariable variable,
CoopnClassGateSymbol value)
Add a classGate-symbol-variable assignment. |
void |
add(CoopnClassMethodSymbolVariable variable,
CoopnClassMethodSymbol value)
Add a classMethod-symbol-variable assignment. |
void |
add(CoopnContextGateSymbolVariable variable,
CoopnContextGateSymbol value)
Add a contextGate-symbol-variable assignment. |
void |
add(CoopnContextMethodSymbolVariable variable,
CoopnContextMethodSymbol value)
Add a contextMethod-symbol-variable assignment. |
void |
add(CoopnGeneratorSymbolVariable variable,
CoopnGeneratorSymbol value)
Add a generator-symbol-variable assignment. |
void |
add(CoopnObjectSymbolVariable variable,
CoopnObjectSymbol value)
Add a object-symbol-variable assignment. |
void |
add(CoopnOperationSymbolVariable variable,
CoopnOperationSymbol value)
Add a operation-symbol-variable assignment. |
void |
add(CoopnSortSymbolVariable variable,
CoopnSortSymbol value)
Add a sort-symbol-variable assignment. |
void |
add(CoopnTermVariable variable,
CoopnTerm value)
Add a term-variable assignment. |
void |
add(CoopnTypeSymbolVariable variable,
CoopnTypeSymbol value)
Add a type-symbol-variable assignment. |
void |
add(CoopnVariableSymbol variable,
CoopnTerm value)
Add a CO-OPN assignment. |
void |
add(ObjectSetVariable variable,
ObjectSet value)
Add an object-set-variable assignment. |
void |
add(SemanticEventVariable variable,
SemanticEvent value)
Add a semantic-event-variable assignment. |
void |
add(StateVariable variable,
State value)
Add a state-variable assignment. |
java.lang.Object |
assignmentOf(java.lang.Object variable)
Get the assigned value of a variable. |
java.lang.Object |
clone()
Cloning method. |
boolean |
equals(java.lang.Object o)
Equality method. |
int |
hashCode()
Hashcode method. |
java.lang.String |
toCompleteString()
String conversion method. |
java.lang.String |
toCompleteString(CoopnEnv env)
String conversion method. |
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. |
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.String |
toString(int indent)
|
java.util.Set |
variableSet()
Get the set of all assigned variables. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CoopnSubstitution()
public CoopnSubstitution(CoopnSubstitution initial)
initial
- the initial substitutionMethod Detail |
public java.util.Set variableSet()
public java.lang.Object assignmentOf(java.lang.Object variable)
variable
- the variablepublic boolean equals(java.lang.Object o)
CoopnSyntacticElement
equals
in interface CoopnSyntacticElement
equals
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic int hashCode()
CoopnSyntacticElement
hashCode
in interface CoopnSyntacticElement
hashCode
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public java.lang.Object clone()
CoopnSyntacticElement
clone
in interface CoopnSyntacticElement
clone
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public java.lang.String toString(CoopnEnv env, int indent)
CoopnSyntacticElement
toString
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 toString(CoopnEnv env)
CoopnSyntacticElement
toString
in interface CoopnSyntacticElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toString(int indent)
public java.lang.String toString()
CoopnSyntacticElement
toString
in interface CoopnSyntacticElement
toString
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public 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(CoopnEnv env)
CoopnSyntacticElement
toCompleteString
in interface CoopnSyntacticElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toCompleteString(int indent)
public java.lang.String toCompleteString()
CoopnSyntacticElement
toCompleteString
in interface CoopnSyntacticElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public void add(CoopnVariableSymbol variable, CoopnTerm value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnTermVariable variable, CoopnTerm value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnTypeSymbolVariable variable, CoopnTypeSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnSortSymbolVariable variable, CoopnSortSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnOperationSymbolVariable variable, CoopnOperationSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnObjectSymbolVariable variable, CoopnObjectSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnGeneratorSymbolVariable variable, CoopnGeneratorSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnContextGateSymbolVariable variable, CoopnContextGateSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnContextMethodSymbolVariable variable, CoopnContextMethodSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnClassGateSymbolVariable variable, CoopnClassGateSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnClassMethodSymbolVariable variable, CoopnClassMethodSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnClassCreationSymbolVariable variable, CoopnClassCreationSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(CoopnClassDestructionSymbolVariable variable, CoopnClassDestructionSymbol value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(StateVariable variable, State value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(SemanticEventVariable variable, SemanticEvent value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.public void add(ObjectSetVariable variable, ObjectSet value)
variable
- the variable to assignvalue
- the assigned valuejava.lang.IllegalArgumentException
- A parameter is invalid, or the variable is
already assigned in this substitution.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |