void emit_initial (OutputFile & o, uint32_t ind, bool & readCh, const State * const s, const Initial & initial)
{
+ if (DFlag)
+ {
+ return;
+ }
+
if (!cFlag && !startLabelName.empty())
{
o << startLabelName << ":\n";
digraph re2c {
-
1 -> 2 [label="[0x00-0x06][0x0E-!][#-&][(-[][0x5D-0xFF]"]
1 -> 19 [label="[0x07]"]
1 -> 13 [label="[0x08]"]
digraph re2c {
-
1 -> 5 [label="[0x00-`][b-d][f-0xFF]"]
1 -> 2 [label="[a]"]
1 -> 4 [label="[e]"]
digraph re2c {
-
1 -> 2 [label="[0x00]"]
1 -> 4 [label="[0x01-0xFF]"]
2 -> 3
digraph re2c {
-
1 -> 2 [label="[0x00-[][0x5D-0xFF]"]
1 -> 3 [label="[\\]"]
3 -> 4
digraph re2c {
-
1 -> 6 [label="[0x00-/][9-0x5D][_-`][c-0xFD]"]
1 -> 4 [label="[0-8][^]"]
1 -> 2 [label="[a-b][0xFE-0xFF]"]
digraph re2c {
-
1 -> 2 [label="[0x00]"]
1 -> 4 [label="[0x01-0x09][0x0B-$][&-)][+-.][0-0xFF]"]
1 -> 6 [label="[0x0A]"]