ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnGeneratorSymbolVariable
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnFunctionSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnGeneratorSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnGeneratorSymbolVariable
- All Implemented Interfaces:
- java.lang.Cloneable, java.lang.Comparable, CoopnMetaElement, CoopnSyntacticElement, CoopnSyntacticFunctionnalSymbol, CoopnSyntacticSymbol, java.io.Serializable
- public class CoopnGeneratorSymbolVariable
- extends CoopnGeneratorSymbol
- implements CoopnMetaElement
Coopn generator VARIABLE.
- See Also:
- , Serialized Form
Constructor Summary |
CoopnGeneratorSymbolVariable(CoopnName name,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain)
Simple constructor. |
CoopnGeneratorSymbolVariable(CoopnName name,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain,
java.lang.String comment)
Simple constructor. |
CoopnGeneratorSymbolVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain)
Simple constructor. |
CoopnGeneratorSymbolVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain,
java.lang.String comment)
Simple constructor. |
Method Summary |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
createCocoElement(int index,
boolean used,
CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTypeAgg domain,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoType codomain)
|
boolean |
equals(java.lang.Object obj)
Equality method. |
boolean |
equivalent(java.lang.Object obj)
Equivalence testing method. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
java.lang.String |
kind()
Kind retrieving method. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnFunctionSymbol |
clone, codomain, domain, hasDomain, paramNumber, paramTypes, returnType, toCoco, toCompleteText, toText, unmodifiableCopy |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol |
arity, cloneCoopnElement, comment, compareTo, decompose, equalsCoopnSymbol, equivalentCoopnSymbol, hashCode, identifier, indexCoopnSymbol, module, name, symbolModule, symbolModuleKind, symbolName, toTextCoopnSymbol, unmodifiableSymbol, usedCoopnSymbol |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
CoopnGeneratorSymbolVariable
public CoopnGeneratorSymbolVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
CoopnGeneratorSymbolVariable
public CoopnGeneratorSymbolVariable(CoopnName name,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
CoopnGeneratorSymbolVariable
public CoopnGeneratorSymbolVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain,
java.lang.String comment)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
CoopnGeneratorSymbolVariable
public CoopnGeneratorSymbolVariable(CoopnName name,
CoopnModuleName module,
CoopnTypeAgg domain,
CoopnType codomain,
java.lang.String comment)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
interpret
public CoopnElement interpret(CoopnSubstitution sigma)
- Description copied from class:
CoopnSymbol
- Interpretation of this element according to a substitution. Actually
returns a clone of the element itself. This strategy is valid for all
symbols, except for meta-element symbols.
- Overrides:
interpret
in class CoopnSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
- Parameters:
sigma
- the substitution; cannot be null- Returns:
- a clone of the element, as the interpretation of a symbol
is usually the same symbol.
kind
public java.lang.String kind()
- Description copied from interface:
CoopnSyntacticSymbol
- Kind retrieving method. This method must be defined in the inherited
classes for returning a string allowing the user to know what kind of
symbol this is.
- Overrides:
kind
in class CoopnGeneratorSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
- Returns:
- a string defining the symbol kind.
equals
public boolean equals(java.lang.Object obj)
- Description copied from interface:
CoopnSyntacticElement
- Equality method. Must be defined in the inherited classes.
- Overrides:
equals
in class CoopnGeneratorSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
obj
- the object to compare- Returns:
- true iff this object and the parameter are equals.
equivalent
public boolean equivalent(java.lang.Object obj)
- Description copied from class:
CoopnSymbol
- Equivalence testing method. This method must be defined in the inherited
classes for returning a boolean deciding if this symbol is equivalent to
the parameter. Two symbols are equivalents if they are equals, or if they
are equals when source modules are not considered. For instance,
transition "T" in "Module1" and transition "T" in "Module2" are
are not equal, but are equivalent.
- Overrides:
equivalent
in class CoopnGeneratorSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
- Returns:
- true iff both symbols are equivalents.
pureCOOPN
public boolean pureCOOPN()
- Pure COOPN verification method.
- Specified by:
pureCOOPN
in interface CoopnMetaElement
- Overrides:
pureCOOPN
in class CoopnGeneratorSymbol
- Returns:
- false, as meta elements are not pure CO-OPN.
pureCOIL
public boolean pureCOIL()
- Pure COIL-COOPN2C verification method.
- Specified by:
pureCOIL
in interface CoopnMetaElement
- Overrides:
pureCOIL
in class CoopnGeneratorSymbol
- Returns:
- false, as meta elements are not pure COIL.
createCocoElement
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement createCocoElement(int index,
boolean used,
CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTypeAgg domain,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoType codomain)
throws java.lang.UnsupportedOperationException
- Overrides:
createCocoElement
in class CoopnGeneratorSymbol