src/xmlpatterns/schema/doc/ComplexContentExtension_diagram.dot
changeset 0 1918ee327afb
equal deleted inserted replaced
-1:000000000000 0:1918ee327afb
       
     1 digraph ComplexContentExtension {
       
     2   mindist = 2.0
       
     3   1 -> 4 [label="choice"]
       
     4   1 -> 4 [label="group"]
       
     5   1 -> 4 [label="all"]
       
     6   1 -> 2 [label="annotation"]
       
     7   1 -> 4 [label="sequence"]
       
     8   1 -> 6 [label="anyAttribute"]
       
     9   1 -> 7 [label="assert"]
       
    10   1 -> 3 [label="openContent"]
       
    11   1 -> 5 [label="attribute"]
       
    12   1 -> 5 [label="attributeGroup"]
       
    13   2 -> 4 [label="choice"]
       
    14   2 -> 4 [label="group"]
       
    15   2 -> 4 [label="all"]
       
    16   2 -> 4 [label="sequence"]
       
    17   2 -> 6 [label="anyAttribute"]
       
    18   2 -> 7 [label="assert"]
       
    19   2 -> 3 [label="openContent"]
       
    20   2 -> 5 [label="attribute"]
       
    21   2 -> 5 [label="attributeGroup"]
       
    22   3 -> 4 [label="choice"]
       
    23   3 -> 4 [label="group"]
       
    24   3 -> 4 [label="all"]
       
    25   3 -> 4 [label="sequence"]
       
    26   3 -> 6 [label="anyAttribute"]
       
    27   3 -> 7 [label="assert"]
       
    28   3 -> 5 [label="attribute"]
       
    29   3 -> 5 [label="attributeGroup"]
       
    30   4 -> 6 [label="anyAttribute"]
       
    31   4 -> 7 [label="assert"]
       
    32   4 -> 5 [label="attribute"]
       
    33   4 -> 5 [label="attributeGroup"]
       
    34   5 -> 6 [label="anyAttribute"]
       
    35   5 -> 7 [label="assert"]
       
    36   5 -> 5 [label="attribute"]
       
    37   5 -> 5 [label="attributeGroup"]
       
    38   6 -> 7 [label="assert"]
       
    39   7 -> 7 [label="assert"]
       
    40   1 [shape=doublecircle, style=filled, color=blue]
       
    41   2 [shape=doublecircle, style=filled, color=green]
       
    42   3 [shape=doublecircle, style=filled, color=green]
       
    43   4 [shape=doublecircle, style=filled, color=green]
       
    44   5 [shape=doublecircle, style=filled, color=green]
       
    45   6 [shape=doublecircle, style=filled, color=green]
       
    46   7 [shape=doublecircle, style=filled, color=green]
       
    47 }