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
47
48
|
/* SCCS-info %W% %E% */
/* $Id: annot1.vcg,v 1.5 1995/02/09 11:41:53 sander Exp $ */
graph: { title: "SYNTAXTREE"
height: 700
width: 700
x: 30
y: 30
color: lightcyan
layout_downfactor: 10
layout_upfactor: 1
layout_nearfactor: 5
layoutalgorithm: dfs
node: { title:"A" label:"A" color: lightgreen textcolor: blue}
node: { title:"B" label:"B" color: lightgreen textcolor: blue}
node: { title:"C" label:"C" color: lightgreen textcolor: blue}
node: { title:"D" label:"D" color: lightgreen textcolor: blue}
node: { title:"E" label:"E" color: lightgreen textcolor: blue}
node: { title:"F" label:"F" color: lightgreen textcolor: blue}
node: { title:"G" label:"G" color: lightgreen textcolor: blue}
node: { title:"H" label:"H" color: lightgreen textcolor: blue}
node: { title:"I" label:"I" color: lightgreen textcolor: blue}
node: { title:"J" label:"J" color: lightgreen textcolor: blue}
node: { title:"K" label:"K" color: lightgreen textcolor: blue}
node: { title:"L" label:"L" color: lightgreen textcolor: blue}
node: { title:"M" label:"M" color: lightgreen textcolor: blue}
node: { title:"N" label:"N" color: lightgreen textcolor: blue}
node: { title:"O" label:"O" color: lightgreen textcolor: blue}
edge: { sourcename:"A" targetname:"B" color: red thickness: 4 priority: 1 }
edge: { sourcename:"A" targetname:"C" color: red thickness: 4 priority: 1 }
edge: { sourcename:"B" targetname:"D" color: red thickness: 4 priority: 1 }
edge: { sourcename:"B" targetname:"E" color: red thickness: 4 priority: 1 }
edge: { sourcename:"C" targetname:"F" color: red thickness: 4 priority: 1 }
edge: { sourcename:"C" targetname:"G" color: red thickness: 4 priority: 1 }
edge: { sourcename:"D" targetname:"H" color: red thickness: 4 priority: 1 }
edge: { sourcename:"D" targetname:"I" color: red thickness: 4 priority: 1 }
edge: { sourcename:"E" targetname:"J" color: red thickness: 4 priority: 1 }
edge: { sourcename:"E" targetname:"K" color: red thickness: 4 priority: 1 }
edge: { sourcename:"F" targetname:"L" color: red thickness: 4 priority: 1 }
edge: { sourcename:"F" targetname:"M" color: red thickness: 4 priority: 1 }
edge: { sourcename:"G" targetname:"N" color: red thickness: 4 priority: 1 }
edge: { sourcename:"G" targetname:"O" color: red thickness: 4 priority: 1 }
edge: { sourcename:"L" targetname:"A" priority: 1 color: blue }
edge: { sourcename:"D" targetname:"A" priority: 1 color: blue }
edge: { sourcename:"C" targetname:"N" priority: 1 color: blue }
edge: { sourcename:"M" targetname:"A" priority: 1 color: blue }
}
|
