mktests

<B>Digital的Unix操作系统VAX 4.2源码</B>

execution completed, exit code is 0
6 

'endcat'

echo tests/mod/call.in
rm -f tests/mod/call.in
cat > tests/mod/call.in <<'endcat'
stop at 15
run
call p1()
call p2(3)
call p3("blah", 3)
call fprintf(IO_OUTPUT, "mainlocal = %d", mainlocal)
print mainlocal
call call
call call()
call p1(3)
call p2("blah")
'endcat'

echo tests/mod/call.mod
rm -f tests/mod/call.mod
cat > tests/mod/call.mod <<'endcat'
(*
 * Test program for dbx call command.
 *)

module main;
from io import writef, output;

var global : integer;

procedure startup ;
var
    mainlocal : integer;
begin
    global := 2;
    mainlocal := 19;
    p1();
    p2(mainlocal);
    p3("test", 3);
end startup;

procedure p1 ();
begin
    writef(output, "in p1\n");
    global := 4;
end p1;

procedure p2 (frommain : integer);
begin
    writef(output, "in p2(%d)\n", frommain);
    global := 9;
end p2;

procedure p3 (s : array of char; i : integer);
begin
    writef(output, "in p3(%s, %d)\n", s, i);
    global := 10;
end p3;

begin
    startup;
end main.
'endcat'

echo tests/mod/call.out
rm -f tests/mod/call.out
cat > tests/mod/call.out <<'endcat'
reading symbolic information ...
[1] stop at "call.mod":15
in p1
in p2(3)
in p3(blah, 3)
mainlocal = 0[1] stopped in startup at line 15 in file "call.mod"
   15       mainlocal := 19;

p1 returns successfully

p2 returns successfully

p3 returns successfully

fprintf returns successfully
0 
call call
         ^ syntax error
"call" not call-able
too many parameters in call to p1
type mismatch for frommain in call to p2

'endcat'

echo tests/mod/reals.mod
rm -f tests/mod/reals.mod
cat > tests/mod/reals.mod <<'endcat'
(*
 * Test of reals and longreals.
 *)

module main;
var
    x : longreal;
    y : real;

procedure f (x : real) : longreal;
begin
    return longfloat(3.14*x);
end f;

begin
    y := 3.0;
    x := f(y);
end main.
'endcat'

echo tests/mod/reals.in
rm -f tests/mod/reals.in
cat > tests/mod/reals.in <<'endcat'
print 3+4
print 3.5+4.5
stop in _init
run
next
step
print y
print y + 2
print 3.5*y
stop in f
cont
where
cont
'endcat'

echo tests/mod/reals.out
rm -f tests/mod/reals.out
cat > tests/mod/reals.out <<'endcat'
reading symbolic information ...
7 
8.0 
[1] stop in _init
[1] stopped in _init at 0x6a
0000006a  pushl	12(ap)
stopped in _init at line 16 in file "reals.mod"
   16       y := 3.0;
stopped in _init at line 17 in file "reals.mod"
   17       x := f(y);
3.0 
5.0 
10.5 
[3] stop in f
[3] stopped in f at line 10 in file "reals.mod"
   10   procedure f (x : real) : longreal;
f(x = 3.0), line 10 in "reals.mod"
_init(0x1, 0x7fffed74, 0x7fffed7c), line 17 in "reals.mod"

execution completed, exit code is 0

'endcat'

echo tests/mod/assign.mod
rm -f tests/mod/assign.mod
cat > tests/mod/assign.mod <<'endcat'
module main;
from io import Writef, output;
var a : array[1..100] of char;
begin
    a := "blah";
    Writef(output, "%s", a);
end main.
'endcat'

echo tests/mod/assign.in
rm -f tests/mod/assign.in
cat > tests/mod/assign.in <<'endcat'
stop at 6
run
print a
set a[1] = 'x'
print a
set a = "xyzzy"
print a
cont
print a
'endcat'

echo tests/mod/assign.out
rm -f tests/mod/assign.out
cat > tests/mod/assign.out <<'endcat'
reading symbolic information ...
[1] stop at "assign.mod":6
xyzzy[1] stopped in _init at line 6 in file "assign.mod"
    6       Writef(output, "%s", a);
'blah' 
'xlah' 
'xyzzy' 

execution completed, exit code is 0
'xyzzy' 

'endcat'

echo tests/mod/recur.mod
rm -f tests/mod/recur.mod
cat > tests/mod/recur.mod <<'endcat'
module main;

