1234567891011121314151617181920212223242526 |
- MODULE m;
-
- CONST
- s1 = 22X;
- VAR
- a1: ARRAY 10 OF INTEGER;
- a2: ARRAY 15 OF BOOLEAN;
- a3: ARRAY 20 OF CHAR;
- i: INTEGER;
- PROCEDURE p1(a: ARRAY OF INTEGER): INTEGER;
- RETURN LEN(a)
- END p1;
- PROCEDURE p2(VAR a: ARRAY OF BOOLEAN): INTEGER;
- RETURN LEN(a)
- END p2;
- BEGIN
- i := p1(a1);
- i := p2(a2);
- ASSERT(LEN(a3) = 20);
- ASSERT(LEN(s1) = 1);
- ASSERT(LEN("abc") = 3)
- END m.
|