ConForM.CoopnTools.CoKer.TemporalLogic
Class TemporalLogicFormulaField

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

public abstract class TemporalLogicFormulaField
extends TemporalLogicElement

This class manages fields of logic temporal formulas. A field contains at least on formula.

See Also:
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsMgr.java

Field Summary
protected  TemporalLogicFormula[] formulas
           
 
Constructor Summary
protected TemporalLogicFormulaField(java.util.List formulas)
          Constructor for a list of formulas.
protected TemporalLogicFormulaField(TemporalLogicFormula formula)
          Constructor for one formula.
protected TemporalLogicFormulaField(TemporalLogicFormula[] formulas)
          Constructor for an array of formulas.
 
Method Summary
 java.lang.Object clone()
          Cloning method.
 boolean contains(TemporalLogicFormula elem)
          Look if an element is in the list.
 boolean empty()
          Test the list for being empty.
 boolean equals(java.lang.Object obj)
          Equality method.
 TemporalLogicFormula[] formulas()
          Get the formulas of the field.
 int hashCode()
          Hashcode method.
abstract  java.lang.String kind()
          Kind retrieving method.
 int size()
          Get the size of the field.
 java.lang.String toCompleteString(CoopnSymbolTable table, CoopnEnv env, int indent)
          Complete string conversion method.
 void toCompleteTokens(LexicalTokenList tokens, CoopnSymbolTable table, CoopnEnv env, int indent)
          Complete Token conversion method.
 java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 void toTokens(LexicalTokenList tokens, CoopnEnv env, int indent)
          Token conversion method.
 java.lang.Object unmodifiableCopy()
          Unmodifiable copy method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
cloneElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toTokens, toTokens
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

formulas

protected TemporalLogicFormula[] formulas
Constructor Detail

TemporalLogicFormulaField

protected TemporalLogicFormulaField(TemporalLogicFormula formula)
Constructor for one formula.

TemporalLogicFormulaField

protected TemporalLogicFormulaField(TemporalLogicFormula[] formulas)
Constructor for an array of formulas.

TemporalLogicFormulaField

protected TemporalLogicFormulaField(java.util.List formulas)
Constructor for a list of formulas.
Method Detail

formulas

public TemporalLogicFormula[] formulas()
Get the formulas of the field.

contains

public boolean contains(TemporalLogicFormula elem)
Look if an element is in the list.
Parameters:
elem - the element of look in the list
Returns:
true iff the lement is in the list.

empty

public boolean empty()
Test the list for being empty.
Returns:
false, a a formula field is never empty

size

public int size()
Get the size of the field.
Returns:
the number of formulas in the list

toCompleteString

public java.lang.String toCompleteString(CoopnSymbolTable table,
                                         CoopnEnv env,
                                         int indent)
Description copied from class: TemporalLogicElement
Complete string conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toCompleteString in class TemporalLogicElement
Following copied from class: ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
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.

toString

public java.lang.String toString(CoopnEnv env,
                                 int indent)
Description copied from class: TemporalLogicElement
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toString in class TemporalLogicElement
Following copied from class: ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toTokens

public 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.
Overrides:
toTokens in class TemporalLogicElement
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,
                             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.
Overrides:
toCompleteTokens in class TemporalLogicElement
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

kind

public abstract java.lang.String kind()
Kind retrieving method. This method must be defined in the inherited classes for returning a string allowing the user to know what kind of symbol this is.
Returns:
a string defining the temporal logic kind.

equals

public boolean equals(java.lang.Object obj)
Equality method. Implements the equality between lists.
Overrides:
equals in class TemporalLogicElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Description copied from class: TemporalLogicElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class TemporalLogicElement
Following copied from class: ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
Returns:
the hash code.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Unmodifiable copy method.
Overrides:
unmodifiableCopy in class TemporalLogicElement
Returns:
a clone object.

clone

public java.lang.Object clone()
Cloning method. Implements the cloning method.
Overrides:
clone in class TemporalLogicElement
Returns:
a clone object.