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

Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
comment, symbolIdentifier, symbolModule, symbolName
 
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 ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
comment, hashCode, identifier, symbolModule, symbolModuleKind, symbolName
 
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.CoopnSyntacticSymbol
comment, identifier, symbolModule, symbolModuleKind, symbolName
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
hashCode, toCompleteString, toCompleteString, toString, toString
 

Constructor Detail

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.
Method Detail

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.