de.rwth.i2.attestor.grammar

Class GrammarBuilder

java.lang.Object

de.rwth.i2.attestor.grammar.GrammarBuilder

public class GrammarBuilder
extends Object

Used to construct a grammar. By default, the grammar is not marked as backwards confluent. Use setConfluent() to change this.

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
GrammarBuilder()

Method Summary

Modifier and Type	Method and Description
GrammarBuilder	addCollapsedRule(Nonterminal lhs, CollapsedHeapConfiguration rhs)
GrammarBuilder	addRule(Nonterminal lhs, HeapConfiguration rhs)
GrammarBuilder	addRules(Grammar grammar)
GrammarBuilder	addRules(Map<Nonterminal,? extends Collection<HeapConfiguration>> newRules)
GrammarBuilder	addRules(Nonterminal lhs, Collection<HeapConfiguration> rightHandSides)
Grammar	build()
GrammarBuilder	updateCollapsedRules()

Methods inherited from class java.lang.Object

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

Constructor Detail

GrammarBuilder

public GrammarBuilder()

Method Detail

build

public Grammar build()

addRule

public GrammarBuilder addRule(Nonterminal lhs,
                              HeapConfiguration rhs)

addRules

public GrammarBuilder addRules(Nonterminal lhs,
                               Collection<HeapConfiguration> rightHandSides)

addRules

public GrammarBuilder addRules(Map<Nonterminal,? extends Collection<HeapConfiguration>> newRules)

addRules

public GrammarBuilder addRules(Grammar grammar)

addCollapsedRule

public GrammarBuilder addCollapsedRule(Nonterminal lhs,
                                       CollapsedHeapConfiguration rhs)

updateCollapsedRules

public GrammarBuilder updateCollapsedRules()