|
|||||||||
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.CoopnSortSymbol | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSortSymbolVariable
Coopn sort VARIABLE.
Constructor Summary | |
CoopnSortSymbolVariable(CoopnName name,
CoopnModuleName module)
Simple constructor. |
|
CoopnSortSymbolVariable(CoopnName name,
CoopnModuleName module,
java.lang.String comment)
Simple constructor. |
|
CoopnSortSymbolVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module)
Simple constructor. |
|
CoopnSortSymbolVariable(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
java.lang.String comment)
Simple constructor. |
Method Summary | |
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. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSortSymbol |
clone, 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 |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Constructor Detail |
public CoopnSortSymbolVariable(CoopnName name, java.lang.String identifier, CoopnModuleName module) throws java.lang.IllegalArgumentException
public CoopnSortSymbolVariable(CoopnName name, CoopnModuleName module) throws java.lang.IllegalArgumentException
public CoopnSortSymbolVariable(CoopnName name, java.lang.String identifier, CoopnModuleName module, java.lang.String comment) throws java.lang.IllegalArgumentException
public CoopnSortSymbolVariable(CoopnName name, CoopnModuleName module, 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 java.lang.String kind()
CoopnSymbol
kind
in class CoopnSortSymbol
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
public boolean pureCOOPN()
pureCOOPN
in interface CoopnMetaElement
pureCOOPN
in class CoopnSortSymbol
public boolean pureCOIL()
pureCOIL
in interface CoopnMetaElement
pureCOIL
in class CoopnSortSymbol
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.UnsupportedOperationException
toCoco
in interface CoopnMetaElement
toCoco
in class CoopnSortSymbol
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 boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in class CoopnSortSymbol
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic boolean equivalent(java.lang.Object obj)
CoopnSymbol
equivalent
in class CoopnSortSymbol
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |