2023-09-26 10:25:52 +08:00
|
|
|
grammar ptml;
|
|
|
|
|
|
2023-09-26 14:35:49 +08:00
|
|
|
tree : internal_node Names+ | internal_node (Names|tree)+
|
2023-09-26 11:14:03 +08:00
|
|
|
;
|
|
|
|
|
internal_node : 'sequence' | 'selector' | 'parallel' | 'decorator';
|
|
|
|
|
Names : [a-zA-Z_][a-zA-Z_0-9]* ;
|
