ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnSyncDestroy

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSync
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncUnOp
                    |
                    +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncDestroy
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class CoopnSyncDestroy
extends CoopnSyncUnOp

Coopn destruction synchronisation.

See Also:
CoopnElement, Serialized Form

Constructor Summary
CoopnSyncDestroy(CoopnTerm object)
          Simple constructor.
 
Method Summary
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSyncUnOp createCocoSyncUnOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTerm object)
           
 boolean equals(java.lang.Object obj)
          Equality method.
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextFactor factor()
           
 boolean generatesCreation()
          Test if this sync generates an object creation ?. return true iff this sync generates an object creation.
 boolean generatesDestruction()
          Test if this sync generates an object destruction?. return true iff this sync generates an object destruction.
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm symbol()
          Reference operator.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncUnOp
clone, hashCode, interpret, isStaticSync, object, toCoco, toCompleteText, toCompleteTextTerm, toText, toTextTerm, unmodifiableCopy
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
cloneCoopnElement, pureCOIL, pureCOOPN, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CoopnSyncDestroy

public CoopnSyncDestroy(CoopnTerm object)
                 throws java.lang.IllegalArgumentException,
                        CoopnTypingProblemException
Simple constructor. Build a synchronisation based on a unary operator.
Method Detail

symbol

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm symbol()
Reference operator. This string represents the name of the predefined operator for references.
Overrides:
symbol in class CoopnSyncUnOp

factor

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextFactor factor()
Overrides:
factor in class CoopnSyncUnOp

createCocoSyncUnOp

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSyncUnOp createCocoSyncUnOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTerm object)
Overrides:
createCocoSyncUnOp in class CoopnSyncUnOp

generatesCreation

public boolean generatesCreation()
Test if this sync generates an object creation ?. return true iff this sync generates an object creation.
Overrides:
generatesCreation in class CoopnSync

generatesDestruction

public boolean generatesDestruction()
Test if this sync generates an object destruction?. return true iff this sync generates an object destruction.
Overrides:
generatesDestruction in class CoopnSync

equals

public boolean equals(java.lang.Object obj)
Description copied from class: CoopnElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class CoopnSyncUnOp
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.