visidia.io.gml.parser
Class GMLParser
java.lang.Object
visidia.io.gml.parser.GMLParser
public class GMLParser
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
token_source
public GMLParserTokenManager token_source
token
public Token token
jj_nt
public Token jj_nt
GMLParser
public GMLParser(java.io.InputStream stream)
GMLParser
public GMLParser(java.io.Reader stream)
GMLParser
public GMLParser(GMLParserTokenManager tm)
Input
public final visidia.gui.graphview.GraphView Input()
throws ParseException
- Throws:
ParseException
GML
public final visidia.gui.graphview.GraphView GML()
throws ParseException
- Throws:
ParseException
List
public final GMLList List()
throws ParseException
- Throws:
ParseException
Pair
public final void Pair(GMLList list)
throws ParseException
- Throws:
ParseException
Value
public final java.lang.Object Value()
throws ParseException
- Throws:
ParseException
IntegerValue
public final java.lang.Integer IntegerValue()
throws ParseException
- Throws:
ParseException
DoubleValue
public final java.lang.Double DoubleValue()
throws ParseException
- Throws:
ParseException
StringValue
public final java.lang.String StringValue()
throws ParseException
- Throws:
ParseException
ReInit
public void ReInit(java.io.InputStream stream)
ReInit
public void ReInit(java.io.Reader stream)
ReInit
public void ReInit(GMLParserTokenManager tm)
getNextToken
public final Token getNextToken()
getToken
public final Token getToken(int index)
generateParseException
public final ParseException generateParseException()
enable_tracing
public final void enable_tracing()
disable_tracing
public final void disable_tracing()