|
|||||||||
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.CoopnMorphismModule
Coopn Morphism module.
CoopnElement
, Serialized FormFields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModule |
ADT, CLASS, comment, CONTEXT, header, info, inherits, kind, MORPHISM, table |
Constructor Summary | |
CoopnMorphismModule(CoopnCompilInfo info,
CoopnSymbolTable table,
CoopnHeader header,
CoopnInheritList inherits)
Simple constructor. |
|
CoopnMorphismModule(CoopnCompilInfo info,
CoopnSymbolTable table,
CoopnHeader header,
CoopnInheritList inherits,
java.lang.String comment)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
completeKind()
Complete kind retrieving method. |
boolean |
equals(java.lang.Object obj)
Equality method. |
java.lang.String |
kind()
Kind retrieving method. |
CoopnMorphismField |
morphisms()
|
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
CoopnRenameField |
renames()
|
CoopnSyntacticSection[] |
sections()
Get the sections of this module. |
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, interpret, 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 CoopnMorphismModule(CoopnCompilInfo info, CoopnSymbolTable table, CoopnHeader header, CoopnInheritList inherits)
public CoopnMorphismModule(CoopnCompilInfo info, CoopnSymbolTable table, CoopnHeader header, CoopnInheritList inherits, 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 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 CoopnMorphismField morphisms()
public CoopnRenameField renames()
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in class CoopnModule
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic java.lang.String completeKind()
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 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 |