ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnClassAxiomSymbol
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassFormulaSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassAxiomSymbol
- All Implemented Interfaces:
- java.lang.Cloneable, java.lang.Comparable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable
- public class CoopnClassAxiomSymbol
- extends CoopnClassFormulaSymbol
Coopn Class axiom.
- See Also:
CoopnElement
, Serialized Form
Constructor Summary |
CoopnClassAxiomSymbol(CoopnName name,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post)
Simple constructor. |
CoopnClassAxiomSymbol(CoopnName name,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post,
java.lang.String comment)
Simple constructor. |
CoopnClassAxiomSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post)
Simple constructor. |
CoopnClassAxiomSymbol(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 |
protected 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 event,
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. |
java.lang.String |
kind()
Kind retrieving method. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassFormulaSymbol |
clone, condition, event, interpret, post, pre, sync, test, toCoco, toCompleteText, toText, unmodifiableCopy |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol |
arity, cloneCoopnElement, comment, compareTo, decompose, equalsCoopnSymbol, equivalentCoopnSymbol, hashCode, identifier, indexCoopnSymbol, 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 |
CoopnClassAxiomSymbol
public CoopnClassAxiomSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post)
throws java.lang.IllegalArgumentException
- Simple constructor.
CoopnClassAxiomSymbol
public CoopnClassAxiomSymbol(CoopnName name,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post)
throws java.lang.IllegalArgumentException
- Simple constructor.
CoopnClassAxiomSymbol
public CoopnClassAxiomSymbol(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
- Simple constructor.
CoopnClassAxiomSymbol
public CoopnClassAxiomSymbol(CoopnName name,
CoopnModuleName module,
CoopnCondition condition,
CoopnEvent event,
CoopnSync sync,
CoopnMarkAgg test,
CoopnMarkAgg pre,
CoopnMarkAgg post,
java.lang.String comment)
throws java.lang.IllegalArgumentException
- Simple constructor.
kind
public java.lang.String kind()
- Description copied from class:
CoopnSymbol
- Kind retrieving method. This method must be defined in the inherited
classes for returning a string allowing the user to know what kind of
symbol this is.
- Overrides:
kind
in class CoopnSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
- Returns:
- a string defining the symbol kind.
pureCOOPN
public boolean pureCOOPN()
- Description copied from class:
CoopnElement
- Pure COOPN verification method. Must be modified by the elements
which may alterate the result.
- Overrides:
pureCOOPN
in class CoopnClassFormulaSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
- Returns:
- true iff this object is in pure CO-OPN language.
pureCOIL
public boolean pureCOIL()
- Description copied from class:
CoopnElement
- Pure COIL-COOPN2C verification method. Must be modified by the elements
which may alterate the result.
- Overrides:
pureCOIL
in class CoopnClassFormulaSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
- Returns:
- true iff this object is in pure COIL language.
equals
public boolean equals(java.lang.Object obj)
- Description copied from interface:
CoopnSyntacticElement
- Equality method. Must be defined in the inherited classes.
- Overrides:
equals
in class CoopnClassFormulaSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
obj
- the object to compare- Returns:
- true iff this object and the parameter are equals.
equivalent
public boolean equivalent(java.lang.Object obj)
- Description copied from class:
CoopnSymbol
- Equivalence testing method. This method must be defined in the inherited
classes for returning a boolean deciding if this symbol is equivalent to
the parameter. Two symbols are equivalents if they are equals, or if they
are equals when source modules are not considered. For instance,
transition "T" in "Module1" and transition "T" in "Module2" are
are not equal, but are equivalent.
- Overrides:
equivalent
in class CoopnClassFormulaSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
- Returns:
- true iff both symbols are equivalents.
createCocoElement
protected 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 event,
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)
- Overrides:
createCocoElement
in class CoopnClassFormulaSymbol