ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnSync

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSync
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
CoopnCohercion, CoopnSyncBinOp, CoopnSyncUnOp

public abstract class CoopnSync
extends CoopnElement

Coopn synchronisation.

See Also:
CoopnElement, Serialized Form

Constructor Summary
CoopnSync()
           
 
Method Summary
abstract  boolean generatesCreation()
          Test if this sync generates an object creation ?. return true iff this sync generates an object creation.
abstract  boolean generatesDestruction()
          Test if this sync generates an object destruction?. return true iff this sync generates an object destruction.
abstract  boolean isStaticSync()
          Test if this sync is static ?. return true iff this sync is static.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
clone, cloneCoopnElement, equals, hashCode, interpret, pureCOIL, pureCOOPN, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens, unmodifiableCopy
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CoopnSync

public CoopnSync()
Method Detail

isStaticSync

public abstract boolean isStaticSync()
Test if this sync is static ?. return true iff this sync is static. A static sync makes references only to constant objects.

generatesCreation

public abstract boolean generatesCreation()
Test if this sync generates an object creation ?. return true iff this sync generates an object creation.

generatesDestruction

public abstract boolean generatesDestruction()
Test if this sync generates an object destruction?. return true iff this sync generates an object destruction.