ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsVariableSymbol
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsVariableSymbol
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticParamSymbol, CoopnSyntacticSymbol, java.io.Serializable
- public class ConstraintsVariableSymbol
- extends ConstraintsSymbol
- implements CoopnSyntacticParamSymbol
Constraints elements.
- See Also:
- Serialized Form
Constructor Summary |
ConstraintsVariableSymbol(java.lang.String name,
java.lang.String module,
java.lang.String type)
Simple constructor. |
ConstraintsVariableSymbol(java.lang.String name,
java.lang.String module,
java.lang.String type,
java.lang.String comment)
Simple constructor. |
Method Summary |
java.lang.Object |
clone()
cloning method. produces a clone of this variable symbol |
boolean |
equals(java.lang.Object obj)
compares if this variable symbol is equals to obj |
java.lang.String |
kind()
retrieves the kind of this variable symbol |
CoopnSyntacticElement |
paramType()
Get an element, representing the "type" (in a broad sense) of the
parameter. |
java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
string conversion method |
java.lang.String |
toString(CoopnEnv env,
int indent)
string conversion method |
java.lang.String |
type()
Return the type. |
java.lang.Object |
unmodifiableCopy()
cloning method. produces an unmodifiable copy of this variable symbol |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
ConstraintsVariableSymbol
public ConstraintsVariableSymbol(java.lang.String name,
java.lang.String module,
java.lang.String type)
throws java.lang.IllegalArgumentException
- Simple constructor.
ConstraintsVariableSymbol
public ConstraintsVariableSymbol(java.lang.String name,
java.lang.String module,
java.lang.String type,
java.lang.String comment)
throws java.lang.IllegalArgumentException
- Simple constructor.
kind
public java.lang.String kind()
- retrieves the kind of this variable symbol
- Specified by:
kind
in interface CoopnSyntacticSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
- Returns:
- a string defining the symbol kind.
type
public java.lang.String type()
- Return the type.
- Returns:
- the type
paramType
public CoopnSyntacticElement paramType()
- Get an element, representing the "type" (in a broad sense) of the
parameter. More precisely, by "type", we intent the information
added to the symbol name, characterising the parameter.
- Specified by:
paramType
in interface CoopnSyntacticParamSymbol
- Returns:
- the parameter "type".
equals
public boolean equals(java.lang.Object obj)
- compares if this variable symbol is equals to obj
- Specified by:
equals
in interface CoopnSyntacticElement
- 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.
toString
public java.lang.String toString(CoopnEnv env,
int indent)
- string conversion method
- Specified by:
toString
in interface CoopnSyntacticElement
- Overrides:
toString
in class ConstraintsSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.- Returns:
- a String image of the element.
toCompleteString
public java.lang.String toCompleteString(CoopnEnv env,
int indent)
- string conversion method
- Specified by:
toCompleteString
in interface CoopnSyntacticElement
- Overrides:
toCompleteString
in class ConstraintsSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.- Returns:
- a String image of the element.
clone
public java.lang.Object clone()
- cloning method. produces a clone of this variable symbol
- Specified by:
clone
in interface CoopnSyntacticElement
- Overrides:
clone
in class ConstraintsSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Returns:
- a clone object.
unmodifiableCopy
public java.lang.Object unmodifiableCopy()
- cloning method. produces an unmodifiable copy of this variable symbol
- Overrides:
unmodifiableCopy
in class ConstraintsSymbol
- Following copied from class:
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
- Returns:
- an unmodififable clone of the element.