A B C D E F G H I L M N O P R S T U V

A

add(Automaton) - Method in class dk.brics.grammar.operations.AutomataCollection

Adds an automaton.

add(CharSet) - Method in class dk.brics.grammar.operations.CharSet

Adds chars from the given charset to this charset.

addAll(AutomataCollection) - Method in class dk.brics.grammar.operations.AutomataCollection

Adds a collection of automata.

addEOF() - Method in class dk.brics.grammar.operations.CharSet

Adds EOF this charset.

addProductions(Collection<Production>) - Method in class dk.brics.grammar.Grammar

Adds new productions to this grammar.

AmbiguityAnalyzer - Class in dk.brics.grammar.ambiguity

Grammar ambiguity checker.

AmbiguityAnalyzer(PrintWriter, boolean) - Constructor for class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Constructs a new grammar analyzer with default approximation strategies.

AmbiguityAnalyzer(List<ApproximationStrategy>, PrintWriter) - Constructor for class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Constructs a new grammar analyzer with the given list of approximation strategies.

analyze(Grammar) - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Analyzes the given grammar.

ApproximationStrategy - Class in dk.brics.grammar.ambiguity

Abstract base class for approximation strategies.

ApproximationStrategy() - Constructor for class dk.brics.grammar.ambiguity.ApproximationStrategy

Abstract constructor.

AST - Class in dk.brics.grammar.ast

Abstract syntax tree (AST).

AST(BranchNode, String) - Constructor for class dk.brics.grammar.ast.AST

Constructs a new AST.

AST2Grammar - Class in dk.brics.grammar.parser

Converter from ASTs representing grammars to Grammar objects.

AST2Grammar() - Constructor for class dk.brics.grammar.parser.AST2Grammar

Constructs a new converter.

AutomataCollection - Class in dk.brics.grammar.operations

Representation of a collection of automata.

AutomataCollection() - Constructor for class dk.brics.grammar.operations.AutomataCollection

Constructs a new empty automata collection.

AutomataCollection(AutomataCollection) - Constructor for class dk.brics.grammar.operations.AutomataCollection

Constructs a new automata collection as a (shallow) copy of an existing one.

AutomataOperations - Class in dk.brics.grammar.operations

Special automata operations used in RegularApproximation.

Automaton2Grammar - Class in dk.brics.grammar.operations

Converter from automata to regular grammars.

Automaton2Grammar() - Constructor for class dk.brics.grammar.operations.Automaton2Grammar

Constructs a new converter.

B

BranchNode - Class in dk.brics.grammar.ast

AST branch node.

BranchNode(ProductionID, String, int, int) - Constructor for class dk.brics.grammar.ast.BranchNode

Constructs a new AST node with no edges (yet).

BranchNode(BranchNode, String, Node) - Constructor for class dk.brics.grammar.ast.BranchNode

Constructs a new AST node from an existing one by adding an edge.

BranchNode(BranchNode, int) - Constructor for class dk.brics.grammar.ast.BranchNode

Constructs a new AST node from an existing one by updating 'to'.

C

Chars - Class in dk.brics.misc

Character escaping.

CharSet - Class in dk.brics.grammar.operations

Representation of a set of chars using an ordered list of intervals.

CharSet() - Constructor for class dk.brics.grammar.operations.CharSet

Constructs a new empty charset.

CharSet(String, boolean, boolean, boolean) - Constructor for class dk.brics.grammar.operations.CharSet

Constructs a charset from the chars occuring in the given string.

CharSet(Automaton, boolean, boolean, boolean) - Constructor for class dk.brics.grammar.operations.CharSet

Constructs a charset from the chars occuring in the given automaton.

check(Grammar, PrintWriter) - Method in class dk.brics.grammar.operations.GrammarChecker

Checks the given grammar.

check(String, Production) - Method in class dk.brics.grammar.parser.Parser

Checks whether the given string can be parsed without syntax errors.

checkHorizontalOverlap(Production, int) - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Conservatively checks horizontal overlap in a production.

checkHorizontalOverlap(Production, int) - Method in class dk.brics.grammar.ambiguity.RegularApproximation

checkHorizontalOverlap(Production, int) - Method in class dk.brics.grammar.ambiguity.RegularApproximation2

checkHorizontalOverlap(Production, int) - Method in class dk.brics.grammar.ambiguity.TerminalApproximation

checkVerticalOverlap(Production, Production) - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Conservatively checks vertical overlap of two productions of the same nonterminal.

