xtc.parser

Class Option

java.lang.Object

xtc.tree.Node

xtc.parser.Element

xtc.parser.UnaryOperator

xtc.parser.Quantification

xtc.parser.Option

All Implemented Interfaces:

java.lang.Iterable<java.lang.Object>, Locatable

public class Option
extends Quantification

An optional grammar element.

Version:

$Revision: 1.9 $

Author:

Robert Grimm

Nested Class Summary

Nested classes/interfaces inherited from class xtc.parser.Element

Element.Tag

Field Summary

Fields inherited from class xtc.parser.UnaryOperator

element

Constructor Summary

Constructors

Constructor and Description
Option(Element element) Create a new option.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()
Element.Tag	tag() Get this element's tag.
void	write(java.lang.Appendable out) Write a human readable representation to the specified appendable.

Methods inherited from class xtc.tree.Node

add, add, addAll, addAll, addAll, addAll, addAllTo, addNode, contains, get, getBoolean, getBooleanProperty, getGeneric, getList, getLocation, getName, getNode, getProperty, getString, getStringProperty, getTokenText, hasLocation, hasName, hasProperty, hasTraversal, hasVariable, indexOf, isAnnotation, isEmpty, isGeneric, isList, isToken, iterator, lastIndexOf, properties, remove, removeProperty, set, setLocation, setLocation, setProperty, size, strip, toAnnotation, toList, toString, toToken

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Option

public Option(Element element)

Create a new option.

Parameters:

element - The optional grammar element.

Method Detail

tag

public Element.Tag tag()

Description copied from class: Element

Get this element's tag.

Specified by:

tag in class Element

Returns:

The tag.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

write

public void write(java.lang.Appendable out)
           throws java.io.IOException

Description copied from class: Node

Write a human readable representation to the specified appendable. If this node supports generic traversal, the default implementation writes this node in algebraic term-format; otherwise, it writes the string returned by Object.toString().

Overrides:

write in class Node

Parameters:

out - The appendable.

Throws:

java.io.IOException - Signals an I/O error.