|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface
This class implements the interface section of a constraints module. The interface is composed of one constraints field
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java
, Serialized FormField 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 |
protected ConstraintsConsField cons
Constructor Detail |
public ConstraintsInterface()
Method Detail |
public void addConstraints(ConstraintsConsField fields)
fields
- the fields to add to the existing fieldspublic void removeConsFields(ConstraintsConsField fields)
fields
- the fields to remove from the existing fieldspublic ConstraintsConsField constraints()
public java.lang.String kind()
kind
in interface CoopnSyntacticSection
public CoopnSyntacticField[] fields()
fields
in interface CoopnSyntacticSection
public boolean equals(java.lang.Object obj)
equals
in interface CoopnSyntacticElement
equals
in class ConstraintsElement
obj
- the object to comparepublic int hashCode()
hashCode
in interface CoopnSyntacticElement
hashCode
in class ConstraintsElement
public java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in interface CoopnSyntacticElement
toCompleteString
in class ConstraintsElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env, int indent)
toString
in interface CoopnSyntacticElement
toString
in class ConstraintsElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
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.public java.lang.Object unmodifiableCopy()
unmodifiableCopy
in class ConstraintsElement
public java.lang.Object clone()
clone
in interface CoopnSyntacticElement
clone
in class ConstraintsElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |