Package | Description |
---|---|
org.processmining.datapetrinets.dsl |
Modifier and Type | Class and Description |
---|---|
class |
DPNBiEdge |
class |
DPNEdge |
class |
DPNFinal |
class |
DPNGuard |
class |
DPNInitial |
class |
DPNInvisible |
class |
DPNPlace |
class |
DPNPlaceFlow |
class |
DPNRoot |
class |
DPNTransition |
class |
DPNTransitionFlow |
class |
DPNVariable |
class |
DPNVariables |
class |
DPNWrite |
class |
SimpleNode |
Modifier and Type | Field and Description |
---|---|
protected Node[] |
SimpleNode.children |
protected Node |
SimpleNode.parent |
Modifier and Type | Method and Description |
---|---|
Node |
Node.jjtGetChild(int i)
This method returns a child node.
|
Node |
SimpleNode.jjtGetChild(int i) |
Node |
Node.jjtGetParent() |
Node |
SimpleNode.jjtGetParent() |
Node |
JJTDPNParserState.peekNode() |
Node |
JJTDPNParserState.popNode() |
Node |
JJTDPNParserState.rootNode() |
Modifier and Type | Method and Description |
---|---|
void |
JJTDPNParserState.clearNodeScope(Node n) |
void |
JJTDPNParserState.closeNodeScope(Node n,
boolean condition) |
void |
JJTDPNParserState.closeNodeScope(Node n,
int num) |
void |
Node.jjtAddChild(Node n,
int i)
This method tells the node to add its argument to the node's
list of children.
|
void |
SimpleNode.jjtAddChild(Node n,
int i) |
void |
Node.jjtSetParent(Node n)
This pair of methods are used to inform the node of its
parent.
|
void |
SimpleNode.jjtSetParent(Node n) |
void |
JJTDPNParserState.openNodeScope(Node n) |
void |
JJTDPNParserState.pushNode(Node n) |