ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLSync

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.HMLSync
All Implemented Interfaces:
java.lang.Cloneable

public class HMLSync
extends HMLFactor

class sync


Constructor Summary
HMLSync(CoopnSync sync)
          Creates a sync
 
Method Summary
 java.lang.Object clone()
          Cloning method.
 int depth()
          Get the depth of the term.
 boolean equals(java.lang.Object obj)
          Equality method.
 CoopnSync getSync()
          Get the synchronisation.
 int hashCode()
          Hashcode method.
 int nbSync()
          Get the number of synchronisations in the term.
 int occurencesOf(CoopnSync sync)
          Get the number of occurence of a synchronisation in the term.
 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

HMLSync

public HMLSync(CoopnSync sync)
Creates a sync
Method Detail

nbSync

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

depth

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

occurencesOf

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

getSync

public CoopnSync getSync()
Get the synchronisation.

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.