from io import Writef, output;

procedure r (n : integer);
begin
    Writef(output, "blah\n");
    if n > 0 then
	r(n - 1);
	Writef(output, "blah2\n");
    end;
end r;

begin
    r(5);
end main.
'endcat'

echo tests/mod/stkcmds.in
rm -f tests/mod/stkcmds.in
cat > tests/mod/stkcmds.in <<'endcat'
stop in p2
run
cont
where
func
print i
up
func
print i
up
func
print i
up
func
print i
up
func
up
down
func
down
func
down
func
down
func
down
return
func; return
func; return
func; return
func; return
func; return
func; return
func; return
func; return
'endcat'

echo tests/mod/recur.in
rm -f tests/mod/recur.in
cat > tests/mod/recur.in <<'endcat'
stop at 15
run
step
next
next
next
cont
'endcat'

echo tests/mod/recur.out
rm -f tests/mod/recur.out
cat > tests/mod/recur.out <<'endcat'
reading symbolic information ...
[1] stop at "recur.mod":15
[1] stopped in _init at line 15 in file "recur.mod"
   15       r(5);
stopped in r at line 7 in file "recur.mod"
    7       Writef(output, "blah\n");
stopped in r at line 8 in file "recur.mod"
    8       if n > 0 then
stopped in r at line 9 in file "recur.mod"
    9   	r(n - 1);
blah
blah
blah
blah
blah
blah
blah2
blah2
blah2
blah2
blah2
stopped in r at line 10 in file "recur.mod"
   10   	Writef(output, "blah2\n");

execution completed, exit code is 0

'endcat'

echo tests/mod/jsb.in
rm -f tests/mod/jsb.in
cat > tests/mod/jsb.in <<'endcat'
stop in p
run
where
print global
cont
'endcat'

echo tests/mod/stkcmds.out
rm -f tests/mod/stkcmds.out
cat > tests/mod/stkcmds.out <<'endcat'
reading symbolic information ...
[1] stop in p2
[1] stopped in p2 at line 5 in file "stkcmds.mod"
    5   procedure p2 (i : integer);
[1] stopped in p2 at line 5 in file "stkcmds.mod"
    5   procedure p2 (i : integer);
p2(i = 3), line 5 in "stkcmds.mod"
p2(i = 2), line 8 in "stkcmds.mod"
p1(i = 1), line 14 in "stkcmds.mod"
_init(0x1, 0x7fffed74, 0x7fffed7c), line 19 in "stkcmds.mod"
p2
3 
p2
2 
p1
1 
_init
0 
.
not that many levels
_init
p1
p2
p2
not that many levels
[1] stopped in p2 at line 5 in file "stkcmds.mod"
    5   procedure p2 (i : integer);
p2
[1] stopped in p2 at line 5 in file "stkcmds.mod"
    5   procedure p2 (i : integer);
p2
stopped in p2 at line 8 in file "stkcmds.mod"
    8   	p2(i+1);
p2
stopped in p2 at line 8 in file "stkcmds.mod"
    8   	p2(i+1);
p2
stopped in p2 at line 8 in file "stkcmds.mod"
    8   	p2(i+1);
p2
stopped in p2 at line 8 in file "stkcmds.mod"
    8   	p2(i+1);
p2
stopped in p1 at line 14 in file "stkcmds.mod"
   14       p2(i+1);
p1
stopped in _init at line 19 in file "stkcmds.mod"
   19       p1(i+1);
_init

execution completed, exit code is 0

