org.processmining.importing.tpn
Class TpnParser

java.lang.Object
  extended by org.processmining.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.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.ArrayList Arcs()
           
 void disable_tracing()
           
 void enable_tracing()
           
 ParseException generateParseException()
           
 Token getNextToken()
           
 Token getToken(int index)
           
 void Place(PetriNet net)
           
 void ReInit(java.io.InputStream stream)
           
 void ReInit(java.io.Reader stream)
           
 void ReInit(TpnParserTokenManager tm)
           
 PetriNet Start()
           
 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

Start

public final PetriNet Start()
                     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.ArrayList 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()