public class PreParser
extends java.lang.Object
| Constructor and Description |
|---|
PreParser(java.io.PushbackReader pushbackReader,
IFileContentProvider contentProvider,
java.util.List<java.lang.String> doneDefFiles,
java.lang.String modelFileName,
java.io.File directory,
ParseOptions parseOptions,
IDefinitions definitions) |
| Modifier and Type | Method and Description |
|---|---|
IDefinitions |
getDefFileDefinitions() |
DefinitionTypes |
getDefinitionTypes() |
void |
parse() |
void |
setDebugOutput(boolean debugOutput) |
public PreParser(java.io.PushbackReader pushbackReader,
IFileContentProvider contentProvider,
java.util.List<java.lang.String> doneDefFiles,
java.lang.String modelFileName,
java.io.File directory,
ParseOptions parseOptions,
IDefinitions definitions)
public void setDebugOutput(boolean debugOutput)
public void parse()
throws PreParseException,
java.io.IOException,
BException,
BCompoundException
PreParseExceptionjava.io.IOExceptionBExceptionBCompoundExceptionpublic IDefinitions getDefFileDefinitions()
public DefinitionTypes getDefinitionTypes()