public class TpnParser extends java.lang.Object implements TpnParserConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt |
Token |
token |
TpnParserTokenManager |
token_source |
DEFAULT, EOF, EXPONENT, NAME, NUMBER, tokenImage
Constructor and Description |
---|
TpnParser(java.io.InputStream stream) |
TpnParser(java.io.Reader stream) |
TpnParser(TpnParserTokenManager tm) |
Modifier and Type | Method and 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) |
public TpnParserTokenManager token_source
public Token token
public Token jj_nt
public TpnParser(java.io.InputStream stream)
public TpnParser(java.io.Reader stream)
public TpnParser(TpnParserTokenManager tm)
public Marking getState()
public final void start(Petrinet net) throws ParseException
ParseException
public final void Place(Petrinet net) throws ParseException
ParseException
public final void Trans(Petrinet net) throws ParseException
ParseException
public final java.util.List<java.lang.String> Arcs() throws ParseException
ParseException
public final java.lang.String Arc() throws ParseException
ParseException
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.Reader stream)
public void ReInit(TpnParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()