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