ConForM.CoopnTools.CoKer.CoalaMgr
Class CoalaExceptionAgg

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
        |
        +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElementList
              |
              +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaExceptionAgg
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class CoalaExceptionAgg
extends CoalaElementList

Aggregates of coala exception terms.

See Also:
CoalaElement, Serialized Form

Constructor Summary
CoalaExceptionAgg()
          Simple constructor.
 
Method Summary
 void add(CoalaException term)
           
 CoalaException[] elements()
           
 void merge(CoalaExceptionAgg list)
           
 ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toCompleteText(CoopnSymbolTable table)
          Complete textual elements conversion method.
 ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toText()
          Textual elements conversion method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElementList
addElement, clone, contains, empty, equals, getElements, hashCode, mergeElementList, size
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
cloneCoalaElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CoalaExceptionAgg

public CoalaExceptionAgg()
Simple constructor.
Method Detail

add

public void add(CoalaException term)

merge

public void merge(CoalaExceptionAgg list)

elements

public CoalaException[] elements()

toText

public ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toText()
Textual elements conversion method. Overrides the conversion of lists.
Overrides:
toText in class CoalaElement
Returns:
a CoalaTextExceptionExpressionList image.

toCompleteText

public ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. Overrides the conversion of lists.
Overrides:
toCompleteText in class CoalaElement
Parameters:
table - the symbol table used to generate symbol references
Returns:
a CoalaTextExceptionExpressionList image.