tst3010.mal

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

#Parsing properties and keeping them around
function add(i:int{readonly},j:int{readonly}):int{writeable,safe};
	j:= j+i;
	return j;
end add;

function add2(i:int,j:int):int{safe};
	k:= j+i;
	return k;
end ;

i{cost=23}:= 23;
z:= user.add(i,i); #violates properties
kk:= user.add2(i,i);