tst2503.stable.out

一个内存数据库的源代码这是服务器端还有客户端

stdout of test 'tst2503` in directory 'src/mal` itself:


# 08:01:05 >  
# 08:01:05 >  Mtimeout -timeout 60 Mserver "--config=/ufs/mk/monet5/Linux/etc/MonetDB5.conf" --debug=10 --set "monet_mod_path=/ufs/mk/monet5/Linux/lib/MonetDB5:/ufs/mk/opensource/MonetDB/Linux/lib/MonetDB" --set "gdk_dbfarm=/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/monet5/Linux/var/MonetDB5/log" --set mapi_port=42158 --set sql_port=55708 --set monet_prompt= --trace "--config=/ufs/mk/monet5/src/mal/Tests/All.conf" --dbname=mTests_src_mal  tst2503.mal </dev/null
# 08:01:05 >  

# Monet Database Server V4.99.19
# Copyright (c) 1993-2004, CWI. All rights reserved.
# Compiled for i686-redhat-linux-gnu/32bit; dynamically linked.
# config:/ufs/mk/monet5/Linux/etc/MonetDB5.conf
# dbfarm:/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_mal
# Visit http://monetdb.cwi.nl/ for further information.
## The prototypical factory construct
#
#factory random(seed:int):int;
#	i:= seed;
#barrier always:= true;
#	i:= 125 *i;
#	i:= i % 32767;
#	yield i;
#	redo always;
#exit always;
#end;
factory user.random(seed:int):int;	# 0  (random:int)<-(seed:int)
    i := seed;	# 1  (i:int)<-(seed:int)
barrier always := true;	# 2  (always:bit)<-(_4:bit) jump 7
    i := calc.*(125,i);	# 3 CALCbinaryMULintint (i:int)<-(_5:int)(i:int)
    i := calc.%(i,32767);	# 4 CALCbinarycheckMODintint (i:int)<-(i:int)(_6:int)
    yield i;	# 5  (i:int)
    redo always;	# 6  (always:bit) jump 3
exit always;	# 7  (always:bit)
    return random := 0;	# 8  (random:int)<-(_7:int)
end random;	# 9  
#
#r1:= random(1);
#print(r1);
#r2:= random(34);
#print(r2);
#r2:= random(2);
#print(r2);
#r2:= random(2);
#print(r2);
#r2:= random(2);
#print(r2);
#r2:= random(2);
#print(r2);
#
function user.main():void;	# 0  (main:void)
# The prototypical factory construct 	# 1  (_1:str)
    r1 := user.random(1);	# 2  (r1:int)<-(_3:int)
    io.print(r1);	# 3 IOprint_val (_4:void)<-(r1:int)
    r2 := user.random(34);	# 4  (r2:int)<-(_6:int)
    io.print(r2);	# 5 IOprint_val (_7:void)<-(r2:int)
    r2 := user.random(2);	# 6  (r2:int)<-(_8:int)
    io.print(r2);	# 7 IOprint_val (_9:void)<-(r2:int)
    r2 := user.random(2);	# 8  (r2:int)<-(_8:int)
    io.print(r2);	# 9 IOprint_val (_10:void)<-(r2:int)
    r2 := user.random(2);	# 10  (r2:int)<-(_8:int)
    io.print(r2);	# 11 IOprint_val (_11:void)<-(r2:int)
    r2 := user.random(2);	# 12  (r2:int)<-(_8:int)
    io.print(r2);	# 13 IOprint_val (_12:void)<-(r2:int)
end main;	# 14  
[ 125 ]
[ 15625 ]
[ 19872 ]
[ 26475 ]
[ 32675 ]
[ 21267 ]

# 08:01:05 >  
# 08:01:05 >  Done.
# 08:01:05 >