public class GrammarFile
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
expanded |
protected java.lang.String |
fileName |
protected IndexedVector |
grammars |
protected java.lang.String |
headerAction |
protected IndexedVector |
options |
protected Tool |
tool |
Constructor and Description |
---|
GrammarFile(Tool tool,
java.lang.String f) |
Modifier and Type | Method and 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() |
protected java.lang.String fileName
protected java.lang.String headerAction
protected IndexedVector options
protected IndexedVector grammars
protected boolean expanded
protected Tool tool
public GrammarFile(Tool tool, java.lang.String f)
public void addGrammar(Grammar g)
public void generateExpandedFile() throws java.io.IOException
java.io.IOException
public IndexedVector getGrammars()
public java.lang.String getName()
public java.lang.String nameForExpandedGrammarFile(java.lang.String f)
public void setExpanded(boolean exp)
public void addHeaderAction(java.lang.String a)
public void setOptions(IndexedVector o)
public java.lang.String toString()
toString
in class java.lang.Object