ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnContextAxiomField

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbolList
                    |
                    +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnField
                          |
                          +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextAxiomField
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticField, java.io.Serializable

public class CoopnContextAxiomField
extends CoopnField

List of coopn context axioms.

See Also:
CoopnField, Serialized Form

Fields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
elems
 
Constructor Summary
CoopnContextAxiomField()
          Simple constructor.
 
Method Summary
 void add(CoopnContextAxiomSymbol axiom)
           
 java.lang.Object clone()
          Cloning method.
 CoopnContextAxiomSymbol[] elements()
           
 java.lang.String kind()
          Kind retrieving method.
 void merge(CoopnContextAxiomField list)
           
 void remove(CoopnContextAxiomSymbol axiom)
           
 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.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnField
symbols
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbolList
getCocoElements, getCompleteTextElements, getTextElements
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
add, contains, empty, equals, getElements, hashCode, interpret, merge, pureCOIL, pureCOOPN, remove, size, unmodifiableCopy
 
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
equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Constructor Detail

CoopnContextAxiomField

public CoopnContextAxiomField()
Simple constructor.
Method Detail

add

public void add(CoopnContextAxiomSymbol axiom)

merge

public void merge(CoopnContextAxiomField list)

remove

public void remove(CoopnContextAxiomSymbol axiom)

elements

public CoopnContextAxiomSymbol[] elements()

kind

public java.lang.String kind()
Description copied from class: CoopnField
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 CoopnField
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnField
Returns:
a string defining the field 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)
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.

clone

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