checkVerticalOverlap(Production, Production) - Method in class dk.brics.grammar.ambiguity.RegularApproximation

checkVerticalOverlap(Production, Production) - Method in class dk.brics.grammar.ambiguity.RegularApproximation2

checkVerticalOverlap(Production, Production) - Method in class dk.brics.grammar.ambiguity.TerminalApproximation

contains(char) - Method in class dk.brics.grammar.operations.CharSet

Checks whether this charset contains the given char.

containsEOF() - Method in class dk.brics.grammar.operations.CharSet

Checks whether this charset contains EOF.

convert(Automaton) - Method in class dk.brics.grammar.operations.Automaton2Grammar

Converts the given automaton to a new grammar.

convert(Grammar) - Method in class dk.brics.grammar.operations.Grammar2JSAGrammar

Converts a normalized grammar to JSA grammar representation.

convert(AST, PrintWriter) - Method in class dk.brics.grammar.parser.AST2Grammar

Converts the given AST.

convert(String, String, PrintWriter) - Method in class dk.brics.grammar.parser.String2Grammar

Constructs grammar object from textual representation.

D

debug - Variable in class dk.brics.grammar.ambiguity.ApproximationStrategy

Verbose flag.

disjoint(CharSet) - Method in class dk.brics.grammar.operations.CharSet

Checks whether this charset is disjoint from the given one.

dk.brics.grammar - package dk.brics.grammar

Representation of context-free grammars.

dk.brics.grammar.ambiguity - package dk.brics.grammar.ambiguity

Grammar ambiguity analysis.

dk.brics.grammar.ast - package dk.brics.grammar.ast

Representation of abstract syntax trees.

dk.brics.grammar.main - package dk.brics.grammar.main

Command-line, GUI, and web interfaces for the parser and the ambiguity checker.

dk.brics.grammar.operations - package dk.brics.grammar.operations

Basic operations on grammars.

dk.brics.grammar.parser - package dk.brics.grammar.parser

Parser.

dk.brics.misc - package dk.brics.misc

Miscellaneous stuff.

doPost(HttpServletRequest, HttpServletResponse) - Method in class dk.brics.grammar.main.MainServlet

DotPrinter - Class in dk.brics.grammar.ast

Printer for Graphviz Dot format.

DotPrinter(PrintWriter) - Constructor for class dk.brics.grammar.ast.DotPrinter

Constructs a new dot printer.

E

emptyAutomataCollection - Static variable in class dk.brics.grammar.operations.AutomataCollection

Empty AutomataCollection (immutable).

Entity - Class in dk.brics.grammar

Grammar production entity.

Entity(String, String) - Constructor for class dk.brics.grammar.Entity

Constructs a new entity.

EntityVisitor<T> - Interface in dk.brics.grammar

Visitor for entities.

EOFTerminalEntity - Class in dk.brics.grammar

An EOF terminal.

EOFTerminalEntity() - Constructor for class dk.brics.grammar.EOFTerminalEntity

Constructs a new ignorable EOF terminal.

equals(Object) - Method in class dk.brics.grammar.operations.CharSet

escape(String) - Static method in class dk.brics.misc.Chars

Escapes special characters in the given string.

escape(String, boolean) - Static method in class dk.brics.misc.Chars

Escapes special characters in the given string.

ExampleStringDeriver - Class in dk.brics.grammar.operations

Derives example strings from a grammar.

ExampleStringDeriver(Grammar) - Constructor for class dk.brics.grammar.operations.ExampleStringDeriver

Constructs a new example string deriver.

expandAlphabet(Automaton, char) - Static method in class dk.brics.grammar.operations.AutomataOperations

Expands the alphabet of the given alphabet by replacing each transition with two consecutive transitions.

extend(Grammar, Automaton) - Method in class dk.brics.grammar.operations.Automaton2Grammar

Extends an existing grammar with a right linear sub-grammar corresponding to a given automaton.

F

FirstLastFinder - Class in dk.brics.grammar.operations

Contains method for finding FIRST and LAST sets.

FirstLastFinder(Grammar, boolean) - Constructor for class dk.brics.grammar.operations.FirstLastFinder

Computes sets for the given grammar.

G

g - Variable in class dk.brics.grammar.ambiguity.ApproximationStrategy

Current grammar.

get(String) - Static method in class dk.brics.misc.Properties

Checks whether the given system property is set.

getAutomaton() - Method in class dk.brics.grammar.RegexpTerminalEntity

Returns the automaton of this regexp terminal.

getAutomatonName() - Method in class dk.brics.grammar.RegexpTerminalEntity

