Package org.processmining.plugins.petrinet.importing.tpn

Class TpnParser

java.lang.Object

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

All Implemented Interfaces:

TpnParserConstants

public class TpnParser
extends java.lang.Object
implements TpnParserConstants

Field Summary

Fields

Modifier and Type	Field	Description
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

Constructors

Constructor	Description
TpnParser(java.io.InputStream stream)
TpnParser(java.io.Reader stream)
TpnParser(TpnParserTokenManager tm)

Method Summary

Modifier and Type	Method	Description
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()