org.stekikun.dolmen.debug

Class Derivation.NonTerminal

java.lang.Object

org.stekikun.dolmen.debug.Derivation

org.stekikun.dolmen.debug.Derivation.NonTerminal

Enclosing class:

Derivation

public static final class Derivation.NonTerminal
extends Derivation

This represents a node in a Derivation tree, i.e. the realization of some non-terminal (Derivation.symbol) in the grammar via one of its production (prod). The items for the production rule are themselves derivation trees and can be fetched with getChildren().

Author:

Stéphane Lescuyer

Nested Class Summary

Nested classes/interfaces inherited from class org.stekikun.dolmen.debug.Derivation

Derivation.Displayer, Derivation.NonTerminal, Derivation.Terminal

Field Summary

Fields

Modifier and Type	Field and Description
short	prod The index of the production used to produce this non-terminal

Fields inherited from class org.stekikun.dolmen.debug.Derivation

symbol

Method Summary

Modifier and Type	Method and Description
void	append(Derivation.Displayer displayer, Appendable buf) Appends the representation of the receiver into buf using displayer
boolean	equals(@Nullable Object o)
List<Derivation>	getChildren()
short	getHeight()
int	hashCode()

Methods inherited from class org.stekikun.dolmen.debug.Derivation

display, production, terminal, toString

Methods inherited from class java.lang.Object

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

Field Detail

prod

public final short prod

The index of the production used to produce this non-terminal

Method Detail

getChildren

public List<Derivation> getChildren()

Returns:

the derivations for the actuals of this production, in order

getHeight

public short getHeight()

Specified by:

getHeight in class Derivation

Returns:

the height of the derivation

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class Object

append

public void append(Derivation.Displayer displayer,
                   Appendable buf)
            throws IOException

Description copied from class: Derivation

Appends the representation of the receiver into buf using displayer

Specified by:

append in class Derivation

Throws:

IOException