Returns the name of this regexp terminal.

getAY() - Method in class dk.brics.grammar.ambiguity.HorizontalOverlapString

Returns the long right substring.

getBranchChild(String) - Method in class dk.brics.grammar.ast.BranchNode

Returns a branch child node.

getChild(String) - Method in class dk.brics.grammar.ast.BranchNode

Returns a child node.

getChildNames() - Method in class dk.brics.grammar.ast.BranchNode

Returns the set of child names in this node.

getCollection() - Method in class dk.brics.grammar.operations.AutomataCollection

Returns the collection as a Collection<Automaton>.

getColumn() - Method in class dk.brics.grammar.parser.Location

Returns the column number.

getEntities() - Method in class dk.brics.grammar.Production

Returns the entities.

getEntityFirst() - Method in class dk.brics.grammar.operations.FirstLastFinder

Returns map from entities to charsets representing FIRST information.

getEntityLast() - Method in class dk.brics.grammar.operations.FirstLastFinder

Returns map from entities to charsets representing LAST information.

getExample() - Method in class dk.brics.grammar.Entity

Returns the example string

getExample(Entity) - Method in class dk.brics.grammar.operations.ExampleStringDeriver

Produces an example string that is derivable from the given entity.

getFile() - Method in class dk.brics.grammar.parser.Location

Returns the file name.

getFromIndex() - Method in class dk.brics.grammar.ast.Node

Returns index in original string corresponding to the start of this node.

getID() - Method in class dk.brics.grammar.Production

Returns the production ID.

getIndex() - Method in class dk.brics.grammar.parser.Location

Returns the character index.

getLabel() - Method in class dk.brics.grammar.ast.BranchNode

Returns the production label of this node.

getLabel() - Method in class dk.brics.grammar.Entity

Returns the label of this entity.

getLabel() - Method in class dk.brics.grammar.ProductionID

Returns the label.

getLeafString(String, AST) - Method in class dk.brics.grammar.ast.BranchNode

Returns the substring of the leaf child of the given name.

getLine() - Method in class dk.brics.grammar.parser.Location

Returns the line number.

getLocation() - Method in exception dk.brics.grammar.parser.ParseException

Returns the location where the parser got stuck.

getMaxMemory() - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Returns maximal memory usage during last analysis.

getMaxMemory() - Method in class dk.brics.grammar.parser.Parser

Returns maximal memory usage during last parsing.

getMaxStates() - Method in class dk.brics.grammar.parser.Parser

Returns maximal number of parse states during last parsing.

getMayTerminals(String) - Method in class dk.brics.grammar.operations.TerminalFinder

Returns the terminals that appear in some derivations from the given nonterminal.

getMayTerminals(Production) - Method in class dk.brics.grammar.operations.TerminalFinder

Returns the terminals that appear in some derivations from the given production.

getMessage() - Method in exception dk.brics.grammar.parser.ParseException

Returns the detail message string

getMetaGrammar() - Static method in class dk.brics.grammar.parser.MetaGrammar

Returns meta grammar.

getMustTerminals(String) - Method in class dk.brics.grammar.operations.TerminalFinder

Returns the terminals that appear in all derivations from the given nonterminal.

getMustTerminals(Production) - Method in class dk.brics.grammar.operations.TerminalFinder

Returns the terminals that appear in all derivations from the given production.

getName() - Method in class dk.brics.grammar.ambiguity.RegularApproximation

Returns the name "regular".

getName() - Method in class dk.brics.grammar.ambiguity.RegularApproximation2

Returns the name "regular2".

getName() - Method in class dk.brics.grammar.ambiguity.TerminalApproximation

Returns the name "terminal".

getName() - Method in class dk.brics.grammar.ast.BranchNode

Returns the node name.

getNonterminal() - Method in class dk.brics.grammar.NonterminalEntity

Returns the name of this nonterminal entity.

getNonterminal() - Method in class dk.brics.grammar.Production

Returns the left-hand-side nonterminal.

getNonterminalFollows() - Method in class dk.brics.grammar.operations.SelectFollowsFinder

Returns map from nonterminal names to charsets representing FOLLOWS information.

getNonterminalMap() - Method in class dk.brics.grammar.operations.Grammar2JSAGrammar

Returns map from old nonterminals to new nonterminals from the last conversion.

getNonterminals() - Method in class dk.brics.grammar.Grammar

Returns the nonterminals that have productions.

getNonterminalSelect() - Method in class dk.brics.grammar.operations.SelectFollowsFinder

