|
|||||||||
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.ConstraintsModule
Constraints module. A module is composed of a public section (interface) and a private one (body)
ConstraintsElement
, Serialized FormField Summary | |
protected java.lang.String |
comment
|
Constructor Summary | |
ConstraintsModule(java.lang.String moduleName,
CoopnCompilInfo info,
ConstraintsInterface inter,
ConstraintsBody body,
java.lang.String comment)
Simple constructor |
Method Summary | |
ConstraintsBody |
body()
returns the body of this module |
java.lang.Object |
clone()
Cloning method |
java.lang.String |
comment()
returns the comment |
CoopnCompilInfo |
compilInfo()
returns the compilation info of this module |
java.lang.String |
completeKind()
Complete kind retrieving method. |
boolean |
equals(java.lang.Object obj)
Compares 2 objects |
int |
hashCode()
produces the hashcode for this module |
boolean |
hasParameters()
Look if this module has parameters,i.e. additional information to the complete kind. |
ConstraintsInterface |
inter()
returns the interface of this module |
java.lang.String |
kind()
Kind retrieving method. |
int |
moduleKind()
Retrieves the kind of this module |
java.lang.String |
moduleName()
returns the name of this module |
java.lang.String |
parameters()
Parameters retrieving method. |
CoopnSyntacticSection[] |
sections()
Get the sections of this module |
void |
setComment(java.lang.String comment)
Set the comment. |
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 module |
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 java.lang.String comment
Constructor Detail |
public ConstraintsModule(java.lang.String moduleName, CoopnCompilInfo info, ConstraintsInterface inter, ConstraintsBody body, java.lang.String comment)
moduleName
- the Name of this moduleinfo
- compilation information about this moduleinter
- interface of this modulebody
- body of this modulecomment
- comment about this moduleMethod Detail |
public java.lang.String moduleName()
moduleName
in interface CoopnSyntacticModule
public CoopnCompilInfo compilInfo()
compilInfo
in interface CoopnSyntacticModule
public java.lang.String completeKind()
completeKind
in interface CoopnSyntacticModule
public boolean hasParameters()
hasParameters
in interface CoopnSyntacticModule
public java.lang.String parameters()
parameters
in interface CoopnSyntacticModule
public ConstraintsInterface inter()
public ConstraintsBody body()
public java.lang.String comment()
comment
in interface CoopnSyntacticModule
public void setComment(java.lang.String comment) throws java.lang.UnsupportedOperationException
comment
- the new commentjava.lang.UnsupportedOperationException
- the module is not modifiable.public java.lang.String kind()
kind
in interface CoopnSyntacticModule
public CoopnSyntacticSection[] sections()
sections
in interface CoopnSyntacticModule
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
env
- the coopn environment to useindent
- the indentation to usepublic int moduleKind()
moduleKind
in interface CoopnSyntacticModule
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 |