|
|||||||||
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.CoopnModule | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtModule
Coopn ADT module.
CoopnElement
, Serialized FormFields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModule |
ADT, CLASS, comment, CONTEXT, header, info, inherits, kind, MORPHISM, table |
Constructor Summary | |
CoopnAdtModule(CoopnCompilInfo info,
CoopnSymbolTable table,
CoopnHeader header,
CoopnInheritList inherits,
CoopnAdtInterface inter,
CoopnAdtBody body)
Simple constructor. |
|
CoopnAdtModule(CoopnCompilInfo info,
CoopnSymbolTable table,
CoopnHeader header,
CoopnInheritList inherits,
CoopnAdtInterface inter,
CoopnAdtBody body,
java.lang.String comment)
Simple constructor. |
Method Summary | |
CoopnAdtBody |
body()
|
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
completeKind()
Complete kind retrieving method. |
boolean |
equals(java.lang.Object obj)
Equality method. |
boolean |
hasBody()
|
boolean |
hasInterface()
|
CoopnAdtInterface |
inter()
|
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
java.lang.String |
kind()
Kind retrieving method. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
CoopnSyntacticSection[] |
sections()
Get the sections of this module. |
void |
setBody(CoopnAdtBody body)
|
void |
setInterface(CoopnAdtInterface inter)
|
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. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModule |
comment, compilInfo, dependencies, equ, equ, hashCode, hasInherits, hasParameters, header, headerCompleteString, headerCompleteString, headerString, headerString, info, inherits, less, less, lessOrEqu, lessOrEqu, mkind, moduleKind, moduleName, parameters, symbolTable, toCoco, unifiable, unifiable, useSymbolTable, validKind |
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 CoopnAdtModule(CoopnCompilInfo info, CoopnSymbolTable table, CoopnHeader header, CoopnInheritList inherits, CoopnAdtInterface inter, CoopnAdtBody body)
public CoopnAdtModule(CoopnCompilInfo info, CoopnSymbolTable table, CoopnHeader header, CoopnInheritList inherits, CoopnAdtInterface inter, CoopnAdtBody body, java.lang.String comment)
Method Detail |
public boolean pureCOOPN()
CoopnElement
pureCOOPN
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public boolean pureCOIL()
CoopnElement
pureCOIL
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic java.lang.String kind()
CoopnSyntacticModule
kind
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public CoopnSyntacticSection[] sections()
CoopnSyntacticModule
sections
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public void setInterface(CoopnAdtInterface inter)
public void setBody(CoopnAdtBody body)
public CoopnAdtInterface inter()
public CoopnAdtBody body()
public boolean hasInterface()
public boolean hasBody()
public java.lang.String completeKind()
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic 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 referencespublic 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 CoopnModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object clone()
CoopnSyntacticElement
clone
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |