-
Notifications
You must be signed in to change notification settings - Fork 0
/
tree.thm
55 lines (41 loc) · 1.18 KB
/
tree.thm
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
49
50
51
52
53
54
55
<?xml version="1.0"?>
<alloy>
<view>
<projection> <type name="Tree"/> </projection>
<defaultnode/>
<defaultedge/>
<node>
<type name="Int"/>
<type name="String"/>
<type name="univ"/>
<type name="seq/Int"/>
<set name="$Rename_Consistent_NonemptyDir_dest" type="Path"/>
<set name="$Rename_Consistent_NonemptyDir_src" type="Path"/>
<set name="$Rename_Consistent_NonemptyDir_t" type="Tree"/>
<set name="$Rename_Consistent_NonemptyDir_t'" type="Tree"/>
</node>
<node color="Gray">
<type name="Path"/>
</node>
<node shape="Circle" color="White">
<type name="Tree"/>
</node>
<node shape="Ellipse" color="White">
<set name="Files" type="Path"/>
</node>
<node shape="Trapezoid" color="White">
<set name="Dirs" type="Path"/>
</node>
<node style="Dashed">
<type name="Line"/>
<type name="Name"/>
</node>
<edge layout="yes">
<relation name="parent"> <type name="Path"/> <type name="Path"/> </relation>
</edge>
<edge visible="no" attribute="yes">
<relation name="content"> <type name="Path"/> <type name="seq/Int"/> <type name="Line"/> </relation>
<relation name="name"> <type name="Path"/> <type name="Name"/> </relation>
</edge>
</view>
</alloy>