visidia.io.gml.parser
Class GMLParser

java.lang.Object
  extended by visidia.io.gml.parser.GMLParser

public class GMLParser
extends java.lang.Object


Field Summary
 Token jj_nt
           
 Token token
           
 GMLParserTokenManager token_source
           
 
Constructor Summary
GMLParser(GMLParserTokenManager tm)
           
GMLParser(java.io.InputStream stream)
           
GMLParser(java.io.Reader stream)
           
 
Method Summary
 void disable_tracing()
           
 java.lang.Double DoubleValue()
           
 void enable_tracing()
           
 ParseException generateParseException()
           
 Token getNextToken()
           
 Token getToken(int index)
           
 visidia.gui.graphview.GraphView GML()
           
 visidia.gui.graphview.GraphView Input()
           
 java.lang.Integer IntegerValue()
           
 GMLList List()
           
 void Pair(GMLList list)
           
 void ReInit(GMLParserTokenManager tm)
           
 void ReInit(java.io.InputStream stream)
           
 void ReInit(java.io.Reader stream)
           
 java.lang.String StringValue()
           
 java.lang.Object Value()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

token_source

public GMLParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt
Constructor Detail

GMLParser

public GMLParser(java.io.InputStream stream)

GMLParser

public GMLParser(java.io.Reader stream)

GMLParser

public GMLParser(GMLParserTokenManager tm)
Method Detail

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()