|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTermVariable
Coopn term VARIABLE.
Constructor Summary | |
CoopnTermVariable(CoopnName name,
CoopnModuleName module,
CoopnType type)
Simple constructor. |
|
CoopnTermVariable(CoopnName name,
CoopnModuleName module,
CoopnType type,
java.lang.String comment)
Simple constructor. |
|
CoopnTermVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnType type)
Simple constructor. |
|
CoopnTermVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnType type,
java.lang.String comment)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
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. |
CoopnSyntacticElement |
paramType()
Get an element, representing the "type" (in a broad sense) of the parameter. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
CoopnType |
type()
Return the type. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
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 |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol |
comment, identifier, symbolModule, symbolModuleKind, symbolName |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Constructor Detail |
public CoopnTermVariable(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnType type) throws java.lang.IllegalArgumentException
public CoopnTermVariable(CoopnName name, CoopnModuleName module, CoopnType type) throws java.lang.IllegalArgumentException
public CoopnTermVariable(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnType type, java.lang.String comment) throws java.lang.IllegalArgumentException
public CoopnTermVariable(CoopnName name, CoopnModuleName module, CoopnType type, java.lang.String comment) throws java.lang.IllegalArgumentException
Method Detail |
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnSymbol
interpret
in class CoopnSymbol
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
sigma
- the substitution; cannot be nullpublic CoopnSyntacticElement paramType()
paramType
in interface CoopnSyntacticParamSymbol
public java.lang.String kind()
CoopnSyntacticSymbol
kind
in interface CoopnSyntacticSymbol
kind
in class CoopnSymbol
ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
public boolean pureCOOPN()
pureCOOPN
in interface CoopnMetaElement
pureCOOPN
in class CoopnElement
public boolean pureCOIL()
pureCOIL
in interface CoopnMetaElement
pureCOIL
in class CoopnElement
public CoopnType type()
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in interface CoopnSyntacticElement
equals
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic boolean equivalent(java.lang.Object obj)
CoopnSymbol
equivalent
in class CoopnSymbol
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
CoopnElement
toCompleteText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
table
- the symbol table used to generate symbol referencespublic ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.UnsupportedOperationException
toCoco
in interface CoopnMetaElement
toCoco
in class CoopnElement
table
- the symbol table used to generate symbol referencesjava.lang.IllegalArgumentException
- A used symbol is not in the symbol table.java.lang.UnsupportedOperationException
- Alway thrown, by definition.public java.lang.Object clone()
CoopnSyntacticElement
clone
in interface CoopnSyntacticElement
clone
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public java.lang.Object unmodifiableCopy()
CoopnElement
unmodifiableCopy
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |