ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsInterface

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

public class ConstraintsInterface
extends ConstraintsElement
implements CoopnSyntacticSection

This class implements the interface section of a constraints module. The interface is composed of one constraints field

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

Field Summary
protected  ConstraintsConsField cons
           
 
Constructor Summary
ConstraintsInterface()
          Simple constructor of this interface
 
Method Summary
 void addConstraints(ConstraintsConsField fields)
          Adds constraints fields to this interface
 java.lang.Object clone()
          Cloning method
 ConstraintsConsField constraints()
          Returns the constraints fields of this interface
 boolean equals(java.lang.Object obj)
          compares this interface with obj
 CoopnSyntacticField[] fields()
          Get all the fields of this section.
 int hashCode()
          Returns the hashcode for this interface
 java.lang.String kind()
          Kind retrieving method.
 void removeConsFields(ConstraintsConsField fields)
          Removes constraints fields to this interface
 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()
          Returns an unmodifiable copy of this interface
 
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
 

Field Detail

cons

protected ConstraintsConsField cons
Constructor Detail

ConstraintsInterface

public ConstraintsInterface()
Simple constructor of this interface
Method Detail

addConstraints

public void addConstraints(ConstraintsConsField fields)
Adds constraints fields to this interface
Parameters:
fields - the fields to add to the existing fields

removeConsFields

public void removeConsFields(ConstraintsConsField fields)
Removes constraints fields to this interface
Parameters:
fields - the fields to remove from the existing fields

constraints

public ConstraintsConsField constraints()
Returns the constraints fields of this interface
Returns:
the constraints fields of this interface

kind

public java.lang.String kind()
Kind retrieving method. This method must be defined in the inherited classes for returning a string allowing the user to know what kind of field this is.
Specified by:
kind in interface CoopnSyntacticSection
Returns:
a string defining the section kind.

fields

public CoopnSyntacticField[] fields()
Get all the fields of this section.
Specified by:
fields in interface CoopnSyntacticSection
Returns:
The fields defined by this section.

equals

public boolean equals(java.lang.Object obj)
compares this interface with obj
Specified by:
equals in interface CoopnSyntacticElement
Overrides:
equals in class ConstraintsElement
Parameters:
obj - the object to compare
Returns:
if true obj is equals to this interface

hashCode

public int hashCode()
Returns the hashcode for this interface
Specified by:
hashCode in interface CoopnSyntacticElement
Overrides:
hashCode in class ConstraintsElement
Returns:
the hashcode for this interface

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 ConstraintsElement
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
Specified by:
toString in interface CoopnSyntacticElement
Overrides:
toString in class ConstraintsElement
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()
Returns an unmodifiable copy of this interface
Overrides:
unmodifiableCopy in class ConstraintsElement
Returns:
the unmodifiable copy of this interface

clone

public java.lang.Object clone()
Cloning method
Specified by:
clone in interface CoopnSyntacticElement
Overrides:
clone in class ConstraintsElement
Returns:
the cloned interface