id.987455.mal

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

# Monet Mil to Mal compiler
# Copyright (c) 2001-2004, CWI. All rights reserved.

#Predefined code segment
#The compiler can not guarantee an accurate compilation,
#because MIL unlike MAL is a dynamically typed language.
#A few guidelines to maximize usefullness.
#- make the type of variables explicit, in particular 'nil'
#- upon advice of M2m to remap identifiers, change it in your program directly
#use the "mil_schema" for additional support routines
#	io.print("var a:=new(oid,int).insert(0@0,0).access(BAT_READ);");
	aa_a := new(nil:oid,nil:int);
	BAT_READ:= mil.take("BAT_READ");
	ba_a := insert(aa_a,0@0,0);
	a := access(ba_a,BAT_READ);
#	io.print("var b:=new(oid,int).insert(1@0,1).access(BAT_READ);");
	ca_a := new(nil:oid,nil:int);
	da_a := insert(ca_a,1@0,1);
	b := access(da_a,BAT_READ);
#	io.print("var x:=new(oid,int).insert(a).insert(b).access(BAT_READ).reverse();");
	ea_a := new(nil:oid,nil:int);
	fa_a := insert(ea_a,a);
	ga_a := insert(fa_a,b);
	ha_a := access(ga_a,BAT_READ);
	x := reverse(ha_a);
#	io.print("var c:=b.kunion(a);");
	c := kunion(b,a);
#	io.print("var d:=a.kunion(b);");
	d := kunion(a,b);
#	io.print("x.print();");
	ia_a := print(x);
#	io.print("c.print();");
	ja_a := print(c);
#	io.print("d.print();");
	ka_a := print(d);
#	io.print("x.reverse().seqbase().print();");
	la_a := reverse(x);
	na_a := print(ma_a);
#	io.print("c.seqbase().print();");
	pa_a := print(oa_a);
#	io.print("d.seqbase().print();");
	ra_a := print(qa_a);
#	io.print("var e:=x.join(c);");
	e := join(x,c);
#	io.print("var f:=x.join(d);");
	f := join(x,d);
#	io.print("e.count().print();");
	sa_a := count(e);
	ta_a := print(sa_a);
#	io.print("f.count().print();");
	ua_a := count(f);
	va_a := print(ua_a);
#	io.print("e.print();");
	wa_a := print(e);
#	io.print("f.print();");
	xa_a := print(f);