Returns map from nonterminal names to charsets representing SELECT information.

getNullableEntities() - Method in class dk.brics.grammar.operations.NullableFinder

Returns the set of entities that can derive the empty string.

getNullableNonterminals() - Method in class dk.brics.grammar.operations.NullableFinder

Returns the set of nonterminals that can derive the empty string.

getNullableProductions() - Method in class dk.brics.grammar.operations.NullableFinder

Returns the set of productions that can derive the empty string.

getNumberOfCertainHorizontalAmbiguities() - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Returns the number of certain horizontal ambiguities from last analysis.

getNumberOfCertainVerticalAmbiguities() - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Returns the number of certain vertical ambiguities from last analysis.

getNumberOfOutOfMemoryErrors() - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Returns the number ambiguity checks that resulted in OutOfMemoryError.

getNumberOfPotentialHorizontalAmbiguities() - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Returns the number of potential horizontal ambiguities from last analysis.

getNumberOfPotentialVerticalAmbiguities() - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Returns the number of potential vertical ambiguities from last analysis.

getOriginalString() - Method in class dk.brics.grammar.ast.AST

Returns the original string.

getOverlap(Automaton, Automaton) - Static method in class dk.brics.grammar.operations.AutomataOperations

Constructs overlap automaton with expanded alphabet for the two given automata.

getOverlapString(Automaton) - Static method in class dk.brics.grammar.operations.AutomataOperations

Finds a shortest example overlap string.

getPriority() - Method in class dk.brics.grammar.Production

Returns the priority of this production.

getProduction(ProductionID) - Method in class dk.brics.grammar.Grammar

Gets production with the given ID.

getProductionID() - Method in class dk.brics.grammar.ast.BranchNode

Returns the production ID.

getProductions(String) - Method in class dk.brics.grammar.Grammar

Gets productions with the given left-hand-side nonterminal.

getProductions() - Method in class dk.brics.grammar.Grammar

Returns the productions.

getRoot() - Method in class dk.brics.grammar.ast.AST

Returns the root node.

getStart() - Method in class dk.brics.grammar.Grammar

Returns the start nonterminal.

getString() - Method in class dk.brics.grammar.ambiguity.HorizontalOverlapString

Returns the entire string.

getString() - Method in class dk.brics.grammar.ambiguity.VerticalOverlapString

Returns the string.

getString(String) - Method in class dk.brics.grammar.ast.LeafNode

Returns the substring represented by this node.

getString(String) - Method in class dk.brics.grammar.ast.Node

Returns the substring represented by this node.

getString() - Method in class dk.brics.grammar.StringTerminalEntity

Returns the string of this string terminal.

getString(String, String) - Static method in class dk.brics.misc.Loader

Returns the contents of the given resource (file path or URL) as a string.

getStrings(String) - Static method in class dk.brics.misc.Properties

Returns list of strings from the given property using comma as delimiter.

getToIndex() - Method in class dk.brics.grammar.ast.Node

Returns index in original string corresponding to the end (exclusive) of this node.

getTotalStates() - Method in class dk.brics.grammar.parser.Parser

Returns total number of parse states during last parsing.

getX() - Method in class dk.brics.grammar.ambiguity.HorizontalOverlapString

Returns the short left substring.

getXA() - Method in class dk.brics.grammar.ambiguity.HorizontalOverlapString

Returns the long left substring.

getY() - Method in class dk.brics.grammar.ambiguity.HorizontalOverlapString

Returns the short right substring.

Grammar - Class in dk.brics.grammar

Context-free grammar.

Grammar(String, Collection<Production>) - Constructor for class dk.brics.grammar.Grammar

Constructs a new grammar.

Grammar(Grammar) - Constructor for class dk.brics.grammar.Grammar

Constructs a copy of the given grammar.

Grammar2JSAGrammar - Class in dk.brics.grammar.operations

Converter from normalized grammars to JSA grammars.

Grammar2JSAGrammar() - Constructor for class dk.brics.grammar.operations.Grammar2JSAGrammar

Constructs a new converter.

GrammarChecker - Class in dk.brics.grammar.operations

Checks grammars for nonproductive or unreachable nonterminals.

GrammarChecker() - Constructor for class dk.brics.grammar.operations.GrammarChecker

Constructs a new grammar checker.

GrammarException - Exception in dk.brics.grammar

Grammar-related exception.

GrammarException(String) - Constructor for exception dk.brics.grammar.GrammarException

Constructs a new grammar exception.

GrammarTokenizer - Class in dk.brics.grammar.operations

