de.rwth.i2.attestor.programState.indexedState

Class IndexedNonterminalImpl

java.lang.Object

de.rwth.i2.attestor.programState.indexedState.IndexedNonterminalImpl

All Implemented Interfaces:

NodeLabel, Nonterminal, IndexedNonterminal

public class IndexedNonterminalImpl
extends Object
implements IndexedNonterminal

Field Summary

Fields

Modifier and Type	Field and Description
protected Nonterminal	basicNonterminal
protected Index	index

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndexedNonterminalImpl(Nonterminal basicNonterminal, Index index)
	IndexedNonterminalImpl(Nonterminal basicNonterminal, List<IndexSymbol> index)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Index	getIndex()
String	getLabel()
int	getRank()
IndexedNonterminal	getWithIndex(List<IndexSymbol> index)
IndexedNonterminal	getWithProlongedIndex(IndexSymbol s)
IndexedNonterminal	getWithProlongedIndex(List<IndexSymbol> postfix) removes the last symbol (indexVariable () or abstractIndexSymbol) and adds all elements in postfix
IndexedNonterminal	getWithShortenedIndex()
int	hashCode()
boolean	isReductionTentacle(int tentacle)
boolean	matches(NodeLabel obj)
void	setReductionTentacle(int tentacle)
String	toString()
void	unsetReductionTentacle(int tentacle)

Methods inherited from class java.lang.Object

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

Field Detail

index

protected final Index index

basicNonterminal

protected final Nonterminal basicNonterminal

Constructor Detail

IndexedNonterminalImpl

public IndexedNonterminalImpl(Nonterminal basicNonterminal,
                              List<IndexSymbol> index)

IndexedNonterminalImpl

protected IndexedNonterminalImpl(Nonterminal basicNonterminal,
                                 Index index)

Method Detail

getIndex

public Index getIndex()

Specified by:

getIndex in interface IndexedNonterminal

getWithShortenedIndex

public IndexedNonterminal getWithShortenedIndex()

Specified by:

getWithShortenedIndex in interface IndexedNonterminal

getWithProlongedIndex

public IndexedNonterminal getWithProlongedIndex(IndexSymbol s)

Specified by:

getWithProlongedIndex in interface IndexedNonterminal

getWithProlongedIndex

public IndexedNonterminal getWithProlongedIndex(List<IndexSymbol> postfix)

Description copied from interface: IndexedNonterminal

removes the last symbol (indexVariable () or abstractIndexSymbol) and adds all elements in postfix

Specified by:

getWithProlongedIndex in interface IndexedNonterminal

Parameters:

postfix - The postfix to prolong the index

Returns:

The nonterminal with prolonged index

getWithIndex

public IndexedNonterminal getWithIndex(List<IndexSymbol> index)

Specified by:

getWithIndex in interface IndexedNonterminal

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

matches

public boolean matches(NodeLabel obj)

Specified by:

matches in interface NodeLabel

Parameters:

obj - Some other NodeLabel.

Returns:

True if and only if this NodeLabel and other are considered to match. Note that, depending on the label, this might not necessarily coincide with equals().

getRank

public int getRank()

Specified by:

getRank in interface Nonterminal

Returns:

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

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

getLabel

public String getLabel()

Specified by:

getLabel in interface Nonterminal

Returns:

The label underlying this nonterminal symbol.