

DIRECTORY
RunRegressions,
XMesaProcs;


XMesaCmplr3: PROGRAM IMPORTS RunRegressions, XMesaProcs =
BEGIN
filename: LONG STRING м "XMesaCmplr3"L;

XMesaCall3: PROCEDURE = {

XMesaProcs.PrintS[filename];
XMesaProcs.PrintCR;
XMesa3a[];  --assignment , IF statements
Xmesa3b[];  --IF expressions
Xmesa3c[];  --SELECT statements,expressions
Xmesa3d[];  --BLOCKs
Xmesa3e[];  --LOOPs
XMesaProcs.PrintS["Done"L];
XMesaProcs.PrintCR;

};  --end of XMesaCall3

XMesa3a: PROCEDURE = {  --assignment , IF statements
r: RECORD [a, b, c, d: INTEGER м 0]; 
e: INTEGER м 5;
new, old: INTEGER;
array: ARRAY [0..10] OF INTEGER м ALL[0];
f, g: BOOL;
r.a м r.b м r.c м r.d м e; 
XMesaProcs.Isboolequal[r = [5, 5, 5, 5], TRUE, 1700, filename];  
new м 0;

FOR new IN [0..9] DO array[new м new + 1] м 5; ENDLOOP;

new м 1;
XMesaProcs.Isequal[array[new], 5, 1710, filename];
new м 3;
XMesaProcs.Isequal[array[new], 5, 1712, filename];
new м 5;
XMesaProcs.Isequal[array[new], 5, 1712, filename];
new м 7;
XMesaProcs.Isequal[array[new], 5, 1712, filename];
new м 9;
XMesaProcs.Isequal[array[new], 5, 1712, filename];


new м 5;
f м TRUE;
g м FALSE;
IF new # 5 THEN XMesaProcs.PutFailMessage[1720, filename];
IF f # TRUE THEN XMesaProcs.PutFailMessage[1721, filename];
IF g # FALSE THEN XMesaProcs.PutFailMessage[1722, filename];
IF (g = TRUE) OR (new = 5) THEN new м 5
ELSE XMesaProcs.PutFailMessage[1740, filename];
IF new = 6 THEN XMesaProcs.PutFailMessage[1750, filename];
IF new >= 0 THEN IF new > 0 THEN old м 1 ELSE old м 0;
XMesaProcs.Isequal[old, 1, 1760, filename];

};

Xmesa3b: PROCEDURE = {  --IF expressions
x, y, z: INTEGER м 5;
a, b, c: INTEGER м 10;
x м IF y = 0 THEN a / b ELSE a / y;
XMesaProcs.Isnotequal[x, 1, 1770, filename];
x м IF y >= 0 THEN (IF y > 0 THEN 1 ELSE 0) ELSE -1;
XMesaProcs.Isequal[x, 1, 1780, filename];
y м 0;
x м IF y >= 0 THEN (IF y > 0 THEN 1 ELSE 0) ELSE -1;
XMesaProcs.Isequal[x, 0, 1790, filename];
y м -5;
x м IF y >= 0 THEN (IF y > 0 THEN 1 ELSE 0) ELSE -1;
XMesaProcs.Isequal[x, -1, 1800, filename];

};