Grammar tokenizer.

GrammarTokenizer() - Constructor for class dk.brics.grammar.operations.GrammarTokenizer

Constructs a new grammar tokenizer.

H

hasExplicitLabel() - Method in class dk.brics.grammar.ProductionID

Checks whether the label is explicit or auto-generated.

hashCode() - Method in class dk.brics.grammar.operations.CharSet

HORIZONTAL_NOT_APPLICABLE - Static variable in class dk.brics.grammar.ambiguity.ApproximationStrategy

Value used by ApproximationStrategy.checkHorizontalOverlap(Production, int) for "not applicable" responses.

horizontalCheck(Production, int) - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Conservatively checks horizontal overlap in a production.

horizontalDone() - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Invoked once per production when all its horizontal checks are done.

horizontalDone() - Method in class dk.brics.grammar.ambiguity.TerminalApproximation

HorizontalOverlapString - Class in dk.brics.grammar.ambiguity

Representation of a string with horisontal overlap.

HorizontalOverlapString(String, int, int) - Constructor for class dk.brics.grammar.ambiguity.HorizontalOverlapString

Constructs a new horizontal overlap example string.

I

ImageViewer - Class in dk.brics.grammar.main

Image viewer.

init(Grammar, PrintWriter, boolean) - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Initializes for the given grammar.

init() - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Initializes for the current grammar.

init() - Method in class dk.brics.grammar.ambiguity.RegularApproximation

init() - Method in class dk.brics.grammar.ambiguity.RegularApproximation2

init() - Method in class dk.brics.grammar.ambiguity.TerminalApproximation

isExplicitlyLabeled() - Method in class dk.brics.grammar.Entity

Checks whether the label is explicit or auto-generated.

isLabeled() - Method in class dk.brics.grammar.Entity

Returns true if this entity is labeled.

isMax() - Method in class dk.brics.grammar.RegexpTerminalEntity

Returns true if this regexp terminal is maximal match.

isUnfolded() - Method in class dk.brics.grammar.Grammar

Returns true if this grammar results from unfolding.

isUnfolded() - Method in class dk.brics.grammar.Production

Checks whether this production results from grammar unfolding.

isUnordered() - Method in class dk.brics.grammar.Production

Returns true if this is a unordered production.

iterator() - Method in class dk.brics.grammar.operations.AutomataCollection

Returns iterator.

L

LeafNode - Class in dk.brics.grammar.ast

Leaf node, representing a substring of the original string.

LeafNode(int, int) - Constructor for class dk.brics.grammar.ast.LeafNode

Constructs a new leaf node.

Loader - Class in dk.brics.misc

String loader.

Location - Class in dk.brics.grammar.parser

Representation of a location in a text.

Location(String, String, int) - Constructor for class dk.brics.grammar.parser.Location

Constructs a new location.

Location(String, int, int, int) - Constructor for class dk.brics.grammar.parser.Location

Constructs a new location.

M

Main - Class in dk.brics.grammar.main

Parser and grammar ambiguity checker.

main(String[]) - Static method in class dk.brics.grammar.main.Main

Parser and grammar ambiguity checker.

main(String[]) - Static method in class dk.brics.grammar.main.MainCommandLine

Runs the command-line interface to the parser and grammar ambiguity checker.

main(String[]) - Static method in class dk.brics.grammar.main.MainGUI

Runs the graphical interface to the parser and grammar ambiguity checker.

MainCommandLine - Class in dk.brics.grammar.main

Command-line interface to the parser and grammar ambiguity checker.

MainGUI - Class in dk.brics.grammar.main

Graphical interface to the parser and grammar ambiguity checker.

MainServlet - Class in dk.brics.grammar.main

Servlet for parsing and grammar ambiguity checking.

MainServlet() - Constructor for class dk.brics.grammar.main.MainServlet

Constructs a new servlet.

makeImmutable() - Method in class dk.brics.grammar.operations.AutomataCollection

Makes this collection immutable.

MetaGrammar - Class in dk.brics.grammar.parser

Grammar for grammars.

N

Node - Class in dk.brics.grammar.ast

Superclass of AST nodes.

Node(int, int) - Constructor for class dk.brics.grammar.ast.Node

Constructs a new node.

NodeVisitor - Interface in dk.brics.grammar.ast

AST node visitor.

NonterminalEntity - Class in dk.brics.grammar

A nonterminal in a production.

NonterminalEntity(String, String, String) - Constructor for class dk.brics.grammar.NonterminalEntity

Constructs a new nonterminal entity.

normalize(Grammar) - Method in class dk.brics.grammar.operations.ProductionLengthNormalizer

Normalizes the given grammar.

normalize(Grammar) - Method in class dk.brics.grammar.operations.RegexpTerminalNormalizer

Normalizes the given grammar.

NullableFinder - Class in dk.brics.grammar.operations

Finds entities, nonterminals, and productions that can derive the empty string.

NullableFinder(Grammar) - Constructor for class dk.brics.grammar.operations.NullableFinder

Finds the nullables for the given grammar.

O

open(String, String) - Static method in class dk.brics.grammar.main.ImageViewer

Opens an image viewer window.

out - Variable in class dk.brics.grammar.ambiguity.ApproximationStrategy

Print stream for messages.

P

parse(String, String) - Method in class dk.brics.grammar.parser.Parser

Parses the given string.

parse(String) - Method in class dk.brics.grammar.parser.Parser

Parses the given string.

parse(String, String, Production) - Method in class dk.brics.grammar.parser.Parser

Parses the given string.

ParseException - Exception in dk.brics.grammar.parser

Parse error exception.

Parser - Class in dk.brics.grammar.parser

Parser.

Parser(Grammar, PrintWriter) - Constructor for class dk.brics.grammar.parser.Parser

Constructs a new parser.

print(String, StringBuilder) - Method in class dk.brics.grammar.ast.BranchNode

print(AST) - Method in class dk.brics.grammar.ast.DotPrinter

Prints the given AST.

print(String, StringBuilder) - Method in class dk.brics.grammar.ast.LeafNode

print(String, StringBuilder) - Method in class dk.brics.grammar.ast.Node

Prints this node.

print(Collection<Entity>) - Method in class dk.brics.grammar.Production

Prints this production.

printStatistics(PrintWriter) - Method in class dk.brics.grammar.ambiguity.AmbiguityAnalyzer

Prints statistics for the approximation strategies from the last analysis.

printStatistics(PrintWriter) - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Prints statistics from the last analysis.

Production - Class in dk.brics.grammar

A grammar production.

Production(String, List<Entity>, boolean, ProductionID, int) - Constructor for class dk.brics.grammar.Production

Constructs a new grammar production.

ProductionID - Class in dk.brics.grammar

Production ID object.

ProductionID() - Constructor for class dk.brics.grammar.ProductionID

Constructs a new production ID object with null label.

ProductionID(String) - Constructor for class dk.brics.grammar.ProductionID

Constructs a new production ID object with the given label.

ProductionLengthNormalizer - Class in dk.brics.grammar.operations

Normalizes grammars to have at most two entities in each production.

ProductionLengthNormalizer(PrintWriter) - Constructor for class dk.brics.grammar.operations.ProductionLengthNormalizer

Constructs a new normalizer.

Properties - Class in dk.brics.misc

System properties.

R

RegexpTerminalEntity - Class in dk.brics.grammar

A regexp terminal.

RegexpTerminalEntity(Automaton, boolean, String, String, String) - Constructor for class dk.brics.grammar.RegexpTerminalEntity

Constructs a new regexp terminal.

RegexpTerminalNormalizer - Class in dk.brics.grammar.operations

Normalizes grammars to have only one-transition-interval regexp terminal entities.

RegexpTerminalNormalizer() - Constructor for class dk.brics.grammar.operations.RegexpTerminalNormalizer

Constructs a new normalizer.

RegularApproximation - Class in dk.brics.grammar.ambiguity

Regular approximation based on Mohri & Nederhof's technique.

RegularApproximation() - Constructor for class dk.brics.grammar.ambiguity.RegularApproximation

Constructs a new approximator.

RegularApproximation2 - Class in dk.brics.grammar.ambiguity

Variation of RegularApproximation that adds extra approximation on unfolded grammars.

RegularApproximation2() - Constructor for class dk.brics.grammar.ambiguity.RegularApproximation2

Constructs a new approximator.

replaceChild(String, BranchNode) - Method in class dk.brics.grammar.ast.BranchNode

Replaces an child with the children of another node.

resolveRelative(String, String) - Static method in class dk.brics.misc.Loader

Resolves relative paths/URLs.

retainAll(AutomataCollection) - Method in class dk.brics.grammar.operations.AutomataCollection

Retains only the automata in this collection that are contained in the specified collection.

run(String, String, String, String, boolean, int, String, String, boolean, boolean, boolean, boolean, PrintWriter) - Static method in class dk.brics.grammar.main.Main

