Class Cases

java.lang.Object
  TreeNode
      ListNode
          Cases

 class Cases
extends ListNode

Defines list phylum Cases

See ListNode for full documentation.

Field Summary

static java.lang.Class

elementClass

Fields inherited from class TreeNode

lineNumber

Constructor Summary

	Cases(int lineNumber) Creates an empty "Cases" list
protected	Cases(int lineNumber, java.util.Vector elements)

Method Summary

Cases	appendElement(TreeNode elem) Appends "Case" element to this list
TreeNode	copy() Creates a copy of this node.
java.lang.Class	getElementClass() Returns class of this lists's elements

Methods inherited from class ListNode

addElement, copyElements, dump, getElements, getLength, getNth, toString

Methods inherited from class TreeNode

copy_AbstractSymbol, copy_Boolean, dump_AbstractSymbol, dump_Boolean, dump_line, getLineNumber, set

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

elementClass

public static final java.lang.Class elementClass

Constructor Detail

Cases

protected Cases(int lineNumber,
                java.util.Vector elements)

Cases

public Cases(int lineNumber)

Creates an empty "Cases" list

Method Detail

getElementClass

public java.lang.Class getElementClass()

Returns class of this lists's elements

Specified by:

getElementClass in class ListNode

Returns:

the element class

appendElement

public Cases appendElement(TreeNode elem)

Appends "Case" element to this list

copy

public TreeNode copy()

Description copied from class: TreeNode

Creates a copy of this node.

Specified by:

copy in class TreeNode

Returns:

a copy of this node