no.119.mils

来自「一个内存数据库的源代码这是服务器端还有客户端」· MILS 代码 · 共 42 行

# >Number:         119
# >Category:       Module_kernel
# >Synopsis:       thetajoin gives incorrect output
# >Confidential:   no
# >Severity:       serious
# >Priority:       medium
# >Responsible:    boncz
# >State:          open
# >Class:          sw-bug
# >Submitter-Id:   unknown
# >Arrival-Date:   Wed Feb 11 11:26:18 1998
# >Originator:     niels
# >Organization:
# CWI
# >Release:        971007
# >Environment:
# All
# >Description:
# Simple script 
# a.insert(1,2);
# a.insert(2,1);
# a.thetajoin(a,LT).print();
# 2 1
# 2 2
# 1 1 
# 1 2

# Since this report was submitted, thetajoin has grown a 4th argument:
# the estimated length of the result

setoid(oid(20000000));
var a := new(int,int);
a.insert(1,3);
a.insert(2,2);
a.insert(3,1);
a.thetajoin(a,LT,lng(nil)).print();
a.thetajoin(a,LE,lng(nil)).print();
a.thetajoin(a,EQ,lng(nil)).print();
a.thetajoin(a,GE,lng(nil)).print();
a.thetajoin(a,GT,lng(nil)).print();
quit();