Front-end for parser and grammar ambiguity checker.

S

SelectFollowsFinder - Class in dk.brics.grammar.operations

Contains method for finding SELECT and FOLLOWS sets.

SelectFollowsFinder(Grammar) - Constructor for class dk.brics.grammar.operations.SelectFollowsFinder

Computes sets for the given grammar.

setEntities(List<Entity>) - Method in class dk.brics.grammar.Production

Sets the entities.

setLabel(String) - Method in class dk.brics.grammar.Entity

Sets the label.

setLabel(String) - Method in class dk.brics.grammar.ProductionID

Sets the label.

setLocation(Location) - Method in exception dk.brics.grammar.parser.ParseException

Sets the location.

setStart(String) - Method in class dk.brics.grammar.Grammar

Sets the start nonterminal.

setString(String) - Method in class dk.brics.grammar.ast.LeafNode

Sets the string.

setUnfolded(boolean) - Method in class dk.brics.grammar.Grammar

Sets the unfolded status of this grammar (default: false).

setUnfolded() - Method in class dk.brics.grammar.Production

Marks this production as one that results from grammr unfolding.

String2Grammar - Class in dk.brics.grammar.parser

Converter from grammar files to Grammars.

String2Grammar() - Constructor for class dk.brics.grammar.parser.String2Grammar

Constructs a new converter.

StringTerminalEntity - Class in dk.brics.grammar

A string terminal.

StringTerminalEntity(String) - Constructor for class dk.brics.grammar.StringTerminalEntity

Constructs a new string terminal.

T

TerminalApproximation - Class in dk.brics.grammar.ambiguity

Terminal approximation, using terminals, nullables, and FIRST/LAST sets.

TerminalApproximation() - Constructor for class dk.brics.grammar.ambiguity.TerminalApproximation

Constructs a new approximator.

TerminalEntity - Class in dk.brics.grammar

A terminal in a production.

TerminalEntity(String, String) - Constructor for class dk.brics.grammar.TerminalEntity

Constructs a new terminal entity.

TerminalFinder - Class in dk.brics.grammar.operations

Finds terminals that may/must occur in derivable strings.

TerminalFinder(Grammar) - Constructor for class dk.brics.grammar.operations.TerminalFinder

Finds the may/must terminals for the given grammar.

tokenize(Grammar) - Method in class dk.brics.grammar.operations.GrammarTokenizer

Tokenizes the given grammar.

toString() - Method in class dk.brics.grammar.ast.AST

Returns string representation of this AST.

toString() - Method in class dk.brics.grammar.EOFTerminalEntity

Returns string representation of this entity.

toString() - Method in class dk.brics.grammar.Grammar

Returns string representation of the productions in this grammar.

toString() - Method in class dk.brics.grammar.NonterminalEntity

Returns string representation of this entity.

toString() - Method in class dk.brics.grammar.operations.AutomataCollection

Returns a string describing this automata collection.

toString() - Method in class dk.brics.grammar.operations.CharSet

toString() - Method in class dk.brics.grammar.RegexpTerminalEntity

Returns string representation of this entity.

toString() - Method in class dk.brics.grammar.StringTerminalEntity

Returns string representation of this entity.

traverse(NodeVisitor) - Method in class dk.brics.grammar.ast.AST

Traverses this AST bottom-up and applies the visitor to all nodes.

U

unfold(Grammar, int, String, String) - Method in class dk.brics.grammar.operations.Unfolder

Unfolds the given grammar.

Unfolder - Class in dk.brics.grammar.operations

Grammar unfolder.

Unfolder(PrintWriter) - Constructor for class dk.brics.grammar.operations.Unfolder

Constructs a new unfolder.

unparse(AST) - Method in class dk.brics.grammar.operations.Unparser

Unparses the given AST.

unparse(AST, PrintWriter) - Method in class dk.brics.grammar.operations.Unparser

Unparses the given AST.

unparse(Node, String) - Method in class dk.brics.grammar.operations.Unparser

Unparses the given node representing a sub-AST.

unparse(Node, PrintWriter, String) - Method in class dk.brics.grammar.operations.Unparser

Unparses the given node representing a sub-AST.

Unparser - Class in dk.brics.grammar.operations

AST unparser.

Unparser(Grammar) - Constructor for class dk.brics.grammar.operations.Unparser

Constructs a new AST unparser.

V

VERTICAL_NOT_APPLICABLE - Static variable in class dk.brics.grammar.ambiguity.ApproximationStrategy

