ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsBody

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface
              |
              +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsBody
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticPrivateSection, CoopnSyntacticSection, java.io.Serializable

public class ConstraintsBody
extends ConstraintsInterface
implements CoopnSyntacticPrivateSection

This class implements the body section of a constraints module. The body is composed of three fields (constraints,axiom,variables)

See Also:
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java, Serialized Form

Field Summary
protected  ConstraintsAxiomField axioms
           
protected  ConstraintsVariableField variables
           
 
Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface
cons
 
Constructor Summary
ConstraintsBody()
          Simple constructor.
 
Method Summary
 void addAxioms(ConstraintsAxiomField list)
          Allows one to add axioms fields
 void addVariables(ConstraintsVariableField list)
          Allows one to add variables fields
 ConstraintsAxiomField axioms()
          returns the axiom field of this body
 java.lang.Object clone()
          cloning method
 boolean equals(java.lang.Object obj)
          Compares this body with obj
 CoopnSyntacticField[] fields()
          Returns all fields of this body section
 java.lang.String kind()
          Kind retrieving method
 void removeAxioms(ConstraintsAxiomField list)
          Allows one to remove axioms fields
 void removeVariables(ConstraintsVariableField list)
          Allows one to remove variables fields
 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()
          delivers an unmodifiable copy of this body
 ConstraintsVariableField variables()
          returns the variables field of this body
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface
addConstraints, constraints, hashCode, removeConsFields
 
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
hashCode, toCompleteString, toCompleteString, toString, toString
 

Field Detail

axioms

protected ConstraintsAxiomField axioms

variables

protected ConstraintsVariableField variables
Constructor Detail

ConstraintsBody

public ConstraintsBody()
Simple constructor.
Method Detail

kind

public java.lang.String kind()
Kind retrieving method
Specified by:
kind in interface CoopnSyntacticSection
Overrides:
kind in class ConstraintsInterface
Returns:
the kind for this body

fields

public CoopnSyntacticField[] fields()
Returns all fields of this body section
Specified by:
fields in interface CoopnSyntacticSection
Overrides:
fields in class ConstraintsInterface
Returns:
all fields of this body section

axioms

public ConstraintsAxiomField axioms()
returns the axiom field of this body
Returns:
the axiom field of this body

variables

public ConstraintsVariableField variables()
returns the variables field of this body
Returns:
the variables field of this body

addAxioms

public void addAxioms(ConstraintsAxiomField list)
Allows one to add axioms fields
Parameters:
list - the fields to add

addVariables

public void addVariables(ConstraintsVariableField list)
Allows one to add variables fields
Parameters:
list - the fields to add

removeAxioms

public void removeAxioms(ConstraintsAxiomField list)
Allows one to remove axioms fields
Parameters:
list - the fields to add

removeVariables

public void removeVariables(ConstraintsVariableField list)
Allows one to remove variables fields
Parameters:
list - the fields to add

equals

public boolean equals(java.lang.Object obj)
Compares this body with obj
Specified by:
equals in interface CoopnSyntacticElement
Overrides:
equals in class ConstraintsInterface
Returns:
if true this body and obj are equals

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.
Specified by:
toCompleteString in interface CoopnSyntacticElement
Overrides:
toCompleteString in class ConstraintsInterface
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)
Description copied from interface: CoopnSyntacticElement
String conversion method. This routine converts an element into a string representing it. The string representation is intended to be readable from users. The string representation is not required to include the comments associated to the element, if any.
Specified by:
toString in interface CoopnSyntacticElement
Overrides:
toString in class ConstraintsInterface
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()
delivers an unmodifiable copy of this body
Overrides:
unmodifiableCopy in class ConstraintsInterface
Returns:
an unmodifiablbe copy of this body

clone

public java.lang.Object clone()
cloning method
Specified by:
clone in interface CoopnSyntacticElement
Overrides:
clone in class ConstraintsInterface
Returns:
a clone of this body