📄 tst4602.stable.out
字号:
stdout of test 'tst4602` in directory 'src/optimizer` itself:# 20:03:29 > # 20:03:29 > Mtimeout -timeout 60 mserver5 "--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/dblogs" --set mapi_port=33831 --set monet_prompt= --trace --dbname=mTests_src_optimizer tst4602.mal < /dev/null# 20:03:29 > # MonetDB Server v4.99.19# Copyright (c) 1993-2006 CWI, all rights reserved# Compiled for x86_64-redhat-linux-gnu/64bit with 64bit OIDs dynamically linked# config:/ufs/mk/monet5/Linux/etc/MonetDB5.conf# dbfarm:/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm# dbname:mTests_src_optimizer# Visit http://monetdb.cwi.nl/ for further information## the first test for macro expansions and inversions## error handling#function welcome(lim:int):int;# i:= 0;#barrier j:= i<lim;# io.print("Welcome");# i:= i+1;# redo j:= i<lim;# return i;#exit j;#end welcome;function user.welcome(lim:int):int; # 0 (welcome:int)<-(lim:int) i := 0; # 1 (i:int)<-(_3:int)barrier j := calc.<(i,lim); # 2 CALCcompLTintint (j:bit)<-(i:int)(lim:int) jump 7 io.print("Welcome"); # 3 IOprint_val (_5:void)<-(_6:str) i := calc.+(i,1); # 4 CALCbinaryADDintint (i:int)<-(i:int)(_7:int) redo j := calc.<(i,lim); # 5 CALCcompLTintint (j:bit)<-(i:int)(lim:int) jump 3 return i; # 6 (i:int)exit j; # 7 (j:bit)end welcome; # 8 ##optimizer.macroExpansion("user","welcome");##io.print("test expansion");#a:= user.welcome(2);#mdb.list();#!MALException:optimizer.MACROvalidate:RETURN statement is not the last one# 20:03:29 > # 20:03:29 > Done.# 20:03:29 >
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -