| MODULE conststrarray2 ; | |
| FROM libc IMPORT printf, exit ; | |
| CONST | |
| HelloWorld = Hello + " " + World ; | |
| Hello = "Hello" ; | |
| World = "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 conststrarray2. |