Uses of Class
org.processmining.datapetrinets.dsl.DPNParserTokenManager

Packages that use DPNParserTokenManager

Package	Description
org.processmining.datapetrinets.dsl

Uses of DPNParserTokenManager in org.processmining.datapetrinets.dsl

Fields in org.processmining.datapetrinets.dsl declared as DPNParserTokenManager

Modifier and Type	Field and Description
DPNParserTokenManager	DPNParser.token_source Generated Token Manager.

Methods in org.processmining.datapetrinets.dsl with parameters of type DPNParserTokenManager

Modifier and Type	Method and Description
void	DPNParser.ReInit(DPNParserTokenManager tm) Reinitialise.

Constructors in org.processmining.datapetrinets.dsl with parameters of type DPNParserTokenManager

Constructor and Description
DPNParser(DPNParserTokenManager tm) Constructor with generated Token Manager.