Xmesa3c: PROCEDURE = {  --SELECT statements
x, y, z: INTEGER;
a, b, c: CHAR;
x м 8;
SELECT x FROM
= 0 => XMesaProcs.PutFailMessage[1810, filename];
= 8 => NULL;
IN [0..10] => NULL;
ENDCASE;

x м 10;
y м 6;
z м 3;
SELECT x + y - z FROM
IN [0..20] => NULL;
0 => XMesaProcs.PutFailMessage[1850, filename];
ENDCASE => XMesaProcs.PutFailMessage[1860, filename];

a м 'A;
b м 'B;
c м 'C;

SELECT a FROM
'A => NULL;
IN ['A..'Z] => NULL;
'B => XMesaProcs.PutFailMessage[1890, filename];
ENDCASE;

SELECT (a = 'A) AND (b = 'C) FROM
TRUE => XMesaProcs.PutFailMessage[1900, filename];
FALSE => NULL;
ENDCASE;
x м 0;
SELECT a FROM IN ['A..'Z] => x м x + 1; IN ['a..'z] => NULL; ENDCASE;
XMesaProcs.Isequal[x, 1, 1920, filename];

x м 0;
x м
SELECT (y + z) FROM
IN [0..10] => x + 1,
= 9 => x + 1,
= 10 => 99,
ENDCASE => x + 1;
XMesaProcs.Isequal[x, 1, 1930, filename];
};

Xmesa3d: PROCEDURE = {  --BLOCKS
input: RECORD [
status: {open, closed}, fileHandle: {default, null}, fileNumber: INTEGER];
x: INTEGER м 0;
y: INTEGER м 1;
IF y > x THEN BEGIN x м 2; END;
XMesaProcs.Isequal[x, 2, 1940, filename];
input м [closed, null, 5];
IF input.status # open THEN
BEGIN
x м 1234;
IF input.fileHandle = null THEN GOTO usefileHandle;
x м 4321;
EXITS usefileHandle => y м 1234;
END;
XMesaProcs.Isequal[y, 1234, 1950, filename];
XMesaProcs.Isequal[x, 1234, 1960, filename];

IF input.status # open THEN
BEGIN
IF input.fileHandle = default THEN GOTO usefileHandle;
x м 5678;
IF input.fileNumber = 5 THEN BEGIN IF x = 5678 THEN GOTO useexit; END;
EXITS
usefileHandle => XMesaProcs.PutFailMessage[1970, filename];
useexit => NULL;
END;

};

Xmesa3e: PROCEDURE = {  --LOOP's
m: INTEGER м 100;
n: INTEGER м 28;
i: INTEGER м 0;
r: INTEGER;
y: INTEGER;
vec: ARRAY [0..9] OF INTEGER м ALL[0];
low: INTEGER м 5;
high: INTEGER м 20;
NodeLink: TYPE = POINTER TO Node;
node, headOfList: NodeLink;
Node: TYPE = RECORD [value: INTEGER, next: NodeLink];
node1, node2, node3, node4: Node;
interest: BOOL м FALSE;


vec[0] м 0;
vec[1] м 1;
vec[2] м 2;
vec[3] м 3;
vec[4] м 4;
vec[5] м 5;
vec[6] м 6;
vec[7] м 7;
vec[8] м 8;
vec[9] м 9;
UNTIL n = 0 DO r м m MOD n; m м n; n м r; i м i + 1; ENDLOOP;
XMesaProcs.Isequal[i, 4, 1990, filename];

m м 100;
n м 0;
i м 0;
UNTIL n = 0 DO i м i + 1; ENDLOOP;
XMesaProcs.Isequal[i, 0, 2000, filename];

m м 100;
n м 28;
i м 0;
WHILE n > 0 DO n м n - 1; i м i + 1; ENDLOOP;
XMesaProcs.Isequal[i, 28, 2010, filename];

n м -28;
i м 0;
WHILE n > 0 DO n м n - 1; i м i + 1; ENDLOOP;
XMesaProcs.Isequal[i, 0, 2020, filename];

FOR i IN [1..LENGTH[vec]] DO IF i < 10 THEN vec[i - 1] м vec[i]; ENDLOOP;
XMesaProcs.Isequal[vec[0], 1, 2030, filename];
XMesaProcs.Isequal[vec[4], 5, 2040, filename];
XMesaProcs.Isequal[vec[9], 9, 2050, filename];
XMesaProcs.Isnotequal[vec[3], 3, 2060, filename];

FOR i DECREASING IN [1..LENGTH[vec]] DO
IF i < 10 THEN vec[i] м vec[i - 1]; ENDLOOP;
XMesaProcs.Isequal[vec[0], 1, 2070, filename];
XMesaProcs.Isequal[vec[1], 1, 2080, filename];
XMesaProcs.Isequal[vec[2], 2, 2090, filename];

i м 9;
y м 0;
THROUGH [low..high] WHILE vec[i] > 0 DO y м y + 1; ENDLOOP;
XMesaProcs.Isequal[y, 16, 2110, filename];

high м 10;
i м 9;
THROUGH [low..high] WHILE vec[i] > 0 DO i м i - 1; y м y + 1; ENDLOOP;
XMesaProcs.Isequal[i, 3, 2120, filename];
headOfList м @node1;
node1 м Node[1, @node2];
node2 м Node[2, @node3];
node3 м Node[3, @node4];
node4 м Node[4, NIL];
i м 0;

FOR node м headOfList, node.next UNTIL node = NIL DO i м i + 1; ENDLOOP;
XMesaProcs.Isequal[i, 4, 2130, filename];

i м 0;
interest м TRUE;
FOR y IN [0..9] DO
i м i + 1; IF i = 5 THEN interest м FALSE; IF ~interest THEN LOOP; ENDLOOP;
XMesaProcs.Isequal[i, 10, 2140, filename];
XMesaProcs.Isequal[y, 9, 2145, filename];

i м 1;
DO IF i >= 10 THEN GOTO quit; i м i + 1; REPEAT quit => NULL; ENDLOOP;
XMesaProcs.Isequal[i, 10, 2150, filename];

i м 0;
DO IF i >= 5 THEN EXIT; i м i + 1; ENDLOOP;
XMesaProcs.Isequal[i, 5, 2160, filename];
};

