|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSync | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncUnOp
Coopn synchronisation with unary operator.
CoopnElement
, Serialized FormConstructor Summary | |
protected |
CoopnSyncUnOp(CoopnTerm object)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
protected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSyncUnOp |
createCocoSyncUnOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTerm object)
|
boolean |
equals(java.lang.Object obj)
Equality method. |
protected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextFactor |
factor()
|
int |
hashCode()
Hashcode method. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
boolean |
isStaticSync()
Test if this sync is static ?. return true iff this sync is static. |
CoopnTerm |
object()
Get the object associated to this sync. |
protected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
symbol()
|
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
toCompleteTextTerm(CoopnSymbolTable table)
Get the complete textual event representing the event. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm |
toTextTerm()
Get the textual event representing the event. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSync |
generatesCreation, generatesDestruction |
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 |
protected CoopnSyncUnOp(CoopnTerm object) throws java.lang.IllegalArgumentException, CoopnTypingProblemException
Method Detail |
protected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm symbol()
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic boolean isStaticSync()
isStaticSync
in class CoopnSync
public CoopnTerm object()
public boolean equals(java.lang.Object obj)
CoopnElement
equals
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
obj
- the object to comparepublic int hashCode()
CoopnElement
hashCode
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
protected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextFactor factor()
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toTextTerm()
java.lang.IllegalArgumentException
- This event cannot be converted to a textual
representation, for example because of an
arity problem.public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm toCompleteTextTerm(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- This event cannot be converted to a textual
representation, for example because of an
arity problem.public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
CoopnElement
toCompleteText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
table
- the symbol table used to generate symbol referencesprotected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSyncUnOp createCocoSyncUnOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTerm object)
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
CoopnElement
toCoco
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
origin
- the module which generated the Coco conversiontable
- the symbol table used to generate symbol referencesjava.lang.IllegalArgumentException
- A used symbol is not in the symbol table.public java.lang.Object unmodifiableCopy()
CoopnElement
unmodifiableCopy
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object clone()
CoopnElement
clone
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |