tst3010.mal

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

#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);