Package antlr.preprocessor

Class GrammarFile

java.lang.Object

antlr.preprocessor.GrammarFile

public class GrammarFile
extends java.lang.Object

Stores header action, grammar preamble, file options, and list of grammars in the file

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	expanded
protected java.lang.String	fileName
protected IndexedVector	grammars
protected java.lang.String	headerAction
protected IndexedVector	options
protected Tool	tool

Constructor Summary

Constructors

Constructor	Description
GrammarFile(Tool tool, java.lang.String f)

Method Summary

Modifier and Type	Method	Description
void	addGrammar(Grammar g)
void	addHeaderAction(java.lang.String a)
void	generateExpandedFile()
IndexedVector	getGrammars()
java.lang.String	getName()
java.lang.String	nameForExpandedGrammarFile(java.lang.String f)
void	setExpanded(boolean exp)
void	setOptions(IndexedVector o)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

fileName

protected java.lang.String fileName

headerAction

protected java.lang.String headerAction

options

protected IndexedVector options

grammars

protected IndexedVector grammars

expanded

protected boolean expanded

tool

protected Tool tool

Constructor Detail

GrammarFile

public GrammarFile(Tool tool,
                   java.lang.String f)

Method Detail

addGrammar

public void addGrammar(Grammar g)

generateExpandedFile

public void generateExpandedFile()
                          throws java.io.IOException

Throws:

java.io.IOException

getGrammars

public IndexedVector getGrammars()

getName

public java.lang.String getName()

nameForExpandedGrammarFile

public java.lang.String nameForExpandedGrammarFile(java.lang.String f)

setExpanded

public void setExpanded(boolean exp)

addHeaderAction

public void addHeaderAction(java.lang.String a)

setOptions

public void setOptions(IndexedVector o)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object