|
|||||||||
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
Coopn symbols.
Constructor Summary | |
protected |
CoopnSymbol(CoopnName name,
CoopnModuleName module)
Simple constructor. |
protected |
CoopnSymbol(CoopnName name,
CoopnModuleName module,
java.lang.String comment)
Simple constructor. |
protected |
CoopnSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module)
Simple constructor. |
protected |
CoopnSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
java.lang.String comment)
Simple constructor. |
Method Summary | |
int |
arity()
Symbol arity. |
protected CoopnElement |
cloneCoopnElement()
Internal cloning method. |
java.lang.String |
comment()
Return the associated comment. |
int |
compareTo(java.lang.Object o)
|
java.lang.String[] |
decompose()
Symbol decomposition. |
protected boolean |
equalsCoopnSymbol(CoopnSymbol s)
Internal equality testing method. |
abstract boolean |
equivalent(java.lang.Object s)
Equivalence testing method. |
protected boolean |
equivalentCoopnSymbol(CoopnSymbol s)
Internal equivalence testing method. |
int |
hashCode()
Hashcode method. |
java.lang.String |
identifier()
Return the identifier. |
protected int |
indexCoopnSymbol(CoopnSymbolTable table)
Symbol number. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
abstract java.lang.String |
kind()
Kind retrieving method. |
CoopnModuleName |
module()
Return the module. |
CoopnName |
name()
Return the name. |
java.lang.String |
symbolModule()
Return the module name as a string. |
int |
symbolModuleKind()
Get the module kind (in the sense of the package manager) of the module defining the symbol, for instance COOPNSOURCE, COALASOURCE, PACKAGE, and so on). |
java.lang.String |
symbolName()
Return the name as a string. |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName |
toTextCoopnSymbol()
Internal Text conversion method. |
protected CoopnSymbol |
unmodifiableSymbol()
|
protected boolean |
usedCoopnSymbol(CoopnSymbolTable table)
Is this symbol used. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
clone, equals, pureCOIL, pureCOOPN, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens, unmodifiableCopy |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
clone, equals, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Constructor Detail |
protected CoopnSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module) throws java.lang.IllegalArgumentException
name
- the name. May be null if symbol has no name.identifier
- the identifier. The identifier is merely used
for the convenience of users, allowing them to
identify symbols even when they have no names.
Identifiers are not taking part in symbol
comparisons, for equality and for equivalence.module
- the definition module. Cannot be null.java.lang.IllegalArgumentException
- identifier or module are null references.protected CoopnSymbol(CoopnName name, CoopnModuleName module) throws java.lang.IllegalArgumentException
name
- the name and the identifier of the symbol.
Cannot be null.module
- the definition module. Cannot be null.java.lang.IllegalArgumentException
- name or module are null references.protected CoopnSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module, java.lang.String comment) throws java.lang.IllegalArgumentException
name
- the name. May be null if symbol has no name.identifier
- the identifier. The identifier is merely used
for the convenience of users, allowing them to
identify symbols even when they have no names.
Identifiers are not taking part in symbol
comparisons, for equality and for equivalence.module
- the definition module. Cannot be null.java.lang.IllegalArgumentException
- identifier or module are null references.protected CoopnSymbol(CoopnName name, CoopnModuleName module, java.lang.String comment) throws java.lang.IllegalArgumentException
name
- the name and the identifier of the symbol.
Cannot be null.module
- the definition module. Cannot be null.java.lang.IllegalArgumentException
- name or module are null references.Method Detail |
public int compareTo(java.lang.Object o)
compareTo
in interface java.lang.Comparable
public CoopnName name()
public java.lang.String symbolName()
symbolName
in interface CoopnSyntacticSymbol
public java.lang.String identifier()
identifier
in interface CoopnSyntacticSymbol
public CoopnModuleName module()
public java.lang.String symbolModule()
symbolModule
in interface CoopnSyntacticSymbol
public int symbolModuleKind()
symbolModuleKind
in interface CoopnSyntacticSymbol
public java.lang.String comment()
comment
in interface CoopnSyntacticSymbol
public int arity()
public java.lang.String[] decompose()
public CoopnElement interpret(CoopnSubstitution sigma)
interpret
in class CoopnElement
sigma
- the substitution; cannot be nullpublic abstract java.lang.String kind()
kind
in interface CoopnSyntacticSymbol
public abstract boolean equivalent(java.lang.Object s)
protected boolean equalsCoopnSymbol(CoopnSymbol s)
public int hashCode()
CoopnSyntacticElement
hashCode
in interface CoopnSyntacticElement
hashCode
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
protected boolean equivalentCoopnSymbol(CoopnSymbol s)
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName toTextCoopnSymbol()
protected int indexCoopnSymbol(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
protected boolean usedCoopnSymbol(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
protected CoopnSymbol unmodifiableSymbol()
protected CoopnElement cloneCoopnElement()
cloneCoopnElement
in class CoopnElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |