de.rwth.i2.attestor.graph

Interface Nonterminal

All Superinterfaces:

NodeLabel

All Known Subinterfaces:

IndexedNonterminal, RefinedNonterminal

All Known Implementing Classes:

BasicNonterminal, IndexedNonterminalImpl, RefinedDefaultNonterminal

public interface Nonterminal
extends NodeLabel

General interface for nonterminal symbols.

Author:

Christoph

Method Summary

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

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

matches

Method Detail

getRank

int getRank()

Returns:

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

isReductionTentacle

boolean isReductionTentacle(int tentacle)

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

void setReductionTentacle(int tentacle)

Parameters:

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

unsetReductionTentacle

void unsetReductionTentacle(int tentacle)

Parameters:

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

getLabel

String getLabel()

Returns:

The label underlying this nonterminal symbol.