|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Coopn elements.
Constructor Summary | |
CoopnElement()
|
Method Summary | |
abstract java.lang.Object |
clone()
Cloning method. |
protected CoopnElement |
cloneCoopnElement()
Internal cloning method. |
abstract boolean |
equals(java.lang.Object obj)
Equality method. |
abstract int |
hashCode()
Hashcode method. |
abstract CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
java.lang.String |
toCompleteString()
Complete string method. |
java.lang.String |
toCompleteString(CoopnEnv env)
Complete string conversion method. |
java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
Complete string conversion method. |
java.lang.String |
toCompleteString(CoopnSymbolTable table)
Complete string method. |
java.lang.String |
toCompleteString(CoopnSymbolTable table,
CoopnEnv env)
Complete string conversion method. |
java.lang.String |
toCompleteString(CoopnSymbolTable table,
CoopnEnv env,
int indent)
Complete string conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText()
Complete textual elements conversion method. |
abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
void |
toCompleteTokens(LexicalTokenList tokens)
Complete Token method. |
void |
toCompleteTokens(LexicalTokenList tokens,
CoopnEnv env)
Complete Token conversion method. |
void |
toCompleteTokens(LexicalTokenList tokens,
CoopnEnv env,
int indent)
Complete Token conversion method. |
void |
toCompleteTokens(LexicalTokenList tokens,
CoopnSymbolTable table)
Complete Token method. |
void |
toCompleteTokens(LexicalTokenList tokens,
CoopnSymbolTable table,
CoopnEnv env)
Complete Token conversion method. |
void |
toCompleteTokens(LexicalTokenList tokens,
CoopnSymbolTable table,
CoopnEnv env,
int indent)
Complete Token conversion method. |
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. |
abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
void |
toTokens(LexicalTokenList tokens)
Token conversion method. |
void |
toTokens(LexicalTokenList tokens,
CoopnEnv env)
Token conversion method. |
void |
toTokens(LexicalTokenList tokens,
CoopnEnv env,
int indent)
Token conversion method. |
abstract java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CoopnElement()
Method Detail |
public boolean pureCOOPN()
public boolean pureCOIL()
public abstract CoopnElement interpret(CoopnSubstitution sigma)
sigma
- the substitution; cannot be nullpublic abstract boolean equals(java.lang.Object obj)
equals
in interface CoopnSyntacticElement
equals
in class java.lang.Object
obj
- the object to comparepublic abstract int hashCode()
hashCode
in interface CoopnSyntacticElement
hashCode
in class java.lang.Object
public abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
public abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
table
- the symbol table used to generate symbol referencespublic ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText()
public java.lang.String toString(CoopnEnv env, int indent)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toString()
toString
in interface CoopnSyntacticElement
toString
in class java.lang.Object
public java.lang.String toCompleteString(CoopnSymbolTable table, CoopnEnv env, int indent)
table
- the symbol table used to generate symbol referencesenv
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toCompleteString(CoopnSymbolTable table, CoopnEnv env)
table
- the symbol table used to generate symbol referencesenv
- the environment deciding the form of the displaypublic java.lang.String toCompleteString(CoopnSymbolTable table)
table
- the symbol table used to generate symbol referencespublic java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toCompleteString(CoopnEnv env)
toCompleteString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toCompleteString()
toCompleteString
in interface CoopnSyntacticElement
public void toTokens(LexicalTokenList tokens, CoopnEnv env, int indent)
tokens
- the LexicalTokenList used as destination; cannot be nullenv
- the environment deciding the form of the displayindent
- the identation factorpublic void toTokens(LexicalTokenList tokens, CoopnEnv env)
tokens
- the LexicalTokenList used as destination; cannot be nullenv
- the environment deciding the form of the displaypublic void toTokens(LexicalTokenList tokens)
tokens
- the LexicalTokenList used as destination; cannot be nullpublic void toCompleteTokens(LexicalTokenList tokens, CoopnSymbolTable table, CoopnEnv env, int indent)
tokens
- the LexicalTokenList used as destination; cannot be nulltable
- the symbol table used to generate symbol referencesenv
- the environment deciding the form of the displayindent
- the identation factorpublic void toCompleteTokens(LexicalTokenList tokens, CoopnSymbolTable table, CoopnEnv env)
tokens
- the LexicalTokenList used as destination; cannot be nulltable
- the symbol table used to generate symbol referencesenv
- the environment deciding the form of the displaypublic void toCompleteTokens(LexicalTokenList tokens, CoopnSymbolTable table)
tokens
- the LexicalTokenList used as destination; cannot be nulltable
- the symbol table used to generate symbol referencespublic void toCompleteTokens(LexicalTokenList tokens, CoopnEnv env, int indent)
tokens
- the LexicalTokenList used as destination; cannot be nullenv
- the environment deciding the form of the displayindent
- the identation factorpublic void toCompleteTokens(LexicalTokenList tokens, CoopnEnv env)
tokens
- the LexicalTokenList used as destination; cannot be nullenv
- the environment deciding the form of the displaypublic void toCompleteTokens(LexicalTokenList tokens)
tokens
- the LexicalTokenList used as destination; cannot be nullpublic abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
origin
- the module which generated the Coco conversiontable
- the symbol table used to generate symbol referencesjava.lang.IllegalArgumentException
- A used symbol is not in the symbol table.public abstract java.lang.Object unmodifiableCopy()
protected CoopnElement cloneCoopnElement()
public abstract java.lang.Object clone()
clone
in interface CoopnSyntacticElement
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |