|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement | +--ConForM.CoopnTools.CoKer.SpecMgr.SpecModule
Specification modules.
SpecElement
, Serialized FormConstructor Summary | |
SpecModule(java.lang.String moduleName,
CoopnCompilInfo info,
SpecHeader header,
SpecModuleSection modules,
SpecBehaviourSection behaviour,
SpecVariableSection variables,
java.lang.String comment)
|
Method Summary | |
SpecBehaviourSection |
behaviour()
|
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
comment()
Comment retrieving method. |
CoopnCompilInfo |
compilInfo()
Return the compilation information associated to this module. |
java.lang.String |
completeKind()
Complete kind retrieving method. |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
boolean |
hasParameters()
Look if this module has parameters,i.e. additional information to the complete kind. |
SpecHeader |
header()
|
java.lang.String |
kind()
Kind retrieving method. |
int |
moduleKind()
Get the module kind (in the sense of the package manager) of this module, for instance COOPNSOURCE, COALASOURCE, PACKAGE, and so on). |
java.lang.String |
moduleName()
Get the name. |
SpecModuleSection |
modules()
|
java.lang.String |
parameters()
Parameters retrieving method. |
CoopnSyntacticSection[] |
sections()
Get the fields of this section. |
void |
setBehaviour(SpecBehaviourSection behaviour)
|
void |
setComment(java.lang.String comment)
Set the comment. |
void |
setModules(SpecModuleSection modules)
|
void |
setVariables(SpecVariableSection variables)
|
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
SpecVariableSection |
variables()
|
Methods inherited from class ConForM.CoopnTools.CoKer.SpecMgr.SpecElement |
cloneSpecElement, toCompleteString, 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, toCompleteString, toString, toString |
Constructor Detail |
public SpecModule(java.lang.String moduleName, CoopnCompilInfo info, SpecHeader header, SpecModuleSection modules, SpecBehaviourSection behaviour, SpecVariableSection variables, java.lang.String comment)
Method Detail |
public java.lang.String moduleName()
CoopnSyntacticModule
moduleName
in interface CoopnSyntacticModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public int moduleKind()
moduleKind
in interface CoopnSyntacticModule
public CoopnCompilInfo compilInfo()
CoopnSyntacticModule
compilInfo
in interface CoopnSyntacticModule
public SpecHeader header()
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 SpecModuleSection modules()
public void setModules(SpecModuleSection modules)
public SpecVariableSection variables()
public void setVariables(SpecVariableSection variables)
public SpecBehaviourSection behaviour()
public void setBehaviour(SpecBehaviourSection behaviour)
public java.lang.String comment()
CoopnSyntacticModule
comment
in interface CoopnSyntacticModule
ConForM.CoopnTools.CoKer.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)
CoopnSyntacticElement
equals
in interface CoopnSyntacticElement
equals
in class SpecElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic int hashCode()
CoopnSyntacticElement
hashCode
in interface CoopnSyntacticElement
hashCode
in class SpecElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public java.lang.String toString(CoopnEnv env, int indent)
CoopnSyntacticElement
toString
in interface CoopnSyntacticElement
toString
in class SpecElement
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()
SpecElement
unmodifiableCopy
in class SpecElement
ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
public java.lang.Object clone()
CoopnSyntacticElement
clone
in interface CoopnSyntacticElement
clone
in class SpecElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |