tst102.stable.out

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

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


# 22:05:24 >  
# 22:05:24 >  Mtimeout -timeout 60 Mserver "--config=/ufs/mk/monet5/src/mal/Tests/All.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/opensource/MonetDB/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/log" --set mapi_port=33151 --set sql_port=48428 --set xquery_port=57435 --set monet_prompt= --trace "--config=/ufs/mk/monet5/src/mal/Tests/All.conf" --dbname=mTests_src_mal  tst102.mal < /dev/null
# 22:05:24 >  

# Monet Database Server V4.99.19
# Copyright (c) 1993-2005, CWI. All rights reserved.
# Compiled for x86_64-redhat-linux-gnu/64bit with 32bit OIDs; dynamically linked.
# config:/ufs/mk/monet5/src/mal/Tests/All.conf
# dbfarm:/ufs/mk/opensource/MonetDB/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_mal
# Visit http://monetdb.cwi.nl/ for further information.
## the calls are wrong, they violate the type constraint
#command + (L:any_1, R:any_1):any_1 
!MALException:MAL.getAddress:address of 'user.addIntInt' not found
command user.+(L:any_1,R:any_1):any_1 address addIntInt;	# 0  dynamic (+:any_1)<-(L:any_1)(R:any_1)
#
#a:=1+"hello";
#b:=3.5+1;
#
!TypeException:user.main[2]:'calc.+' undefined in: a:any := calc.+(_3:int, _4:str)

function user.main():void;	# 0  (main:void)
# the calls are wrong, they violate the type constraint 	# 1  (_1:str)
    a := calc.+(1,"hello");	# 2  unknown (a:any)<-(_3:int)(_4:str)
    b := calc.+(3.5,1);	# 3 CALCbinaryADDfltint (b:flt)<-(_6:flt)(_3:int)
end main;	# 4  

# 22:05:24 >  
# 22:05:24 >  Done.
# 22:05:24 >