ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnMorphismModule

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModule
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMorphismModule
All Implemented Interfaces:
java.lang.Cloneable, CoopnModuleDependency, CoopnSyntacticElement, CoopnSyntacticModule, CoopnTypeRelation, java.io.Serializable

public class CoopnMorphismModule
extends CoopnModule

Coopn Morphism module.

See Also:
CoopnElement, Serialized Form

Fields 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

CoopnMorphismModule

public CoopnMorphismModule(CoopnCompilInfo info,
                           CoopnSymbolTable table,
                           CoopnHeader header,
                           CoopnInheritList inherits)
Simple constructor.

CoopnMorphismModule

public CoopnMorphismModule(CoopnCompilInfo info,
                           CoopnSymbolTable table,
                           CoopnHeader header,
                           CoopnInheritList inherits,
                           java.lang.String comment)
Simple constructor.
Method Detail

pureCOOPN

public boolean pureCOOPN()
Description copied from class: CoopnElement
Pure COOPN verification method. Must be modified by the elements which may alterate the result.
Overrides:
pureCOOPN in class CoopnModule
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
true iff this object is in pure CO-OPN language.

pureCOIL

public boolean pureCOIL()
Description copied from class: CoopnElement
Pure COIL-COOPN2C verification method. Must be modified by the elements which may alterate the result.
Overrides:
pureCOIL in class CoopnModule
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
true iff this object is in pure COIL language.

kind

public java.lang.String kind()
Description copied from interface: CoopnSyntacticModule
Kind retrieving method. This method must be defined in the inherited classes for returning a string allowing the user to know what kind of module this is, for instance "Class", "Aspect", or "CAA".
Overrides:
kind in class CoopnModule
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticModule
Returns:
a string defining the module kind.

sections

public CoopnSyntacticSection[] sections()
Description copied from interface: CoopnSyntacticModule
Get the sections of this module.
Overrides:
sections in class CoopnModule
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticModule
Returns:
The sections defined by this module.

morphisms

public CoopnMorphismField morphisms()

renames

public CoopnRenameField renames()

equals

public boolean equals(java.lang.Object obj)
Description copied from interface: CoopnSyntacticElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class CoopnModule
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

completeKind

public java.lang.String completeKind()
Complete kind retrieving method. This method must be defined in the inherited classes for returning a string allowing the user to know what kind of module this is, including building information such as "generic" or "abstract".
Returns:
a string defining the module complete kind.

toText

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
Description copied from class: CoopnElement
Textual elements conversion method. Must be defined in the inherited classes. This routine converts an element into a user-friendly textual element representing it. The string interpretation of this element is very intuitive by a user, but may be incorrect in the sense that it may be rejected by a checker.
Overrides:
toText in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
a CoopnTextElement image.

toCompleteText

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
Description copied from class: CoopnElement
Complete textual elements conversion method. Must be defined in the inherited classes. This routine converts an element into a correct textual element representing it. The string interpretation of this element will be accepted by a checker, but may be difficult to read by users, due to the additionnal information, like parenthesis and so on.
Overrides:
toCompleteText in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
table - the symbol table used to generate symbol references
Returns:
a CoopnTextElement image.

toCoco

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
                                                                       throws java.lang.IllegalArgumentException
Description copied from class: CoopnElement
CoCo conversion method. Must be defined in the inherited classes. This routine convert an element into a string representing it in a CO-opn COnpact form.
Overrides:
toCoco in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
origin - the module which generated the Coco conversion
table - the symbol table used to generate symbol references
Returns:
a String image of the element.
Throws:
java.lang.IllegalArgumentException - A used symbol is not in the symbol table.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Description copied from class: CoopnElement
Copy the element into an unmodifiable structure.
Overrides:
unmodifiableCopy in class CoopnModule
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
Description copied from interface: CoopnSyntacticElement
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class CoopnModule
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
a clone object.