Value used by ApproximationStrategy.checkVerticalOverlap(Production, Production) for "not applicable" responses.

verticalCheck(Production, Production) - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Conservatively checks vertical overlap of two productions of the same nonterminal.

verticalDone() - Method in class dk.brics.grammar.ambiguity.ApproximationStrategy

Invoked once per nonterminal when all its vertical checks are done (in the outer loop).

verticalDone() - Method in class dk.brics.grammar.ambiguity.RegularApproximation

verticalDone() - Method in class dk.brics.grammar.ambiguity.TerminalApproximation

VerticalOverlapString - Class in dk.brics.grammar.ambiguity

Representation of a string with vertical overlap.

VerticalOverlapString(String) - Constructor for class dk.brics.grammar.ambiguity.VerticalOverlapString

Constructs a new vertical overlap example string.

visitBranchNode(BranchNode) - Method in interface dk.brics.grammar.ast.NodeVisitor

Method to be invoked by AST.traverse(dk.brics.grammar.ast.NodeVisitor) and Node.visitBy(NodeVisitor) on BranchNodes.

visitBy(NodeVisitor) - Method in class dk.brics.grammar.ast.BranchNode

visitBy(NodeVisitor) - Method in class dk.brics.grammar.ast.LeafNode

visitBy(NodeVisitor) - Method in class dk.brics.grammar.ast.Node

Visits this node.

visitBy(EntityVisitor<T>) - Method in class dk.brics.grammar.Entity

Visits this entity with the given visitor.

visitBy(EntityVisitor<T>) - Method in class dk.brics.grammar.EOFTerminalEntity

visitBy(EntityVisitor<T>) - Method in class dk.brics.grammar.NonterminalEntity

visitBy(EntityVisitor<T>) - Method in class dk.brics.grammar.RegexpTerminalEntity

visitBy(EntityVisitor<T>) - Method in class dk.brics.grammar.StringTerminalEntity

visitEOFTerminal(EOFTerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Empty visitor for EOFTerminalEntity.

visitEOFTerminalEntity(EOFTerminalEntity) - Method in interface dk.brics.grammar.EntityVisitor

Method to be invoked by Entity.visitBy(EntityVisitor) on a EOFTerminalEntity.

visitEOFTerminalEntity(EOFTerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Invokes VoidEntityVisitor.visitTerminal(TerminalEntity) and VoidEntityVisitor.visitEOFTerminal(EOFTerminalEntity) and returns null.

visitLeafNode(LeafNode) - Method in interface dk.brics.grammar.ast.NodeVisitor

Method to be invoked by AST.traverse(dk.brics.grammar.ast.NodeVisitor) and Node.visitBy(NodeVisitor) on LeafNodes.

visitNonterminal(NonterminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Empty visitor for NonterminalEntity.

visitNonterminalEntity(NonterminalEntity) - Method in interface dk.brics.grammar.EntityVisitor

Method to be invoked by Entity.visitBy(EntityVisitor) on a NonterminalEntity.

visitNonterminalEntity(NonterminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Invokes VoidEntityVisitor.visitNonterminal(NonterminalEntity) and returns null.

visitRegexpTerminal(RegexpTerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Empty visitor for RegexpTerminalEntity.

visitRegexpTerminalEntity(RegexpTerminalEntity) - Method in interface dk.brics.grammar.EntityVisitor

Method to be invoked by Entity.visitBy(EntityVisitor) on a RegexpTerminalEntity.

visitRegexpTerminalEntity(RegexpTerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Invokes VoidEntityVisitor.visitTerminal(TerminalEntity) and VoidEntityVisitor.visitRegexpTerminal(RegexpTerminalEntity) and returns null.

visitStringTerminal(StringTerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Empty visitor for StringTerminalEntity.

visitStringTerminalEntity(StringTerminalEntity) - Method in interface dk.brics.grammar.EntityVisitor

Method to be invoked by Entity.visitBy(EntityVisitor) on a StringTerminalEntity.

visitStringTerminalEntity(StringTerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Invokes VoidEntityVisitor.visitTerminal(TerminalEntity) and VoidEntityVisitor.visitStringTerminal(StringTerminalEntity) and returns null.

visitTerminal(TerminalEntity) - Method in class dk.brics.grammar.VoidEntityVisitor

Empty visitor for TerminalEntity.

VoidEntityVisitor - Class in dk.brics.grammar

Basic entity visitor.

VoidEntityVisitor() - Constructor for class dk.brics.grammar.VoidEntityVisitor

A B C D E F G H I L M N O P R S T U V