|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassInterface
Coopn Class interface.
CoopnSection
, Serialized FormConstructor Summary | |
CoopnClassInterface()
Simple constructor. |
Method Summary | |
void |
addCreations(CoopnClassCreationField list)
|
void |
addDestructions(CoopnClassDestructionField list)
|
void |
addGates(CoopnClassGateField list)
|
void |
addMethods(CoopnClassMethodField list)
|
void |
addObjects(CoopnObjectField list)
|
void |
addSubsorts(CoopnSubsortField list)
|
void |
addSubtypes(CoopnSubtypeField list)
|
void |
addTypes(CoopnTypeField list)
|
void |
addUses(CoopnUseField list)
|
java.lang.Object |
clone()
Cloning method. |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
createCocoElement()
|
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
createTextElement()
|
CoopnClassCreationField |
creations()
|
CoopnClassDestructionField |
destructions()
|
boolean |
equals(java.lang.Object obj)
Equality method. |
CoopnSyntacticField[] |
fields()
Get the fields of this section. |
CoopnClassGateField |
gates()
|
int |
hashCode()
Hashcode method. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
java.lang.String |
kind()
Kind retrieving method. |
CoopnClassMethodField |
methods()
|
CoopnObjectField |
objects()
|
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
CoopnSubsortField |
subsorts()
|
CoopnSubtypeField |
subtypes()
|
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
CoopnTypeField |
types()
|
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
CoopnUseField |
uses()
|
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens |
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, toString |
Constructor Detail |
public CoopnClassInterface()
Method Detail |
public boolean pureCOOPN()
CoopnElement
pureCOOPN
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public boolean pureCOIL()
CoopnElement
pureCOIL
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic java.lang.String kind()
CoopnSection
kind
in class CoopnSection
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection
public CoopnSyntacticField[] fields()
CoopnSection
fields
in class CoopnSection
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection
public CoopnUseField uses()
public CoopnTypeField types()
public CoopnSubsortField subsorts()
public CoopnSubtypeField subtypes()
public CoopnObjectField objects()
public CoopnClassGateField gates()
public CoopnClassMethodField methods()
public CoopnClassCreationField creations()
public CoopnClassDestructionField destructions()
public void addUses(CoopnUseField list)
public void addTypes(CoopnTypeField list)
public void addSubsorts(CoopnSubsortField list)
public void addSubtypes(CoopnSubtypeField list)
public void addObjects(CoopnObjectField list)
public void addGates(CoopnClassGateField list)
public void addMethods(CoopnClassMethodField list)
public void addCreations(CoopnClassCreationField list)
public void addDestructions(CoopnClassDestructionField list)
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic int hashCode()
CoopnSyntacticElement
hashCode
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement createTextElement()
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
CoopnElement
toCompleteText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
table
- the symbol table used to generate symbol referencesprotected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement createCocoElement()
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
CoopnElement
toCoco
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
origin
- the module which generated the Coco conversiontable
- the symbol table used to generate symbol referencesjava.lang.IllegalArgumentException
- A used symbol is not in the symbol table.public java.lang.Object unmodifiableCopy()
CoopnElement
unmodifiableCopy
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object clone()
CoopnSyntacticElement
clone
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |