|
|||||||||
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.SpecSymbol
Specification symbols. This abstract class essentially defines basic symbols in the specification file abstract syntax.
SpecElement
, Serialized FormField Summary | |
protected java.lang.String |
comment
|
protected java.lang.String |
symbolIdentifier
|
protected java.lang.String |
symbolModule
|
protected java.lang.String |
symbolName
|
Constructor Summary | |
protected |
SpecSymbol(java.lang.String name,
java.lang.String module,
java.lang.String comment)
Simple constructor. |
protected |
SpecSymbol(java.lang.String name,
java.lang.String identifier,
java.lang.String module,
java.lang.String comment)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
comment()
Return the associated comment. |
boolean |
equals(java.lang.Object s)
Equality method. |
int |
hashCode()
Hashcode method. |
java.lang.String |
identifier()
Return the identifier. |
java.lang.String |
symbolModule()
Return the module name as a string. |
int |
symbolModuleKind()
Get the module kind (in the sense of the package manager) of the module defining the symbol, for instance COOPNSOURCE, COALASOURCE, PACKAGE, and so on). |
java.lang.String |
symbolName()
Return the name as a string. |
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodififable structure. |
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.CoopnSyntacticSymbol |
kind |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
toCompleteString, toCompleteString, toCompleteString, toString, toString |
Field Detail |
protected java.lang.String symbolName
protected java.lang.String symbolIdentifier
protected java.lang.String symbolModule
protected java.lang.String comment
Constructor Detail |
protected SpecSymbol(java.lang.String name, java.lang.String identifier, java.lang.String module, java.lang.String comment) throws java.lang.IllegalArgumentException
name
- the name. May be null if symbol has no name.identifier
- the identifier. The identifier is merely used
for the convenience of users, allowing them to
identify symbols even when they have no names.
Identifiers are not taking part in symbol
comparisons, for equality and for equivalence.module
- the definition module. Cannot be null.java.lang.IllegalArgumentException
- identifier or module are null references.protected SpecSymbol(java.lang.String name, java.lang.String module, java.lang.String comment) throws java.lang.IllegalArgumentException
name
- the name and the identifier of the symbol.
Cannot be null.module
- the definition module. Cannot be null.java.lang.IllegalArgumentException
- name or module are null references.Method Detail |
public final java.lang.String symbolName()
symbolName
in interface CoopnSyntacticSymbol
public final java.lang.String identifier()
identifier
in interface CoopnSyntacticSymbol
public final java.lang.String symbolModule()
symbolModule
in interface CoopnSyntacticSymbol
public int symbolModuleKind()
symbolModuleKind
in interface CoopnSyntacticSymbol
public final java.lang.String comment()
comment
in interface CoopnSyntacticSymbol
public boolean equals(java.lang.Object s)
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()
unmodifiableCopy
in class 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 |