org.extendj.neobeaver

Class Grammar

java.lang.Object

org.extendj.neobeaver.Grammar

public class Grammar
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	className
java.lang.String	packageName
java.util.Set<Symbol>	syms
static boolean	VERBOSE

Constructor Summary

Constructors

Constructor and Description

Grammar(java.util.List<Rule> originalRules, java.util.List<Rule> rules, Symbol goalSym, Rule goalRule, java.util.Set<Symbol> syms, java.util.BitSet nullable, java.util.Map<Symbol,java.util.Set<Symbol>> first, java.util.Map<Symbol,java.util.Set<Symbol>> follow, java.util.Map<Symbol,java.util.Set<Item>> extension, ExtensionBuilderLr1 extensionBuilder, java.lang.String embed, java.lang.String header, java.lang.String className, java.lang.String packageName, java.util.Set<java.lang.String> left, java.util.Set<java.lang.String> right, java.util.Set<java.lang.String> nonassoc, java.util.Map<java.lang.String,java.lang.Integer> precedence)

Method Summary

Modifier and Type	Method and Description
static Grammar	build(org.extendj.Trace trace, java.util.List<Rule> rules, java.util.Set<Symbol> extraTerminals, Symbol goalSym, java.lang.String embed, java.lang.String header, java.lang.String className, java.lang.String packageName, java.util.Set<java.lang.String> left, java.util.Set<java.lang.String> right, java.util.Set<java.lang.String> nonassoc, java.util.Map<java.lang.String,java.lang.Integer> precedence)
MyParser	buildParser(org.extendj.Trace trace)
static java.util.Collection<Rule>	canonicalRules(java.util.Collection<Rule> rules) Transform grammar rules to canonical form.
void	checkProblems()
java.util.Collection<Item>	extension(Symbol sym)
java.util.Collection<? extends Item>	extension(Symbol a, Symbol b)
java.util.Collection<? extends Symbol>	first(Symbol sym)
java.util.Collection<Symbol>	follow(Symbol lhs)
boolean	left(java.lang.String token)
boolean	nonassoc(java.lang.String token)
boolean	nullable(Symbol sym)
int	precedence(java.lang.String token)
void	printBeaverParser(java.io.PrintStream out, MyParser parser)
void	printBeaverSpec(java.io.PrintStream out, MyParser parser)
void	printBeaverTestSpec(java.io.PrintStream out, MyParser parser)
void	printParser(java.io.PrintStream out, MyParser parser, boolean debug) Generate a non-Beaver parser.
void	printTables(MyParser parser)
boolean	right(java.lang.String token)

Methods inherited from class java.lang.Object

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

Field Detail

VERBOSE

public static final boolean VERBOSE

See Also:

Constant Field Values

syms

public final java.util.Set<Symbol> syms

className

public final java.lang.String className

packageName

public final java.lang.String packageName

Constructor Detail

Grammar

public Grammar(java.util.List<Rule> originalRules,
               java.util.List<Rule> rules,
               Symbol goalSym,
               Rule goalRule,
               java.util.Set<Symbol> syms,
               java.util.BitSet nullable,
               java.util.Map<Symbol,java.util.Set<Symbol>> first,
               java.util.Map<Symbol,java.util.Set<Symbol>> follow,
               java.util.Map<Symbol,java.util.Set<Item>> extension,
               ExtensionBuilderLr1 extensionBuilder,
               java.lang.String embed,
               java.lang.String header,
               java.lang.String className,
               java.lang.String packageName,
               java.util.Set<java.lang.String> left,
               java.util.Set<java.lang.String> right,
               java.util.Set<java.lang.String> nonassoc,
               java.util.Map<java.lang.String,java.lang.Integer> precedence)

Method Detail

build

public static Grammar build(org.extendj.Trace trace,
                            java.util.List<Rule> rules,
                            java.util.Set<Symbol> extraTerminals,
                            Symbol goalSym,
                            java.lang.String embed,
                            java.lang.String header,
                            java.lang.String className,
                            java.lang.String packageName,
                            java.util.Set<java.lang.String> left,
                            java.util.Set<java.lang.String> right,
                            java.util.Set<java.lang.String> nonassoc,
                            java.util.Map<java.lang.String,java.lang.Integer> precedence)

canonicalRules

public static java.util.Collection<Rule> canonicalRules(java.util.Collection<Rule> rules)

Transform grammar rules to canonical form.

buildParser

public MyParser buildParser(org.extendj.Trace trace)

precedence

public int precedence(java.lang.String token)

Returns:

the precedence level for the given token. Lower values are higher precedence.

left

public boolean left(java.lang.String token)

Returns:

true if the token is left-associative

right

public boolean right(java.lang.String token)

Returns:

true if the token is right-associative

nonassoc

public boolean nonassoc(java.lang.String token)

Returns:

true if the token is non-associative

first

public java.util.Collection<? extends Symbol> first(Symbol sym)

nullable

public boolean nullable(Symbol sym)

extension

public java.util.Collection<Item> extension(Symbol sym)

extension

public java.util.Collection<? extends Item> extension(Symbol a,
                                                      Symbol b)

follow

public java.util.Collection<Symbol> follow(Symbol lhs)

printTables

public void printTables(MyParser parser)

printBeaverSpec

public void printBeaverSpec(java.io.PrintStream out,
                            MyParser parser)
                     throws java.io.IOException

Throws:

java.io.IOException

printBeaverTestSpec

public void printBeaverTestSpec(java.io.PrintStream out,
                                MyParser parser)
                         throws java.io.IOException

Throws:

java.io.IOException

printParser

public void printParser(java.io.PrintStream out,
                        MyParser parser,
                        boolean debug)

Generate a non-Beaver parser.

printBeaverParser

public void printBeaverParser(java.io.PrintStream out,
                              MyParser parser)
                       throws java.io.IOException

Throws:

java.io.IOException

checkProblems

public void checkProblems()