ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsAxiomSymbol

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

public class ConstraintsAxiomSymbol
extends ConstraintsSymbol

Constraints formula. Axiom Symbol

See Also:
ConstraintsElement, Serialized Form

Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
comment, symbolIdentifier, symbolModule, symbolName
 
Constructor Summary
ConstraintsAxiomSymbol(java.lang.String name, java.lang.String module, ConstraintsFormula form)
          Simple constructor.
ConstraintsAxiomSymbol(java.lang.String name, java.lang.String module, ConstraintsFormula form, java.lang.String comment)
          Simple constructor.
ConstraintsAxiomSymbol(java.lang.String name, java.lang.String identifier, java.lang.String module, ConstraintsFormula form)
          Simple constructor.
ConstraintsAxiomSymbol(java.lang.String name, java.lang.String identifier, java.lang.String module, ConstraintsFormula form, java.lang.String comment)
          Simple constructor.
 
Method Summary
 ConstraintsAssignation assign()
          Returns the assignation
 java.lang.Object clone()
          cloning method. produces a clone of this axiom symbol
 ConstraintsCondition condition()
          Returns the condition expression
 boolean equals(java.lang.Object obj)
          compares if this axiom symbol is equals to obj
 ConstraintsFormula formula()
          Returns the condition expression
 java.lang.String kind()
          retrieves the kind of this variable symbol
 java.lang.String toCompleteString(CoopnEnv env, int indent)
          Complete string conversion method.
 java.lang.String toString(CoopnEnv env, int indent)
          string conversion method
 java.lang.Object unmodifiableCopy()
          produces an unmodifiable copy of this axiom 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.CoopnSyntacticElement
toCompleteString, toCompleteString, toString, toString
 

Constructor Detail

ConstraintsAxiomSymbol

public ConstraintsAxiomSymbol(java.lang.String name,
                              java.lang.String identifier,
                              java.lang.String module,
                              ConstraintsFormula form)
Simple constructor.

ConstraintsAxiomSymbol

public ConstraintsAxiomSymbol(java.lang.String name,
                              java.lang.String module,
                              ConstraintsFormula form)
Simple constructor.

ConstraintsAxiomSymbol

public ConstraintsAxiomSymbol(java.lang.String name,
                              java.lang.String identifier,
                              java.lang.String module,
                              ConstraintsFormula form,
                              java.lang.String comment)
Simple constructor.

ConstraintsAxiomSymbol

public ConstraintsAxiomSymbol(java.lang.String name,
                              java.lang.String module,
                              ConstraintsFormula form,
                              java.lang.String comment)
Simple constructor.
Method Detail

formula

public ConstraintsFormula formula()
Returns the condition expression
Returns:
the expression

condition

public ConstraintsCondition condition()
Returns the condition expression
Returns:
the expression

assign

public ConstraintsAssignation assign()
Returns the assignation
Returns:
the assignation

equals

public boolean equals(java.lang.Object obj)
compares if this axiom symbol is equals to obj
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.

kind

public java.lang.String kind()
retrieves the kind of this variable symbol
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
Returns:
a string defining the symbol kind.

toCompleteString

public java.lang.String toCompleteString(CoopnEnv env,
                                         int indent)
Complete string conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toCompleteString in class ConstraintsSymbol
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toString

public java.lang.String toString(CoopnEnv env,
                                 int indent)
string conversion method
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.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
produces an unmodifiable copy of this axiom symbol
Overrides:
unmodifiableCopy in class ConstraintsSymbol
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
cloning method. produces a clone of this axiom symbol
Overrides:
clone in class ConstraintsSymbol
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
a clone object.