ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLPar

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
        |
        +--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormula
              |
              +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFormula
                    |
                    +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLExpr
                          |
                          +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLTerm
                                |
                                +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFactor
                                      |
                                      +--ConForM.CoopnTools.CoKer.TemporalLogic.HMLPar
All Implemented Interfaces:
java.lang.Cloneable

public class HMLPar
extends HMLFactor

Parenthesised formula.


Constructor Summary
HMLPar(HMLFormula formula)
          Creates a next operator
 
Method Summary
 java.lang.Object clone()
          Cloning method.
 int depth()
          Get the depth of the formula.
 boolean equals(java.lang.Object obj)
          Equality method.
 HMLFormula formula()
          Get the factor.
 int hashCode()
          Hashcode method.
 int nbSync()
          Get the number of synchronisations in the formula.
 int occurencesOf(CoopnSync sync)
          Get the number of occurence of a synchronisation in the formula.
 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()
          Copy the element into an unmodifiable structure.
 
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
 

Constructor Detail

HMLPar

public HMLPar(HMLFormula formula)
Creates a next operator
Method Detail

nbSync

public int nbSync()
Get the number of synchronisations in the formula.
Overrides:
nbSync in class TemporalLogicFormula

depth

public int depth()
Get the depth of the formula.
Overrides:
depth in class TemporalLogicFormula

occurencesOf

public int occurencesOf(CoopnSync sync)
Get the number of occurence of a synchronisation in the formula.
Overrides:
occurencesOf in class TemporalLogicFormula

formula

public HMLFormula formula()
Get the factor.

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.

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.

toCompleteTokens

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

toTokens

public void toTokens(LexicalTokenList tokens,
                     CoopnEnv env,
                     int indent)
Description copied from class: TemporalLogicElement
Token conversion method. This routine converts an element into a LexicalTokenList representing it, by transforming it using toText.
Overrides:
toTokens in class TemporalLogicElement
Following copied from class: ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
Parameters:
tokens - the LexicalTokenList used as destination; cannot be null
env - the environment deciding the form of the display
indent - the identation factor

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Description copied from class: TemporalLogicElement
Copy the element into an unmodifiable structure.
Overrides:
unmodifiableCopy in class TemporalLogicElement
Following copied from class: ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
Description copied from class: TemporalLogicElement
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class TemporalLogicElement
Following copied from class: ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
Returns:
a clone object.