home *** CD-ROM | disk | FTP | other *** search
/ ftp.ee.pdx.edu / 2014.02.ftp.ee.pdx.edu.tar / ftp.ee.pdx.edu / pub / users / Harry / compilers / p10 / tst / frame2.pcat < prev    next >
Text File  |  2006-02-17  |  794b  |  39 lines

  1. (* This program tests the computation of frameSize. *)
  2. (* In particular, it tests maxNumberOfArgsUsed. *)
  3.  
  4. program is
  5.  
  6.   procedure foo1 (a1: integer) : integer is
  7.     begin return 0; end;
  8.   procedure foo2 (a1,a2: integer) : integer is
  9.     begin return 0; end;
  10.   procedure foo4 (a1,a2,a3,a4: integer) : integer is
  11.     begin return 0; end;
  12.  
  13.   procedure bar1 () is
  14.     var i: integer := foo2 (1,2);
  15.     procedure bar2 () is
  16.       begin
  17.         i := foo4 (1, 2, 3, 4);
  18.         return;
  19.       end;
  20.     begin
  21.       i := foo1 (1);
  22.       return;
  23.     end;
  24.  
  25.   procedure bar3 () is
  26.     var i: integer := foo2 (1,2);
  27.         j: integer := 0;
  28.     procedure bar2 () is
  29.       begin
  30.         i := foo4 (1, 2, 3, 4);
  31.         return;
  32.       end;
  33.     begin
  34.       i := foo1 (1);
  35.       return;
  36.     end;
  37.   begin
  38.   end;
  39.