len.ob 411 B

1234567891011121314151617181920212223242526
  1. MODULE m;
  2. CONST
  3. s1 = 22X;
  4. VAR
  5. a1: ARRAY 10 OF INTEGER;
  6. a2: ARRAY 15 OF BOOLEAN;
  7. a3: ARRAY 20 OF CHAR;
  8. i: INTEGER;
  9. PROCEDURE p1(a: ARRAY OF INTEGER): INTEGER;
  10. RETURN LEN(a)
  11. END p1;
  12. PROCEDURE p2(VAR a: ARRAY OF BOOLEAN): INTEGER;
  13. RETURN LEN(a)
  14. END p2;
  15. BEGIN
  16. i := p1(a1);
  17. i := p2(a2);
  18. ASSERT(LEN(a3) = 20);
  19. ASSERT(LEN(s1) = 1);
  20. ASSERT(LEN("abc") = 3)
  21. END m.