|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
This class manages logic temporal formulas. The main goal is to encapsulate Coopn objects and Contexts in Constraints. The Constraints language is defined in the ConstraintsMgr
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsMgr.java
Constructor Summary | |
TemporalLogicElement()
|
Method Summary | |
abstract java.lang.Object |
clone()
Cloning method. |
protected TemporalLogicElement |
cloneElement()
Internal cloning method. |
abstract boolean |
equals(java.lang.Object obj)
Equality method. |
abstract int |
hashCode()
Hashcode 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. |
abstract java.lang.String |
toCompleteString(CoopnSymbolTable table,
CoopnEnv env,
int indent)
Complete string 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. |
abstract 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. |
abstract java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
void |
toTokens(LexicalTokenList tokens)
Token conversion method. |
void |
toTokens(LexicalTokenList tokens,
CoopnEnv env)
Token conversion method. |
abstract 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 TemporalLogicElement()
Method Detail |
public abstract boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
obj
- the object to comparepublic abstract int hashCode()
hashCode
in class java.lang.Object
public abstract java.lang.String toString(CoopnEnv env, int indent)
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env)
env
- the environment deciding the form of the displaypublic java.lang.String toString()
toString
in class java.lang.Object
public abstract 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)
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toCompleteString(CoopnEnv env)
env
- the environment deciding the form of the displaypublic java.lang.String toCompleteString()
public abstract 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 abstract 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 java.lang.Object unmodifiableCopy()
protected TemporalLogicElement cloneElement()
public abstract java.lang.Object clone()
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |