t_classdef_prog.mod 303 B

123456789101112
  1. MODULE TClassDefProg;
  2. (* Uses a class declared in a DEFINITION module as a data value
  3. (field layout through the definition). Exit 8. *)
  4. IMPORT TClassDef;
  5. VAR ExitCode : INTEGER;
  6. VAR s : TClassDef.Shape;
  7. BEGIN
  8. s.x := 3;
  9. s.y := 4;
  10. s.kind := 1;
  11. ExitCode := s.x + s.y + s.kind
  12. END TClassDefProg.