de.rwth.i2.attestor.grammar

Class Grammar

java.lang.Object

de.rwth.i2.attestor.grammar.Grammar

public class Grammar
extends Object

Immutable data-object storing all the rules (lhs → rhs). For construction use a GrammarBuilder

Author:

Hannah

Method Summary

Modifier and Type	Method and Description
static GrammarBuilder	builder()
Set<Nonterminal>	getAllLeftHandSides()
Set<CollapsedHeapConfiguration>	getCollapsedRightHandSidesFor(Nonterminal nonterminal)
Set<HeapConfiguration>	getRightHandSidesFor(Nonterminal nonterminal) Gets all rule graphs of rules with the specified left hand side.

Methods inherited from class java.lang.Object

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

Method Detail

builder

public static GrammarBuilder builder()

getRightHandSidesFor

public Set<HeapConfiguration> getRightHandSidesFor(Nonterminal nonterminal)

Gets all rule graphs of rules with the specified left hand side.

Parameters:

nonterminal - The left hand side

Returns:

an unmodifiable view of the rules' set

getAllLeftHandSides

public Set<Nonterminal> getAllLeftHandSides()

Returns:

an unmodifiable view of the set of left hand sides

getCollapsedRightHandSidesFor

public Set<CollapsedHeapConfiguration> getCollapsedRightHandSidesFor(Nonterminal nonterminal)