ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnContextTheoremField
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.CoopnContextTheoremField
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticField, java.io.Serializable
- public class CoopnContextTheoremField
- extends CoopnField
List of coopn context theorems.
- See Also:
CoopnField
, Serialized Form
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 |
CoopnContextTheoremField
public CoopnContextTheoremField()
- Simple constructor.
add
public void add(CoopnContextTheoremSymbol theorem)
merge
public void merge(CoopnContextTheoremField list)
remove
public void remove(CoopnContextTheoremSymbol theorem)
elements
public CoopnContextTheoremSymbol[] 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 conversiontable
- 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.