diff -r 000000000000 -r 1918ee327afb src/xmlpatterns/schema/doc/legend.dot --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/xmlpatterns/schema/doc/legend.dot Mon Jan 11 14:00:40 2010 +0000 @@ -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] +}