de.rwth.i2.attestor.graph

Class BasicNonterminal.Factory

java.lang.Object

de.rwth.i2.attestor.graph.BasicNonterminal.Factory

Enclosing class:

BasicNonterminal

public static final class BasicNonterminal.Factory
extends Object

Constructor Summary

Constructors

Constructor and Description
Factory()

Method Summary

Modifier and Type	Method and Description
BasicNonterminal	create(String label, int rank, boolean[] isReductionTentacle) Method to create nonterminal symbols.
BasicNonterminal	get(String name)

Methods inherited from class java.lang.Object

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

Constructor Detail

Factory

public Factory()

Method Detail

get

public BasicNonterminal get(String name)

create

public BasicNonterminal create(String label,
                               int rank,
                               boolean[] isReductionTentacle)

Method to create nonterminal symbols. If the nonterminal already exists, a reference to the existing one will be returned.

Parameters:

label - The label of the requested nonterminal symbol.

rank - The rank of the requested nonterminal symbol.

isReductionTentacle - An array of length rank that determines for every tentacle whether it is a reduction tentacle (value true) or not (value false).

Returns:

The requested nonterminal symbol. If this object does not exist, it will be created first.