1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: ips
4#evalFull
5-- in.cue --
6IP: 4 * [ uint8]
7
8Private:
9 *[ 192, 168, uint8, uint8] |
10 [ 10, uint8, uint8, uint8] |
11 [ 172, >=16 & <=32, uint8, uint8]
12
13Inst: Private & [ _, 10, ...]
14
15MyIP: Inst & [_, _, 10, 10]
16-- out/def --
17IP: [uint8, uint8, uint8, uint8]
18Private: *[192, 168, uint8, uint8] | [10, uint8, uint8, uint8] | [172, >=16 & <=32, uint8, uint8]
19Inst: [10, 10, uint8, uint8]
20MyIP: [10, 10, 10, 10]
21-- out/legacy-debug --
22<0>{IP: [(int & >=0 & int & <=255),(int & >=0 & int & <=255),(int & >=0 & int & <=255),(int & >=0 & int & <=255)], Private: [192,168,(int & >=0 & int & <=255),(int & >=0 & int & <=255)], Inst: [10,10,(int & >=0 & int & <=255),(int & >=0 & int & <=255)], MyIP: [10,10,10,10]}
23-- out/compile --
24--- in.cue
25{
26 IP: (4 * [
27 &(int, >=0, <=255),
28 ])
29 Private: (*[
30 192,
31 168,
32 &(int, >=0, <=255),
33 &(int, >=0, <=255),
34 ]|[
35 10,
36 &(int, >=0, <=255),
37 &(int, >=0, <=255),
38 &(int, >=0, <=255),
39 ]|[
40 172,
41 (>=16 & <=32),
42 &(int, >=0, <=255),
43 &(int, >=0, <=255),
44 ])
45 Inst: (〈0;Private〉 & [
46 _,
47 10,
48 ...,
49 ])
50 MyIP: (〈0;Inst〉 & [
51 _,
52 _,
53 10,
54 10,
55 ])
56}
57-- out/eval/stats --
58Leaks: 3
59Freed: 54
60Reused: 48
61Allocs: 9
62Retain: 6
63
64Unifications: 48
65Conjuncts: 111
66Disjuncts: 60
67-- out/eval --
68(struct){
69 IP: (#list){
70 0: (int){ &(>=0, <=255, int) }
71 1: (int){ &(>=0, <=255, int) }
72 2: (int){ &(>=0, <=255, int) }
73 3: (int){ &(>=0, <=255, int) }
74 }
75 Private: (list){ |(*(#list){
76 0: (int){ 192 }
77 1: (int){ 168 }
78 2: (int){ &(>=0, <=255, int) }
79 3: (int){ &(>=0, <=255, int) }
80 }, (#list){
81 0: (int){ 10 }
82 1: (int){ &(>=0, <=255, int) }
83 2: (int){ &(>=0, <=255, int) }
84 3: (int){ &(>=0, <=255, int) }
85 }, (#list){
86 0: (int){ 172 }
87 1: (number){ &(>=16, <=32) }
88 2: (int){ &(>=0, <=255, int) }
89 3: (int){ &(>=0, <=255, int) }
90 }) }
91 Inst: (#list){
92 0: (int){ 10 }
93 1: (int){ 10 }
94 2: (int){ &(>=0, <=255, int) }
95 3: (int){ &(>=0, <=255, int) }
96 }
97 MyIP: (#list){
98 0: (int){ 10 }
99 1: (int){ 10 }
100 2: (int){ 10 }
101 3: (int){ 10 }
102 }
103}
View as plain text