ConForM.CoopnTools.CoKer.TemporalLogic
Class TemporalLogicElement

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
TemporalLogicFormula, TemporalLogicFormulaField

public abstract class TemporalLogicElement
extends java.lang.Object
implements java.lang.Cloneable

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

See Also:
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

TemporalLogicElement

public TemporalLogicElement()
Method Detail

equals

public abstract boolean equals(java.lang.Object obj)
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class java.lang.Object
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public abstract int hashCode()
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class java.lang.Object
Returns:
the hash code.

toString

public abstract java.lang.String toString(CoopnEnv env,
                                          int indent)
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toString

public java.lang.String toString(CoopnEnv env)
String conversion method. Use an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
env - the environment deciding the form of the display
Returns:
a String image of the element.

toString

public java.lang.String toString()
String conversion method. Use no environment and an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toString in class java.lang.Object
Returns:
a String image of the element.

toCompleteString

public abstract java.lang.String toCompleteString(CoopnSymbolTable table,
                                                  CoopnEnv env,
                                                  int indent)
Complete string conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
table - the symbol table used to generate symbol references
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString(CoopnSymbolTable table,
                                         CoopnEnv env)
Complete string conversion method. Use an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
table - the symbol table used to generate symbol references
env - the environment deciding the form of the display
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString(CoopnSymbolTable table)
Complete string method. Use no environment and an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
table - the symbol table used to generate symbol references
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString(CoopnEnv env,
                                         int indent)
Complete string conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString(CoopnEnv env)
Complete string conversion method. Use an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Parameters:
env - the environment deciding the form of the display
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString()
Complete string method. Use no environment and an identation of 0. This routine converts an element into a string representing it, by transforming it using toText.
Returns:
a String image of the element.

toTokens

public abstract void toTokens(LexicalTokenList tokens,
                              CoopnEnv env,
                              int indent)
Token conversion method. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
env - the environment deciding the form of the display
indent - the identation factor

toTokens

public void toTokens(LexicalTokenList tokens,
                     CoopnEnv env)
Token conversion method. Use an identation of 0. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
env - the environment deciding the form of the display

toTokens

public void toTokens(LexicalTokenList tokens)
Token conversion method. Use no environment and an identation of 0. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null

toCompleteTokens

public abstract void toCompleteTokens(LexicalTokenList tokens,
                                      CoopnSymbolTable table,
                                      CoopnEnv env,
                                      int indent)
Complete Token conversion method. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
table - the symbol table used to generate symbol references
env - the environment deciding the form of the display
indent - the identation factor

toCompleteTokens

public void toCompleteTokens(LexicalTokenList tokens,
                             CoopnSymbolTable table,
                             CoopnEnv env)
Complete Token conversion method. Use an identation of 0. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
table - the symbol table used to generate symbol references
env - the environment deciding the form of the display

toCompleteTokens

public void toCompleteTokens(LexicalTokenList tokens,
                             CoopnSymbolTable table)
Complete Token method. Use no environment and an identation of 0. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
table - the symbol table used to generate symbol references

toCompleteTokens

public void toCompleteTokens(LexicalTokenList tokens,
                             CoopnEnv env,
                             int indent)
Complete Token conversion method. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
env - the environment deciding the form of the display
indent - the identation factor

toCompleteTokens

public void toCompleteTokens(LexicalTokenList tokens,
                             CoopnEnv env)
Complete Token conversion method. Use an identation of 0. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
env - the environment deciding the form of the display

toCompleteTokens

public void toCompleteTokens(LexicalTokenList tokens)
Complete Token method. Use no environment and an identation of 0. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null

unmodifiableCopy

public abstract java.lang.Object unmodifiableCopy()
Copy the element into an unmodifiable structure.
Returns:
an unmodififable clone of the element.

cloneElement

protected TemporalLogicElement cloneElement()
Internal cloning method. Should be used by the inherited classed for implementing their own "clone" method.
Returns:
a clone element.

clone

public abstract java.lang.Object clone()
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class java.lang.Object
Returns:
a clone object.