ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnContextTheoremSymbol

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextFormulaSymbol
                    |
                    +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextTheoremSymbol
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Comparable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable

public class CoopnContextTheoremSymbol
extends CoopnContextFormulaSymbol

Coopn context theorem.

See Also:
CoopnElement, Serialized Form

Constructor Summary
CoopnContextTheoremSymbol(CoopnName name, CoopnModuleName module, CoopnCondition condition, CoopnSync required, CoopnSync provided)
          Simple constructor.
CoopnContextTheoremSymbol(CoopnName name, CoopnModuleName module, CoopnCondition condition, CoopnSync required, CoopnSync provided, java.lang.String comment)
          Simple constructor.
CoopnContextTheoremSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnCondition condition, CoopnSync required, CoopnSync provided)
          Simple constructor.
CoopnContextTheoremSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnCondition condition, CoopnSync required, CoopnSync provided, 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.CoopnCocoSync required, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSync provided)
           
 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.CoopnContextFormulaSymbol
clone, condition, event, interpret, provided, required, sync, 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
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Constructor Detail

CoopnContextTheoremSymbol

public CoopnContextTheoremSymbol(CoopnName name,
                                 java.lang.String identifier,
                                 CoopnModuleName module,
                                 CoopnCondition condition,
                                 CoopnSync required,
                                 CoopnSync provided)
                          throws java.lang.IllegalArgumentException
Simple constructor.

CoopnContextTheoremSymbol

public CoopnContextTheoremSymbol(CoopnName name,
                                 CoopnModuleName module,
                                 CoopnCondition condition,
                                 CoopnSync required,
                                 CoopnSync provided)
                          throws java.lang.IllegalArgumentException
Simple constructor.

CoopnContextTheoremSymbol

public CoopnContextTheoremSymbol(CoopnName name,
                                 java.lang.String identifier,
                                 CoopnModuleName module,
                                 CoopnCondition condition,
                                 CoopnSync required,
                                 CoopnSync provided,
                                 java.lang.String comment)
                          throws java.lang.IllegalArgumentException
Simple constructor.

CoopnContextTheoremSymbol

public CoopnContextTheoremSymbol(CoopnName name,
                                 CoopnModuleName module,
                                 CoopnCondition condition,
                                 CoopnSync required,
                                 CoopnSync provided,
                                 java.lang.String comment)
                          throws java.lang.IllegalArgumentException
Simple constructor.
Method Detail

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 CoopnContextFormulaSymbol
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 CoopnContextFormulaSymbol
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 CoopnContextFormulaSymbol
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 CoopnContextFormulaSymbol
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.CoopnCocoSync required,
                                                                                            ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoSync provided)
Overrides:
createCocoElement in class CoopnContextFormulaSymbol