ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnContextRequirePortSymbol
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextPortSymbol
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextRequirePortSymbol
- All Implemented Interfaces:
- java.lang.Cloneable, java.lang.Comparable, CoopnSyntacticElement, CoopnSyntacticRelationnalSymbol, CoopnSyntacticSymbol, java.io.Serializable
- Direct Known Subclasses:
- CoopnContextGateSymbol
- public abstract class CoopnContextRequirePortSymbol
- extends CoopnContextPortSymbol
Coopn context require ports, i.e. gates.
- See Also:
CoopnElement
, Serialized Form
Constructor Summary |
CoopnContextRequirePortSymbol(CoopnName name,
CoopnModuleName module,
CoopnMigrationTypeAgg type)
Simple constructor. |
CoopnContextRequirePortSymbol(CoopnName name,
CoopnModuleName module,
CoopnMigrationTypeAgg type,
java.lang.String comment)
Simple constructor. |
CoopnContextRequirePortSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnMigrationTypeAgg type)
Simple constructor. |
CoopnContextRequirePortSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnMigrationTypeAgg type,
java.lang.String comment)
Simple constructor. |
Method Summary |
boolean |
equals(java.lang.Object obj)
Equality method. |
boolean |
equivalent(java.lang.Object obj)
Equivalence testing method. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextPortSymbol |
clone, createCocoElement, paramNumber, paramTypes, pureCOIL, pureCOOPN, toCoco, toCompleteText, toText, type, unmodifiableCopy |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol |
arity, cloneCoopnElement, comment, compareTo, decompose, equalsCoopnSymbol, equivalentCoopnSymbol, hashCode, identifier, indexCoopnSymbol, interpret, 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 |
CoopnContextRequirePortSymbol
public CoopnContextRequirePortSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnMigrationTypeAgg type)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
CoopnContextRequirePortSymbol
public CoopnContextRequirePortSymbol(CoopnName name,
CoopnModuleName module,
CoopnMigrationTypeAgg type)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
CoopnContextRequirePortSymbol
public CoopnContextRequirePortSymbol(CoopnName name,
java.lang.String identifier,
CoopnModuleName module,
CoopnMigrationTypeAgg type,
java.lang.String comment)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
CoopnContextRequirePortSymbol
public CoopnContextRequirePortSymbol(CoopnName name,
CoopnModuleName module,
CoopnMigrationTypeAgg type,
java.lang.String comment)
throws java.lang.IllegalArgumentException,
CoopnArityProblemException
- Simple constructor.
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 CoopnContextPortSymbol
- 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 CoopnContextPortSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
- Returns:
- true iff both symbols are equivalents.