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
PreParseException
java.io.IOException
BException
BCompoundException
public IDefinitions getDefFileDefinitions()
public DefinitionTypes getDefinitionTypes()