de.rwth.i2.attestor.programState.defaultState

Class RefinedDefaultNonterminal

java.lang.Object

de.rwth.i2.attestor.programState.defaultState.RefinedDefaultNonterminal

All Implemented Interfaces:

NodeLabel, Nonterminal, RefinedNonterminal

public class RefinedDefaultNonterminal
extends Object
implements RefinedNonterminal

A nonterminal symbol that is additionally annotated with a state of a heap automaton.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
RefinedDefaultNonterminal(Nonterminal nonterminal, HeapAutomatonState state)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object otherObject)
String	getLabel()
int	getRank()
HeapAutomatonState	getState()
int	hashCode()
boolean	isReductionTentacle(int tentacle)
void	setReductionTentacle(int tentacle)
String	toString()
void	unsetReductionTentacle(int tentacle)
RefinedNonterminal	withState(HeapAutomatonState state) Provides the same symbol with the provided annotation.

Methods inherited from class java.lang.Object

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

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

matches

Constructor Detail

RefinedDefaultNonterminal

public RefinedDefaultNonterminal(Nonterminal nonterminal,
                                 HeapAutomatonState state)

Method Detail

getState

public HeapAutomatonState getState()

Specified by:

getState in interface RefinedNonterminal

Returns:

The heap automaton state the symbol is annotated with.

withState

public RefinedNonterminal withState(HeapAutomatonState state)

Description copied from interface: RefinedNonterminal

Provides the same symbol with the provided annotation.

Specified by:

withState in interface RefinedNonterminal

Parameters:

state - The new annotation.

Returns:

An annotated symbol with the provided state. The symbol itself is the same as this object.

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

equals

public boolean equals(Object otherObject)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object