diff options
Diffstat (limited to 'src/xmlpatterns/schema/doc/legend.dot')
| -rw-r--r-- | src/xmlpatterns/schema/doc/legend.dot | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/xmlpatterns/schema/doc/legend.dot b/src/xmlpatterns/schema/doc/legend.dot new file mode 100644 index 0000000000..4f5792ecf1 --- /dev/null +++ b/src/xmlpatterns/schema/doc/legend.dot @@ -0,0 +1,7 @@ +digraph { + size="5,4" + 1 [label=" start state ", shape=circle, style=filled, color=blue] + 2 [label="start/end state", shape=doublecircle, style=filled, color=blue] + 3 [label=" internal state", shape=circle, style=filled, color=red] + 4 [label=" end state ", shape=doublecircle, style=filled, color=green] +} |