Modifier and Type | Class and Description |
---|---|
(package private) static class |
DGSParser.Token |
Modifier and Type | Field and Description |
---|---|
static int |
ARRAY_CLOSE |
static int |
ARRAY_OPEN |
(package private) char[] |
buffer |
protected static int |
BUFFER_SIZE |
(package private) int |
bufferCapacity |
(package private) int |
bufferPosition |
(package private) int |
column |
(package private) FileSourceDGS |
dgs |
(package private) DGSParser.Token |
lastDirective |
(package private) int |
line |
static int |
MAP_CLOSE |
static int |
MAP_OPEN |
(package private) int[] |
pushback |
(package private) int |
pushbackOffset |
(package private) java.io.Reader |
reader |
(package private) java.lang.String |
sourceId |
Constructor and Description |
---|
DGSParser(FileSourceDGS dgs,
java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
void |
all()
Parse the whole stream.
|
protected java.lang.Object |
array() |
protected void |
attribute(SourceBase.ElementType type,
java.lang.String elementId) |
protected void |
attributes(SourceBase.ElementType type,
java.lang.String id) |
void |
close()
Close the stream.
|
protected java.awt.Color |
color() |
protected DGSParser.Token |
directive() |
protected void |
header() |
protected java.lang.String |
id() |
protected java.lang.Object |
map() |
boolean |
next() |
protected int |
nextChar() |
boolean |
nextStep() |
void |
open()
Start parsing the stream.
|
protected ParseException |
parseException(java.lang.String message,
java.lang.Object... args) |
protected void |
pushback(int c) |
protected void |
skipLine() |
protected void |
skipWhitespaces() |
protected java.lang.String |
string() |
protected java.lang.Object |
value(boolean array) |
protected static final int BUFFER_SIZE
public static final int ARRAY_OPEN
public static final int ARRAY_CLOSE
public static final int MAP_OPEN
public static final int MAP_CLOSE
java.io.Reader reader
int line
int column
int bufferCapacity
int bufferPosition
char[] buffer
int[] pushback
int pushbackOffset
FileSourceDGS dgs
java.lang.String sourceId
DGSParser.Token lastDirective
public DGSParser(FileSourceDGS dgs, java.io.Reader reader)
public void close() throws java.io.IOException
Parser
public void open() throws java.io.IOException, ParseException
Parser
open
in interface Parser
ParseException
java.io.IOException
public void all() throws java.io.IOException, ParseException
Parser
all
in interface Parser
ParseException
java.io.IOException
protected int nextChar() throws java.io.IOException
java.io.IOException
protected void pushback(int c) throws java.io.IOException
java.io.IOException
protected void skipLine() throws java.io.IOException
java.io.IOException
protected void skipWhitespaces() throws java.io.IOException
java.io.IOException
protected void header() throws java.io.IOException, ParseException
java.io.IOException
ParseException
public boolean next() throws java.io.IOException, ParseException
next
in interface Parser
ParseException
java.io.IOException
public boolean nextStep() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected void attributes(SourceBase.ElementType type, java.lang.String id) throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected void attribute(SourceBase.ElementType type, java.lang.String elementId) throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected java.lang.Object value(boolean array) throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected java.awt.Color color() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected java.lang.Object array() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected java.lang.Object map() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected DGSParser.Token directive() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected java.lang.String string() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected java.lang.String id() throws java.io.IOException, ParseException
java.io.IOException
ParseException
protected ParseException parseException(java.lang.String message, java.lang.Object... args)