org.processmining.datapetrinets.dsl

Class DPNParser

java.lang.Object

org.processmining.datapetrinets.dsl.DPNParser

All Implemented Interfaces:

DPNParserConstants, DPNParserTreeConstants

public class DPNParser
extends java.lang.Object
implements DPNParserTreeConstants, DPNParserConstants

Field Summary

Fields

Modifier and Type	Field and Description
Token	jj_nt Next token.
protected JJTDPNParserState	jjtree
Token	token Current token.
DPNParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface org.processmining.datapetrinets.dsl.DPNParserTreeConstants

JJTBIEDGE, JJTEDGE, JJTFINAL, JJTGUARD, JJTINITIAL, JJTINVISIBLE, jjtNodeName, JJTPLACE, JJTPLACEFLOW, JJTROOT, JJTTRANSITION, JJTTRANSITIONFLOW, JJTVARIABLE, JJTVARIABLES, JJTVOID, JJTWRITE

Fields inherited from interface org.processmining.datapetrinets.dsl.DPNParserConstants

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 Summary

Constructors

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)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

jjtree

protected JJTDPNParserState jjtree

token_source

public DPNParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

DPNParser

public DPNParser(java.lang.String s)

DPNParser

public DPNParser(java.io.InputStream stream)

Constructor with InputStream.

DPNParser

public DPNParser(java.io.InputStream stream,
                 java.lang.String encoding)

Constructor with InputStream and supplied encoding

DPNParser

public DPNParser(java.io.Reader stream)

Constructor.

DPNParser

public DPNParser(DPNParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parse

public final DPNRoot parse()
                    throws ParseException

Throws:

ParseException

variables

public final void variables()
                     throws ParseException

Throws:

ParseException

variable

public final void variable()
                    throws ParseException

Throws:

ParseException

type

public final Token type()
                 throws ParseException

Throws:

ParseException

places

public final void places()
                  throws ParseException

Throws:

ParseException

transitions

public final void transitions()
                       throws ParseException

Throws:

ParseException

guards

public final void guards()
                  throws ParseException

Throws:

ParseException

writes

public final void writes()
                  throws ParseException

Throws:

ParseException

initialMarkings

public final void initialMarkings()
                           throws ParseException

Throws:

ParseException

finalMarkings

public final void finalMarkings()
                         throws ParseException

Throws:

ParseException

invisibles

public final void invisibles()
                      throws ParseException

Throws:

ParseException

edge

public final void edge()
                throws ParseException

Throws:

ParseException

transition

public final void transition()
                      throws ParseException

Throws:

ParseException

place

public final void place()
                 throws ParseException

Throws:

ParseException

guard

public final void guard()
                 throws ParseException

Throws:

ParseException

write

public final void write()
                 throws ParseException

Throws:

ParseException

initialMarking

public final void initialMarking()
                          throws ParseException

Throws:

ParseException

finalMarking

public final void finalMarking()
                        throws ParseException

Throws:

ParseException

invisible

public final void invisible()
                     throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

Reinitialise.

ReInit

public void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(DPNParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.