|
|||||||||
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.CoopnSymbol | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassFormulaSymbol
Coopn Class formula.
CoopnElement
, Serialized FormConstructor Summary | |
protected |
CoopnClassFormulaSymbol(CoopnName name,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post)
Simple constructor. |
protected |
CoopnClassFormulaSymbol(CoopnName name,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post,
java.lang.String comment)
Simple constructor. |
protected |
CoopnClassFormulaSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post)
Simple constructor. |
protected |
CoopnClassFormulaSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post,
java.lang.String comment)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
CoopnCondition |
condition()
Return the condition. |
protected abstract ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
createCocoElement(int index,
boolean used,
CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition condition,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoEvent ev,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSync sync,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoMarkAgg test,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoMarkAgg pre,
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoMarkAgg post)
|
boolean |
equals(java.lang.Object obj)
Equality method. |
boolean |
equivalent(java.lang.Object obj)
Equivalence testing method. |
CoopnEvent |
event()
Return the event. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
CoopnMarkAgg |
post()
Return the post condition. |
CoopnMarkAgg |
pre()
Return the pre condition. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
CoopnSync |
sync()
Return the synchronisation. |
CoopnMarkAgg |
test()
Return the test condition. |
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.CoopnTextElement |
toText()
Textual elements conversion method. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol |
arity, cloneCoopnElement, comment, compareTo, decompose, equalsCoopnSymbol, equivalentCoopnSymbol, hashCode, identifier, indexCoopnSymbol, kind, module, name, symbolModule, symbolModuleKind, symbolName, toTextCoopnSymbol, unmodifiableSymbol, usedCoopnSymbol |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
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 |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Constructor Detail |
protected CoopnClassFormulaSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnCondition condition, CoopnEvent event, CoopnSync sync, CoopnMarkAgg test, CoopnMarkAgg pre, CoopnMarkAgg post) throws java.lang.IllegalArgumentException
protected CoopnClassFormulaSymbol(CoopnName name, CoopnModuleName module, CoopnCondition condition, CoopnEvent event, CoopnSync sync, CoopnMarkAgg test, CoopnMarkAgg pre, CoopnMarkAgg post) throws java.lang.IllegalArgumentException
protected CoopnClassFormulaSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnCondition condition, CoopnEvent event, CoopnSync sync, CoopnMarkAgg test, CoopnMarkAgg pre, CoopnMarkAgg post, java.lang.String comment) throws java.lang.IllegalArgumentException
protected CoopnClassFormulaSymbol(CoopnName name, CoopnModuleName module, CoopnCondition condition, CoopnEvent event, CoopnSync sync, CoopnMarkAgg test, CoopnMarkAgg pre, CoopnMarkAgg post, java.lang.String comment) throws java.lang.IllegalArgumentException
Method Detail |
public boolean pureCOOPN()
CoopnElement
pureCOOPN
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public boolean pureCOIL()
CoopnElement
pureCOIL
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnSymbol
interpret
in class CoopnSymbol
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
sigma
- the substitution; cannot be nullpublic CoopnCondition condition()
public CoopnEvent event()
public CoopnSync sync()
public CoopnMarkAgg test()
public CoopnMarkAgg pre()
public CoopnMarkAgg post()
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic boolean equivalent(java.lang.Object obj)
CoopnSymbol
equivalent
in class CoopnSymbol
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
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.CoopnCocoElement createCocoElement(int index, boolean used, CoopnName name, java.lang.String identifier, CoopnModuleName module, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition condition, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoEvent ev, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSync sync, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoMarkAgg test, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoMarkAgg pre, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoMarkAgg post)
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()
CoopnSyntacticElement
clone
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |