org.processmining.plugins.petrinet.importing.tpn
Class TpnParser

java.lang.Object
  extended by org.processmining.plugins.petrinet.importing.tpn.TpnParser
All Implemented Interfaces:
TpnParserConstants

public class TpnParser
extends java.lang.Object
implements TpnParserConstants


Field Summary
 Token jj_nt
           
 Token token
           
 TpnParserTokenManager token_source
           
 
Fields inherited from interface org.processmining.plugins.petrinet.importing.tpn.TpnParserConstants
DEFAULT, EOF, EXPONENT, NAME, NUMBER, tokenImage
 
Constructor Summary
TpnParser(java.io.InputStream stream)
           
TpnParser(java.io.Reader stream)
           
TpnParser(TpnParserTokenManager tm)
           
 
Method Summary
 java.lang.String Arc()
           
 java.util.List<java.lang.String> Arcs()
           
 void disable_tracing()
           
 void enable_tracing()
           
 ParseException generateParseException()
           
 Token getNextToken()
           
 Marking getState()
           
 Token getToken(int index)
           
 void Place(Petrinet net)
           
 void ReInit(java.io.InputStream stream)
           
 void ReInit(java.io.Reader stream)
           
 void ReInit(TpnParserTokenManager tm)
           
 void start(Petrinet net)
           
 void Trans(Petrinet net)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

token_source

public TpnParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt
Constructor Detail

TpnParser

public TpnParser(java.io.InputStream stream)

TpnParser

public TpnParser(java.io.Reader stream)

TpnParser

public TpnParser(TpnParserTokenManager tm)
Method Detail

getState

public Marking getState()

start

public final void start(Petrinet net)
                 throws ParseException
Throws:
ParseException

Place

public final void Place(Petrinet net)
                 throws ParseException
Throws:
ParseException

Trans

public final void Trans(Petrinet net)
                 throws ParseException
Throws:
ParseException

Arcs

public final java.util.List<java.lang.String> Arcs()
                                            throws ParseException
Throws:
ParseException

Arc

public final java.lang.String Arc()
                           throws ParseException
Throws:
ParseException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(TpnParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()