ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnClassInterface

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassInterface
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSection, java.io.Serializable
Direct Known Subclasses:
CoopnClassBody

public class CoopnClassInterface
extends CoopnSection

Coopn Class interface.

See Also:
CoopnSection, Serialized Form

Constructor 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

CoopnClassInterface

public CoopnClassInterface()
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 CoopnElement
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 CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
true iff this object is in pure COIL language.

interpret

public CoopnElement interpret(CoopnSubstitution sigma)
Description copied from class: CoopnElement
Interpretation of this element according to a substitution.
Overrides:
interpret in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
sigma - the substitution; cannot be null
Returns:
a new CoopnElement object, coreesponding to the interpretation.

kind

public java.lang.String kind()
Description copied from class: CoopnSection
Kind retrieving method. This method must be defined in the inherited classes for returning a string allowing the user to know what kind of field this is.
Overrides:
kind in class CoopnSection
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection
Returns:
a string defining the field kind.

fields

public CoopnSyntacticField[] fields()
Description copied from class: CoopnSection
Get the fields of this section.
Overrides:
fields in class CoopnSection
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection
Returns:
The fields defined by this section.

uses

public CoopnUseField uses()

types

public CoopnTypeField types()

subsorts

public CoopnSubsortField subsorts()

subtypes

public CoopnSubtypeField subtypes()

objects

public CoopnObjectField objects()

gates

public CoopnClassGateField gates()

methods

public CoopnClassMethodField methods()

creations

public CoopnClassCreationField creations()

destructions

public CoopnClassDestructionField destructions()

addUses

public void addUses(CoopnUseField list)

addTypes

public void addTypes(CoopnTypeField list)

addSubsorts

public void addSubsorts(CoopnSubsortField list)

addSubtypes

public void addSubtypes(CoopnSubtypeField list)

addObjects

public void addObjects(CoopnObjectField list)

addGates

public void addGates(CoopnClassGateField list)

addMethods

public void addMethods(CoopnClassMethodField list)

addCreations

public void addCreations(CoopnClassCreationField list)

addDestructions

public void addDestructions(CoopnClassDestructionField list)

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 CoopnElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Description copied from interface: CoopnSyntacticElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class CoopnElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
the hash code.

createTextElement

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement createTextElement()

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.

createCocoElement

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement createCocoElement()

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 CoopnElement
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 CoopnElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
a clone object.