Package | Description |
---|---|
org.processmining.datapetrinets.dsl |
Modifier and Type | Field and Description |
---|---|
DPNParserTokenManager |
DPNParser.token_source
Generated Token Manager.
|
Modifier and Type | Method and Description |
---|---|
void |
DPNParser.ReInit(DPNParserTokenManager tm)
Reinitialise.
|
Constructor and Description |
---|
DPNParser(DPNParserTokenManager tm)
Constructor with generated Token Manager.
|