public class DPNParser extends java.lang.Object implements DPNParserTreeConstants, DPNParserConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
protected JJTDPNParserState |
jjtree |
Token |
token
Current token.
|
DPNParserTokenManager |
token_source
Generated Token Manager.
|
JJTBIEDGE, JJTEDGE, JJTFINAL, JJTGUARD, JJTINITIAL, JJTINVISIBLE, jjtNodeName, JJTPLACE, JJTPLACEFLOW, JJTROOT, JJTTRANSITION, JJTTRANSITIONFLOW, JJTVARIABLE, JJTVARIABLES, JJTVOID, JJTWRITE
BIEDGE, BOOLEAN, COMMA, CONTINUOUS, DATE, DEFAULT, DISCRETE, EDGE, EOF, EXPRESSION, FINAL_HEADER, GUARDS, GUARDS_HEADER, HASH, ID, INITIAL_HEADER, INVISIBLE_HEADER, LABEL, LBRACK, LITERAL, LPAREN, MARKINGS, NAME_HEADER, NORMAL_LABEL, PLACES_HEADER, QUOTED_LABEL, RBRACK, RPAREN, tokenImage, TOKENS, TRANSITIONS_HEADER, UNKNOWN, VARIABLES, VARIABLES_HEADER, WRITEOPS, WRITES, WRITES_HEADER
Constructor and Description |
---|
DPNParser(DPNParserTokenManager tm)
Constructor with generated Token Manager.
|
DPNParser(java.io.InputStream stream)
Constructor with InputStream.
|
DPNParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
DPNParser(java.io.Reader stream)
Constructor.
|
DPNParser(java.lang.String s) |
Modifier and Type | Method and Description |
---|---|
void |
disable_tracing()
Disable tracing.
|
void |
edge() |
void |
enable_tracing()
Enable tracing.
|
void |
finalMarking() |
void |
finalMarkings() |
ParseException |
generateParseException()
Generate ParseException.
|
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
void |
guard() |
void |
guards() |
void |
initialMarking() |
void |
initialMarkings() |
void |
invisible() |
void |
invisibles() |
DPNRoot |
parse() |
void |
place() |
void |
places() |
void |
ReInit(DPNParserTokenManager tm)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
Reinitialise.
|
void |
ReInit(java.io.Reader stream)
Reinitialise.
|
void |
transition() |
void |
transitions() |
Token |
type() |
void |
variable() |
void |
variables() |
void |
write() |
void |
writes() |
protected JJTDPNParserState jjtree
public DPNParserTokenManager token_source
public Token token
public Token jj_nt
public DPNParser(java.lang.String s)
public DPNParser(java.io.InputStream stream)
public DPNParser(java.io.InputStream stream, java.lang.String encoding)
public DPNParser(java.io.Reader stream)
public DPNParser(DPNParserTokenManager tm)
public final DPNRoot parse() throws ParseException
ParseException
public final void variables() throws ParseException
ParseException
public final void variable() throws ParseException
ParseException
public final Token type() throws ParseException
ParseException
public final void places() throws ParseException
ParseException
public final void transitions() throws ParseException
ParseException
public final void guards() throws ParseException
ParseException
public final void writes() throws ParseException
ParseException
public final void initialMarkings() throws ParseException
ParseException
public final void finalMarkings() throws ParseException
ParseException
public final void invisibles() throws ParseException
ParseException
public final void edge() throws ParseException
ParseException
public final void transition() throws ParseException
ParseException
public final void place() throws ParseException
ParseException
public final void guard() throws ParseException
ParseException
public final void write() throws ParseException
ParseException
public final void initialMarking() throws ParseException
ParseException
public final void finalMarking() throws ParseException
ParseException
public final void invisible() throws ParseException
ParseException
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream, java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(DPNParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()