'endcat'
chmod 775 tests/{cc,mod}/check
echo x - arrays.in
sed 's/^X//' >tests/mod/arrays.in <<+E+O+F+
Xwhatis main.p.a
Xstop at 12
Xrun
Xprint a
Xprint a[3], a[4], a[5]
Xstep
Xstep
Xwhere
Xprint b, c
+E+O+F+
echo x - assign.in
sed 's/^X//' >tests/mod/assign.in <<+E+O+F+
Xstop at 6
Xrun
Xprint a
Xset a[1] = 'x'
Xprint a
Xset a = "xyzzy"
Xprint a
Xcont
Xprint a
+E+O+F+
echo x - call.in
sed 's/^X//' >tests/mod/call.in <<+E+O+F+
Xstop at 15
Xrun
Xcall p1()
Xcall p2(3)
Xcall p3("blah", 3)
Xcall fprintf(IO_OUTPUT, "mainlocal = %d", mainlocal)
Xprint mainlocal
Xcall call
Xcall call()
Xcall p1(3)
Xcall p2("blah")
+E+O+F+
echo x - imports.in
sed 's/^X//' >tests/mod/imports.in <<+E+O+F+
Xwhereis v
Xwhereis p
Xwhatis main.p
Xwhatis main.T
Xwhatis main.OT
Xwhatis imported.p
Xstop in imported.Blah
Xrun
Xwhere
+E+O+F+
echo x - jsb.in
sed 's/^X//' >tests/mod/jsb.in <<+E+O+F+
Xstop in main.p
Xrun
Xwhere
Xprint global
Xcont
+E+O+F+
echo x - nested.in
sed 's/^X//' >tests/mod/nested.in <<+E+O+F+
Xwhereis i
Xwhereis j
Xstop at 18
Xrun
Xprint i, j, main.i, p.i, p.j
Xstep
Xprint i, j, main.i
Xcont
Xprint main.i
+E+O+F+
echo x - procvars.in
sed 's/^X//' >tests/mod/procvars.in <<+E+O+F+
Xwhatis main.q.t
Xstop in main.p
Xstop in main.q
Xrun
Xstep
Xstep
Xprint t
Xcont
Xwhere
Xstep
Xstep
Xprint j
+E+O+F+
echo x - reals.in
sed 's/^X//' >tests/mod/reals.in <<+E+O+F+
Xprint 3+4
Xprint 3.5+4.5
Xstop in _init
Xrun
Xnext
Xstep
Xprint y
Xprint y + 2
Xprint 3.5*y
Xstop in f
Xcont
Xwhere
Xcont
+E+O+F+
echo x - records.in
sed 's/^X//' >tests/mod/records.in <<+E+O+F+
Xwhatis Rec
Xwhatis main.r
Xrun
Xprint main.r
Xprint main.r.realValue, main.r.subrange, main.r.intValue, main.r.charValue
+E+O+F+
echo x - recur.in
sed 's/^X//' >tests/mod/recur.in <<+E+O+F+
Xstop at 15
Xrun
Xstep
Xnext
Xnext
Xnext
Xcont
+E+O+F+
echo x - sets.in
sed 's/^X//' >tests/mod/sets.in <<+E+O+F+
Xwhatis Color
Xwhatis ColorSet
Xstop in sets.p
Xrun
Xstep
Xwhere
Xstep
Xprint sets.s
Xstep
Xstep
Xwhere
Xprint sets.s
+E+O+F+
echo x - stkcmds.in
sed 's/^X//' >tests/mod/stkcmds.in <<+E+O+F+
Xstop in p2
Xrun
Xcont
Xwhere
Xfunc
Xprint i
Xup
Xfunc
Xprint i
Xup
Xfunc
Xprint i
Xup
Xfunc
Xprint i
Xup
Xfunc
Xup
Xdown
Xfunc
Xdown
Xfunc
Xdown
Xfunc
Xdown
Xfunc
Xdown
Xreturn
Xfunc; return
Xfunc; return
Xfunc; return
Xfunc; return
Xfunc; return
Xfunc; return
Xfunc; return
Xfunc; return
+E+O+F+
echo x - arrays.out
sed 's/^X//' >tests/mod/arrays.out <<+E+O+F+
Xreading symbolic information ...
X(var parameter) a : array[integer] of integer;
X[1] stop at "arrays.mod":12
X[1] stopped in main.p at line 12 in file "arrays.mod"
X   12       a[3] := i;
X(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) 
X4 5 6 
Xstopped in main.p at line 13 in file "arrays.mod"
X   13       a[4] := j;
Xstopped in _init at line 21 in file "arrays.mod"
X   21       b[BLUE] := 3;
X_init(0x1, 0x7fffee34, 0x7fffee3c), line 21 in "arrays.mod"
X(0, 0, 0) RED 
X
+E+O+F+
echo x - assign.out
sed 's/^X//' >tests/mod/assign.out <<+E+O+F+
Xreading symbolic information ...
X[1] stop at "assign.mod":6
Xxyzzy[1] stopped in _init at line 6 in file "assign.mod"
X    6       Writef(output, "%s", a);
X'blah' 
X'xlah' 
X'xyzzy' 
X
Xexecution completed, exit code is 0
X'xyzzy' 
X
+E+O+F+
echo x - call.out
sed 's/^X//' >tests/mod/call.out <<+E+O+F+
Xreading symbolic information ...
X[1] stop at "call.mod":15
Xin p1
Xin p2(3)
Xin p3(blah, 3)
Xmainlocal = 0[1] stopped in startup at line 15 in file "call.mod"
X   15       mainlocal := 19;
X
Xp1 returns successfully
X
Xp2 returns successfully
X
Xp3 returns successfully
X
Xfprintf returns successfully
X0 
Xcall call
X         ^ syntax error
X"call" not call-able
Xtoo many parameters in call to p1
Xtype mismatch for frommain in call to p2
X
+E+O+F+
echo x - imports.out
sed 's/^X//' >tests/mod/imports.out <<+E+O+F+
Xreading symbolic information ...
Ximported.v
Xmem.MEMORY_DEALLOCATE.p mem.MEMORY_ALLOCATE.p mem.modmalloc.p mem.Storage_DEALLOCATE.p mem.Storage_ALLOCATE.p imported.p main.p
Xvar p : main.T;
Xtype T = record
X    a : integer;
X    b : integer;
Xend;
Xtype OT = integer;
Xvar p : integer;
X[1] stop in Blah
X[1] stopped in Blah at line 8 in file "imported.mod"
X    8   procedure Blah;
XBlah, line 8 in "imported.mod"
X_init(0x1, 0x7fffee34, 0x7fffee3c), line 16 in "imports.mod"
X
+E+O+F+
echo x - jsb.out
sed 's/^X//' >tests/mod/jsb.out <<+E+O+F+
Xreading symbolic information ...
X[1] stop in main.p
Xin p(3, blah, 4)
X[1] stopped in main.p at line 7 in file "jsb.mod"
X    7   procedure p (i : integer; s : array of char; j : integer);
Xp(i = 3, s = 'blah', j = 4), line 7 in "jsb.mod"
X_init(0x1, 0x7fffee38, 0x7fffee40), line 15 in "jsb.mod"
X3 
X
Xexecution completed, exit code is 0
X
+E+O+F+
echo x - nested.out
sed 's/^X//' >tests/mod/nested.out <<+E+O+F+
Xreading symbolic information ...
Xmain.p.i main.p.nestedp.i main.i
Xmain.p.j main.p.nestedp.j
X[1] stop at "nested.mod":18
X[1] stopped in nestedp at line 18 in file "nested.mod"
X   18   	j := i;
X6 4 3 3 4 
Xstopped in main.p at line 24 in file "nested.mod"
X   24       i := j;
X3 6 3 
X
Xexecution completed, exit code is 0
X6 
X
+E+O+F+
echo x - procvars.out
sed 's/^X//' >tests/mod/procvars.out <<+E+O+F+
Xreading symbolic information ...
Xvar t : (class 23);
X[1] stop in main.p
X[2] stop in main.q
X[2] stopped in main.q at line 12 in file "procvars.mod"
X   12   procedure q ;
Xstopped in main.q at line 17 in file "procvars.mod"
X   17       t := p;
Xstopped in main.q at line 18 in file "procvars.mod"
X   18       t(j);
Xp 
X[1] stopped in main.p at line 7 in file "procvars.mod"
X    7   procedure p (var i : integer);
Xp(i = 0), line 7 in "procvars.mod"
Xq, line 18 in "procvars.mod"
X_init(0x1, 0x7fffee30, 0x7fffee38), line 23 in "procvars.mod"
Xstopped in main.p at line 9 in file "procvars.mod"
X    9       i := 3;
Xstopped in main.q at line 19 in file "procvars.mod"
X   19       j := j + 1;
X3 
X
+E+O+F+
echo x - reals.out
sed 's/^X//' >tests/mod/reals.out <<+E+O+F+
Xreading symbolic information ...
X7 
X8.0 
X[1] stop in _init
X[1] stopped in _init at 0x6a
X0000006a  pushl	12(ap)
Xstopped in _init at line 16 in file "reals.mod"
X   16       y := 3.0;
Xstopped in _init at line 17 in file "reals.mod"
X   17       x := f(y);
X3.0 
X5.0 
X10.5 
X[3] stop in f
X[3] stopped in f at line 10 in file "reals.mod"
X   10   procedure f (x : real) : longreal;
Xf(x = 3.0), line 10 in "reals.mod"
X_init(0x1, 0x7fffee34, 0x7fffee3c), line 17 in "reals.mod"
X
Xexecution completed, exit code is 0
X
+E+O+F+
echo x - records.out
sed 's/^X//' >tests/mod/records.out <<+E+O+F+
Xreading symbolic information ...
Xtype Rec = record
X    charValue : char;
X    intValue : integer;
X    subrange : 0..1000;
X    realValue : real;
Xend;
Xvar r : Rec;
X
Xexecution completed, exit code is 0
X(charValue = 'c', intValue = 3, subrange = 10, realValue = 3.4) 
X3.4 10 3 'c' 
X
+E+O+F+
echo x - recur.out
sed 's/^X//' >tests/mod/recur.out <<+E+O+F+
Xreading symbolic information ...
X[1] stop at "recur.mod":15
X[1] stopped in _init at line 15 in file "recur.mod"
X   15       r(5);
Xstopped in main.r at line 7 in file "recur.mod"
X    7       Writef(output, "blah\n");
Xstopped in main.r at line 8 in file "recur.mod"
X    8       if n > 0 then
Xstopped in main.r at line 9 in file "recur.mod"
X    9   	r(n - 1);
Xblah
Xblah
Xblah
Xblah
Xblah
Xblah
Xblah2
Xblah2
Xblah2
Xblah2
Xblah2
Xstopped in main.r at line 10 in file "recur.mod"
X   10   	Writef(output, "blah2\n");
X
Xexecution completed, exit code is 0
X
+E+O+F+
echo x - sets.out
sed 's/^X//' >tests/mod/sets.out <<+E+O+F+
Xreading symbolic information ...
Xtype Color = (RED, BLUE, GREEN);
Xtype ColorSet = set of Color;
X[1] stop in sets.p
X[1] stopped in sets.p at line 8 in file "sets.mod"
X    8   procedure p (var s : ColorSet);
Xstopped in sets.p at line 10 in file "sets.mod"
X   10       s := ColorSet{RED, BLUE};
Xp(s = {}), line 10 in "sets.mod"
X_init(0x1, 0x7fffee34, 0x7fffee3c), line 14 in "sets.mod"
Xstopped in _init at line 15 in file "sets.mod"
X   15       if BLUE in s then
X{RED, BLUE} 
Xstopped in _init at line 16 in file "sets.mod"
X   16   	s := s - ColorSet{BLUE};
X
Xexecution completed, exit code is 0
Xexit(0x0) at 0x200e
X_init(0x1, 0x7fffee34, 0x7fffee3c), line 16 in "sets.mod"
X{RED} 
X
+E+O+F+
echo x - stkcmds.out
sed 's/^X//' >tests/mod/stkcmds.out <<+E+O+F+
Xreading symbolic information ...
X[1] stop in p2
X[1] stopped in p2 at line 5 in file "stkcmds.mod"
X    5   procedure p2 (i : integer);
X[1] stopped in p2 at line 5 in file "stkcmds.mod"
X    5   procedure p2 (i : integer);
Xp2(i = 3), line 5 in "stkcmds.mod"
Xp2(i = 2), line 8 in "stkcmds.mod"
Xp1(i = 1), line 14 in "stkcmds.mod"
X_init(0x1, 0x7fffee34, 0x7fffee3c), line 19 in "stkcmds.mod"
Xp2
X3 
Xp2
X2 
Xp1
X1 
X_init
X0 
X.
Xnot that many levels
X_init
Xp1
Xp2
Xp2
Xnot that many levels
X[1] stopped in p2 at line 5 in file "stkcmds.mod"
X    5   procedure p2 (i : integer);
Xp2
X[1] stopped in p2 at line 5 in file "stkcmds.mod"
X    5   procedure p2 (i : integer);
Xp2
Xstopped in p2 at line 8 in file "stkcmds.mod"
X    8   	p2(i+1);
Xp2
Xstopped in p2 at line 8 in file "stkcmds.mod"
X    8   	p2(i+1);
Xp2
Xstopped in p2 at line 8 in file "stkcmds.mod"
X    8   	p2(i+1);
Xp2
Xstopped in p2 at line 8 in file "stkcmds.mod"
X    8   	p2(i+1);
Xp2
Xstopped in p1 at line 14 in file "stkcmds.mod"
X   14       p2(i+1);
Xp1
Xstopped in _init at line 19 in file "stkcmds.mod"
X   19       p1(i+1);
X_init
X
Xexecution completed, exit code is 0
X
+E+O+F+