public class SgfParser extends java.lang.Object implements SgfParserConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
Token |
token
Current token.
|
SgfParserTokenManager |
token_source
Generated Token Manager.
|
DEFAULT, EOF, IDENT, IN_BLOCK_CMT, KW_COPY, KW_EDGE, KW_FROM, KW_GRAPH, KW_GTS, KW_IFGRAPH, KW_INITIAL, KW_LEFT, KW_MORPHISM, KW_NACS, KW_NODE, KW_NOT, KW_RIGHT, KW_RULE, KW_RULES, KW_SYSTEM, KW_TO, KW_TRACE, KW_TRANS, LINE_CMT, OP_BINEDGE_LEFT, OP_BINEDGE_RIGHT, OP_BINEDGE_START, OP_BRACE_CLOSE, OP_BRACE_OPEN, OP_BRACKET_CLOSE, OP_BRACKET_OPEN, OP_COLON, OP_COMMA, OP_IS, OP_MAPSFROM, OP_MAPSTO, OP_PAR_CLOSE, OP_PAR_OPEN, OP_SEMICOLON, STRING, tokenImage
Constructor and Description |
---|
SgfParser(java.io.InputStream stream)
Constructor with InputStream.
|
SgfParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
SgfParser(java.io.Reader stream)
Constructor.
|
SgfParser(SgfParserTokenManager tm)
Constructor with generated Token Manager.
|
Modifier and Type | Method and Description |
---|---|
void |
disable_tracing()
Disable tracing.
|
void |
enable_tracing()
Enable tracing.
|
ParseException |
generateParseException()
Generate ParseException.
|
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
static Graph |
parseGraph(java.io.Reader in)
Parses a graph definition from an input stream.
|
static java.util.Map<java.lang.String,java.lang.Object> |
parseSgfFile(java.io.Reader in)
Parses a collection of named objects from an input stream.
|
void |
ReInit(java.io.InputStream stream)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
Reinitialise.
|
void |
ReInit(java.io.Reader stream)
Reinitialise.
|
void |
ReInit(SgfParserTokenManager tm)
Reinitialise.
|
public SgfParserTokenManager token_source
public Token token
public Token jj_nt
public SgfParser(java.io.InputStream stream)
public SgfParser(java.io.InputStream stream, java.lang.String encoding)
public SgfParser(java.io.Reader stream)
public SgfParser(SgfParserTokenManager tm)
public static Graph parseGraph(java.io.Reader in) throws java.io.IOException
java.io.IOException
public static java.util.Map<java.lang.String,java.lang.Object> parseSgfFile(java.io.Reader in) throws java.io.IOException
java.io.IOException
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream, java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(SgfParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()