ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnContextProvidePortSymbol

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextPortSymbol
                    |
                    +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextProvidePortSymbol
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Comparable, CoopnSyntacticElement, CoopnSyntacticRelationnalSymbol, CoopnSyntacticSymbol, java.io.Serializable
Direct Known Subclasses:
CoopnContextMethodSymbol

public abstract class CoopnContextProvidePortSymbol
extends CoopnContextPortSymbol

Coopn context provide port, i.e. methods.

See Also:
CoopnElement, Serialized Form

Constructor Summary
CoopnContextProvidePortSymbol(CoopnName name, CoopnModuleName module, CoopnMigrationTypeAgg type)
          Simple constructor.
CoopnContextProvidePortSymbol(CoopnName name, CoopnModuleName module, CoopnMigrationTypeAgg type, java.lang.String comment)
          Simple constructor.
CoopnContextProvidePortSymbol(CoopnName name, java.lang.String identifier, CoopnModuleName module, CoopnMigrationTypeAgg type)
          Simple constructor.
CoopnContextProvidePortSymbol(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
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
comment, identifier, kind, symbolModule, symbolModuleKind, symbolName
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Constructor Detail

CoopnContextProvidePortSymbol

public CoopnContextProvidePortSymbol(CoopnName name,
                                     java.lang.String identifier,
                                     CoopnModuleName module,
                                     CoopnMigrationTypeAgg type)
                              throws java.lang.IllegalArgumentException,
                                     CoopnArityProblemException
Simple constructor.

CoopnContextProvidePortSymbol

public CoopnContextProvidePortSymbol(CoopnName name,
                                     CoopnModuleName module,
                                     CoopnMigrationTypeAgg type)
                              throws java.lang.IllegalArgumentException,
                                     CoopnArityProblemException
Simple constructor.

CoopnContextProvidePortSymbol

public CoopnContextProvidePortSymbol(CoopnName name,
                                     java.lang.String identifier,
                                     CoopnModuleName module,
                                     CoopnMigrationTypeAgg type,
                                     java.lang.String comment)
                              throws java.lang.IllegalArgumentException,
                                     CoopnArityProblemException
Simple constructor.

CoopnContextProvidePortSymbol

public CoopnContextProvidePortSymbol(CoopnName name,
                                     CoopnModuleName module,
                                     CoopnMigrationTypeAgg type,
                                     java.lang.String comment)
                              throws java.lang.IllegalArgumentException,
                                     CoopnArityProblemException
Simple constructor.
Method Detail

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.