antlr.preprocessor
Class GrammarFile

java.lang.Object
  |
  +--antlr.preprocessor.GrammarFile

public class GrammarFile
extends Object

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


Field Summary
protected  boolean expanded
           
protected  String fileName
           
protected  IndexedVector grammars
           
protected  String headerAction
           
protected  IndexedVector options
           
protected  Tool tool
           
 
Constructor Summary
GrammarFile(Tool tool, String f)
           
 
Method Summary
 void addGrammar(antlr.preprocessor.Grammar g)
           
 void addHeaderAction(String a)
           
 void generateExpandedFile()
           
 IndexedVector getGrammars()
           
 String getName()
           
 String nameForExpandedGrammarFile(String f)
           
 void setExpanded(boolean exp)
           
 void setOptions(IndexedVector o)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

fileName

protected String fileName

headerAction

protected 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,
                   String f)
Method Detail

addGrammar

public void addGrammar(antlr.preprocessor.Grammar g)

generateExpandedFile

public void generateExpandedFile()
                          throws IOException
IOException

getGrammars

public IndexedVector getGrammars()

getName

public String getName()

nameForExpandedGrammarFile

public String nameForExpandedGrammarFile(String f)

setExpanded

public void setExpanded(boolean exp)

addHeaderAction

public void addHeaderAction(String a)

setOptions

public void setOptions(IndexedVector o)

toString

public String toString()
Overrides:
toString in class Object


Copyright 1999-2003 Oliver Zeigermann. All Rights Reserved.