org.stekikun.dolmen.debug

Class Derivation.Terminal

java.lang.Object

org.stekikun.dolmen.debug.Derivation

org.stekikun.dolmen.debug.Derivation.Terminal

Enclosing class:

Derivation

public static final class Derivation.Terminal
extends Derivation

This represents a leaf in a Derivation tree, i.e. some terminal identified by its Derivation.symbol number.

For efficiency reasons, maximal sharing is used so that instances of Derivation.Terminal can have a perfect hashing and can be compared physically.

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 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)
short	getHeight()
int	hashCode()
String	toString()

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

display, production, terminal

Methods inherited from class java.lang.Object

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

Method Detail

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

toString

public String toString()

Overrides:

toString in class Derivation