blob: a901a2bda9955493a83dba7ea5495ba531359ccb (
plain)
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
|
#
# PRE: if
#
# Tests for dereferencing the Nth attribute
#
update reply {
Filter-Id := "filter"
}
update request {
Class := 0x01020304
Class += 0x05060708
Class += 0x090a0b0c
}
if (&Class != 0x01020304) {
update reply {
Filter-Id := "fail 0"
}
}
# Must be the same as above
if (&Class[0] != 0x01020304) {
update reply {
Filter-Id += "fail 0a"
}
}
if (&Class[1] != 0x05060708) {
update reply {
Filter-Id += "fail 1"
}
}
if (&Class[2] != 0x090a0b0c) {
update reply {
Filter-Id += "fail 2"
}
}
# must not exist
if (&Class[3]) {
update reply {
Filter-Id += "fail 3"
}
}
# Last element of the array
if (&Class[n] != 0x090a0b0c) {
update reply {
Filter-Id += "fail 4"
}
}
|