RunRegressions.RegisterTest[XMesaCall3, "test3"];


END...			


  <  
File: XMesaCmplr3.mesa - created by MW. Last edit:
JKF                 23-Jul-87 13:05:36
MW                   24-Mar-87 10:36:22
Jim Foote February 3, 1988 3:47:36 pm PST
Mna, April 17, 1991 5:37 pm PDT
Copyright (C) 1987 by Xerox Corporation. All rights reserved.
ordinary statements
IF statements
mainline
Э╩$  ХNewlineDelimiter
Щ JЩ2JЩ&JЩ'JЩ)JЩJШ JЩ=JШ JЩJШ Ъ╧k	Ш	JШJШJШ JШ ЧЪ╧nЬЭЬЭЬШ9JЪЭШJЪЬ
ЭЬЭЬШ'JШ JЪЮ
ЬЭ	ЬШШ JШJШJЪЬ╧cШ(JЪЬЯШJЪЬЯШ+JЪЬЯШJЪЬЯШJШJШJШ JЪЬЯШJШ ЧЪЮЬЭ	ЬЯШ4JЪЬЭЬЭЬШ%JЪЬЭЬШJЪЬ
ЭЬШJЪ	ЬЭЬ	ЭЬЭЬЭЬШ)JЪЬЭЬШJШJЪЬ)ЭЬШAJШJШ JЪЭЬЭЬЭЬЭЬШ7JШ JШJШ2JШJШ2JШJШ2JШJШ2JШJШ2JШ JШ JЩJШ JШJЪЬЭЬШ	JЪЬЭЬШ
JЪЭЬ	ЭЬ+Ш:JЪЭЬЭЬЭЬ+Ш;JЪЭЬЭЬЭЬ+Ш<JЪЭЬЭЬЭЬЭЬШ'JЪЭЬ+Ш/JЪЭЬ	ЭЬ+Ш:JЪ
ЭЬ
ЭЬЭЬ	ЭЬ	ЭЬ	Ш6JШ+JШ JШJШ ЧЪЮЬЭ	ЬЯШ(JЪЬ	ЭЬШJЪЬ	ЭЬШJЪЬЭЬЭЬЭЬШ#JШ,JЪЬЭЬЭЬЭЬЭЬЭЬЭЬШ4JШ)JШJЪЬЭЬЭЬЭЬЭЬЭЬЭЬШ4JШ)JШJЪЬЭЬЭЬЭЬЭЬЭЬЭЬШ4JШ*JШ JШJШ ЧЪЮЬЭ	ЬЯШ+JЪЬ	ЭЬШJЪЬ	ЭЬШJШЪЭЬЭШJШ1JЪЬЭЬШJЪЭЬЭЬШJЪЭЬШJШ ЧJШJШJШЪЭЬЭШJЪЭЬЭЬШJШ/JЪЭЬ.Ш5JШ ЧJШJШJШJШ ЪЭЬЭШJЪЬЭЬШJЪЭЬЭЬШJШ0JЪЭЬШJШ ЧЪЭЬ
ЭЬ
ЭШ!JЪЭЬ.Ш2JЪЭЬЭЬШJЪЭЬШЧJШJЪЭЬЭЬЭЬЭЬЭЬЭЬШEJШ)JШ JШШЪЭЬ	ЭШJЪЭЬШJШJШJЪЭЬ
ШЧЧJШ)JШJШ ЧЪЮЬЭ	ЬЯШ ЪЬЭЬШJЪЬAЭЬШJЧJЪЬЭЬШJЪЬЭЬШJЪЭЬЭЬЭЬЭЬШJШ)JШЪЭЬЭШJЪЭШJШ	JЪЭЬЭЬЭЬШ3JШ	JЪЭЬШ JЪЭЬШЧJШ,JШ,JШ ЪЭЬЭШJЪЭШJЪЭЬЭЬЭЬШ6JШ	JЪЭЬЭЬЭЬЭЬ
ЭЬЭЬ
ЭЬШFЪЭШJШ;JЪЬЭЬШЧJЪЭЬШJШ ЧJШJШ ЧЪЮЬЭ	ЬЯШ JЪЬЭЬШJЪЬЭЬШJЪЬЭЬШJЪЬЭЬШJЪЬЭЬШJЪ	ЬЭЬЭЬЭЬЭЬШ&JЪЬЭЬШJЪЬЭЬШJЪЬ
ЭЬЭЬЭЬШ!JШJЪЬЭЬЭЬ	ЭЬШ5JШ!JЪЬ
ЭЬЭЬШJШ JШ JШJШJШJШJШJШJШJШJШJШJЪЭЬЭЬЭЬЭЬШ=JШ)JШ JШJШJШJЪЭЬЭЬЭЬШ"JШ)JШ JШJШJШJЪЭЬЭЬЭЬШ-JШ*JШ JШJШJЪЭЬЭЬЭЬШ-JШ)JШ JЪЭЬЭЬЭЬЭЬЭЬЭЬЭЬШIJШ.JШ.JШ.JШ1JШ Ъ	ЭЬЭ
ЬЭЬЭЬЭШ'JЪЭЬЭЬЭЬШ,ЧJШ.JШ.JШ.JШ JШJШJЪЭЬЭЬЭЬЭЬШ;JШ*JШ JШ
JШJЪЭЬЭЬЭЬЭЬШFJШ)JШJШJШJШJЪЬЭЬШJШJШ JЪ
ЭЬЭЬЭЬЭЬЭЬШHJШ)JШ JШJЪЬЭЬШЪЭЬЭЬЭШJЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШKЧJШ*JШ)JШ JШJЪЭЬЭЬ	ЭЬЭЬЭЬ	ЭЬЭЬШFJШ*JШ JШJЪ
ЭЬЭЬЭЬЭЬЭЬШ+JШ)JШJШ ЧJЩJШ1JШ JШ JЪЭЬШ	JШ JШ Ш JШ ЧЧЧ ЕЧ    К   ъ  