de.rwth.i2.attestor.graph

Class BasicNonterminal

java.lang.Object

de.rwth.i2.attestor.graph.BasicNonterminal

All Implemented Interfaces:

NodeLabel, Nonterminal

public final class BasicNonterminal
extends Object
implements Nonterminal

A simple standard implementation of nonterminal symbols.

Exactly one object is created for every label.

Author:

Christoph

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BasicNonterminal.Factory

Method Summary

Modifier and Type	Method and Description
String	getLabel()
int	getRank()
int	hashCode()
boolean	isReductionTentacle(int tentacle)
void	setReductionTentacle(int tentacle)
String	toString()
void	unsetReductionTentacle(int tentacle)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.i2.attestor.graph.digraph.NodeLabel

matches

Method Detail

getRank

public int getRank()

Specified by:

getRank in interface Nonterminal

Returns:

The number of nodes that has to be attached to this nonterminal.

getLabel

public String getLabel()

Specified by:

getLabel in interface Nonterminal

Returns:

The label underlying this nonterminal symbol.

isReductionTentacle

public boolean isReductionTentacle(int tentacle)

Specified by:

isReductionTentacle in interface Nonterminal

Parameters:

tentacle - The position in the sequence of attached nodes that should be checked.

Returns:

True if and only if the provided provision never produces outgoing selector edges for this Nonterminal.

setReductionTentacle

public void setReductionTentacle(int tentacle)

Specified by:

setReductionTentacle in interface Nonterminal

Parameters:

tentacle - The position in the sequence of attached nodes that should be marked as a reduction tentacle.

unsetReductionTentacle

public void unsetReductionTentacle(int tentacle)

Specified by:

unsetReductionTentacle in interface Nonterminal

Parameters:

tentacle - The position in the sequence of attached nodes that should be marked as "not a reduction tentacle".

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object