Bug 1506: Fix static typechecker output
[users/jgh/exim.git] / test / aux-fixed / 0037.f-1
1 # Exim filter
2
3 add 1 to n3
4 add 3 to n4
5 add $n3 to n4
6 add $n4 to n4
7 add 6 to n$n3
8 testprint "n0=$n0 n1=$n1 n3=$n3 n4=$n4"
9
10 testprint "${run{/bin/sh -c 'pwd'}}"
11
12 deliver root@$qualify_domain
13 save /tmp/$primary_hostname 444
14 save /tmp/$qualify_domain 
15 pipe "/tmp/$primary_hostname"
16
17 logfile /tmp/logfile logwrite "this is log text: $qualify_domain"
18
19 if $qualify_domain contains $qualify_domain then
20   testprint "yes"
21 else
22   testprint "no"
23 endif      
24
25 if $qualify_domain CONTAINS $qualify_domain then
26   testprint "yes"
27 else
28   testprint "no"
29 endif      
30
31 if $qualify_domain contains ${uc:$qualify_domain} then
32   testprint "yes"
33 else
34   testprint "no"
35 endif      
36
37 if $qualify_domain does not contain ${uc:$qualify_domain} then
38   testprint "no"
39 else
40   testprint "yes"
41 endif      
42
43 if $qualify_domain DOES NOT CONTAIN ${uc:$qualify_domain} then
44   testprint "no"
45 else
46   testprint "yes"
47 endif      
48
49 if $qualify_domain CONTAINS ${uc:$qualify_domain} then
50   testprint "yes"
51 else
52   testprint "no"
53 endif      
54
55 if $qualify_domain is $qualify_domain then
56   testprint "qualify_domain is qualify_domain"
57 else   
58   testprint "NOT qualify_domain is qualify_domain"
59 endif   
60
61 if $qualify_domain IS $qualify_domain then
62   testprint "qualify_domain IS qualify_domain"
63 else   
64   testprint "NOT qualify_domain IS qualify_domain"
65 endif   
66
67 if $qualify_domain is not $qualify_domain then
68   testprint "qualify_domain is not qualify_domain"
69 else   
70   testprint "NOT qualify_domain is not qualify_domain"
71 endif   
72
73 if $qualify_domain IS NOT $qualify_domain then
74   testprint "qualify_domain IS NOT qualify_domain"
75 else   
76   testprint "NOT qualify_domain IS NOT qualify_domain"
77 endif   
78
79
80