ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsConsSymbol

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
              |
              +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsConsSymbol
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable

public class ConstraintsConsSymbol
extends ConstraintsSymbol

Constraints elements.Constraints Symbol

See Also:
Serialized Form

Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
comment, symbolIdentifier, symbolModule, symbolName
 
Constructor Summary
ConstraintsConsSymbol(java.lang.String cons, java.lang.String symbolModule)
          Simple constructor.
ConstraintsConsSymbol(java.lang.String cons, java.lang.String symbolModule, java.lang.String comment)
          Simple constructor.
 
Method Summary
 boolean equals(java.lang.Object obj)
          Equality method.
 java.lang.String kind()
          Kind retrieving method.
 java.lang.String name()
          Get the variable name.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
clone, comment, hashCode, identifier, symbolModule, symbolModuleKind, symbolName, toCompleteString, toString, unmodifiableCopy
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
cloneConstraintsElement, toCompleteString, toCompleteString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
toCompleteString, toCompleteString, toString, toString
 

Constructor Detail

ConstraintsConsSymbol

public ConstraintsConsSymbol(java.lang.String cons,
                             java.lang.String symbolModule,
                             java.lang.String comment)
Simple constructor.
Parameters:
cons - the constraint name
symbolModule - the definitin module
comment - the associated comment

ConstraintsConsSymbol

public ConstraintsConsSymbol(java.lang.String cons,
                             java.lang.String symbolModule)
Simple constructor.
Parameters:
cons - the constraint name
symbolModule - the definitin module
Method Detail

name

public java.lang.String name()
Get the variable name.

kind

public java.lang.String kind()
Description copied from interface: CoopnSyntacticSymbol
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.
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
Returns:
a string defining the symbol kind.

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 ConstraintsSymbol
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.