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
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 java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
ConstraintsConsSymbol
public ConstraintsConsSymbol(java.lang.String cons,
java.lang.String symbolModule,
java.lang.String comment)
- Simple constructor.
- Parameters:
cons
- the constraint namesymbolModule
- the definitin modulecomment
- the associated comment
ConstraintsConsSymbol
public ConstraintsConsSymbol(java.lang.String cons,
java.lang.String symbolModule)
- Simple constructor.
- Parameters:
cons
- the constraint namesymbolModule
- the definitin module
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.