de.rwth.i2.attestor.graph.heap.internal

Class InternalNonterminalEdgeBuilder

java.lang.Object

de.rwth.i2.attestor.graph.heap.internal.InternalNonterminalEdgeBuilder

All Implemented Interfaces:

NonterminalEdgeBuilder

public class InternalNonterminalEdgeBuilder
extends Object
implements NonterminalEdgeBuilder

Constructor Summary

Constructors

Constructor and Description
InternalNonterminalEdgeBuilder(Nonterminal nt, HeapConfigurationBuilder heapConfigurationBuilder)

Method Summary

Modifier and Type	Method and Description
NonterminalEdgeBuilder	addTentacle(int tentacle)
HeapConfigurationBuilder	build()

Methods inherited from class java.lang.Object

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

Constructor Detail

InternalNonterminalEdgeBuilder

public InternalNonterminalEdgeBuilder(Nonterminal nt,
                                      HeapConfigurationBuilder heapConfigurationBuilder)

Method Detail

addTentacle

public NonterminalEdgeBuilder addTentacle(int tentacle)

Specified by:

addTentacle in interface NonterminalEdgeBuilder

build

public HeapConfigurationBuilder build()

Specified by:

build in interface NonterminalEdgeBuilder