blob: 2d48e50fea9644b5d784ed98271e630bc8c77b2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
digraph ParserStates {
label="Parser states";
init [label="Init"];
disabled [label="Parser disabled"];
error [label="Error"];
init -> disabled [label="If _EVAEN is not empty"];
init -> Parser [label="If _EVAEN is empty"];
Parser -> disabled [label="_EVADI located"];
disabled -> Parser [label="_EVAEN located"];
Parser {
nomacro [label="No macro"];
nomacro_escape [label="No macro escaped"];
macro_start [label="Macro/command start"];
macro [label="Macro/command located"];
macro_escape [label="Macro/command located arguments escaped"];
args [label="Arguments"];
args_escaped [label="Arguments escaped"];
expansion [label="Macro/command expansion (Secondary parser)"];
Parser -> nomacro [style="dotted"];
expansion -> Parser [style="dotted"];
nomacro -> macro_start [label="_INIT located"];
macro_start -> macro [label="_MACR matches text after _INIT"];
macro_start -> error [label="else"];
macro -> args [label="_ARGST matches after _MACR"];
args -> args [label="_ARGSE located"];
args -> macro_start [label="_INIT located\nPush macro/commands buffer"];
args -> expansion [label="_ARGEN located"];
macro -> expansion [label="else"];
expansion -> args [label="Pop macro/commands buffer"];
expansion -> nomacro [label="Macro/commans buffer empty"];
nomacro -> nomacro_escape [label="_ESCAP located"];
nomacro_escape -> nomacro [label="_INIT matches text after _ESCAP"];
nomacro_escape -> error [label="else"];
macro -> macro_escape [label="_ESCAP matches text after _MACR"];
macro_escape -> expansion;
args -> args_escaped [label="_ESCAP located"];
args_escaped -> args [label="_ARGSE, _ARGEN or _INIT matches text after _ESCAP"];
args_escaped -> error [lavel="else"];
}
}
|
