blob: 19beb6f7962d8760eb618b2926e48cac986cfd07 (
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
|
MODULE constarray2 ;
FROM libc IMPORT printf, exit ;
TYPE
arraytype = ARRAY [0..11] OF CHAR ;
CONST
Hello = "Hello" ;
World = "World" ;
HelloWorld = arraytype {Hello + " " + World} ;
(*
Assert -
*)
PROCEDURE Assert (result: BOOLEAN) ;
BEGIN
IF NOT result
THEN
printf ("assertion failed\n") ;
exit (1)
END
END Assert ;
VAR
ch: CHAR ;
BEGIN
ch := HelloWorld[4] ;
Assert (ch = 'o')
END constarray2.
|
