casts.mal

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

io.printf("# casting to int\n");

io.print(0);
io.print(1);
io.print(32767);
io.print(32768);
io.print(32769);
io.print(2147483647);
io.print(2147483648);
io.print(2147483649);
io.print(-2147483647);
io.print(-2147483648);
io.print(-2147483649);

io.printf("# from bit\n");
bi:= true:int; io.print(bi);
bi:= false:int; io.print(bi);

io.printf("# from chr\n");
io.print('a':int);

io.printf("# from sht\n");
sh:= 1:sht; si:= calc.int(sh); io.print(si);
sh:= 32767:sht; si:= calc.int(sh); io.print(si);

io.printf("# from int\n");
io.print(1:int);
io.print(32767:int);
io.print(32768:int);
io.print(2147483647:int);
io.print(-2147483647:int);
i:= 2147483647:int+1:int;
io.print(i);

z:= -2147483647:int - 1:int;
io.print(z);
io.printf("# should this produce nil (overflow)?\n");
z:= 2147483647:int + 2:int;
io.print(z);
io.printf("# should this produce nil (overflow)?\n");
z:= -2147483647:int - 2:int;
io.print(z);

io.printf("# from lng\n");
io.print(1LL:int);
io.print(2147483647LL:int);
io.print(2147483648LL:int);
io.print(2147483649LL:int);
io.print(-2147483647LL:int);
io.print(-2147483648LL:int);
io.print(-2147483649LL:int);

io.printf("# from flt\n");
io.print(0.0:int);
io.print(0.1:int);
io.print(0.5:int);
io.print(0.9:int);
io.print(1.0:int);
io.print(-0.1:int);
io.print(-0.5:int);
io.print(-0.9:int);
io.print(-1.0:int);
io.print(2147483647.0:int);
io.print(2147483648.0:int);
io.print(2147483649.0:int);
io.print(-2147483647.0:int);
io.print(-2147483648.0:int);
io.print(-2147483649.0:int);

io.printf("# from dbl\n");
io.print(0.0LL:int);
io.print(0.1LL:int);
io.print(0.5LL:int);
io.print(0.9LL:int);
io.print(1.0LL:int);
io.print(-0.1LL:int);
io.print(-0.5LL:int);
io.print(-0.9LL:int);
io.print(-1.0LL:int);
io.print(2147483647.0LL:int);
io.print(2147483648.0LL:int);
io.print(2147483649.0LL:int);
io.print(-2147483647.0LL:int);
io.print(-2147483648.0LL:int);
io.print(-2147483649.0LL:int);

io.printf("# from oid\n");
io.print(2@0:int);
io.print(2@1:int);
io.print(2147483647@0:int);
io.print(2147483648@0:int);
io.print(2147483649@0:int);

io.printf("# from str\n");
io.print("0":int);
io.print("32767":int);
io.print("2147483647":int);
io.print("2147483648":int);
io.print("2147483649":int);
io.print("-2147483647":int);
io.print("-2147483648":int);
io.print("-2147483649":int);
io.print("":int);
io.print("random string":int);

io.printf("# to bit\n");

io.printf("# from bit\n");
io.print(true:bit);
io.print(false:bit);

io.printf("# from chr\n");
io.print('a':bit);
c:= 0:chr;
b:= calc.bit(c);
io.print(b);

io.printf("# from sht\n");
j:= 0:sht; b:= calc.bit(j); io.print(b);
j:= 1:sht; b:= calc.bit(j); io.print(b);
j:= -1:sht; b:= calc.bit(j); io.print(b);
j:= 4096:sht; b:= calc.bit(j); io.print(b);

io.printf("# from int\n");
io.print(0:bit);
io.print(1:bit);
io.print(-1:bit);
io.print(4096:bit);

io.printf("# from lng\n");
io.print(0LL:bit);
io.print(1LL:bit);
io.print(-1LL:bit);
io.print(4096LL:bit);

io.printf("# from flt\n");
io.print(0.0:bit);
io.print(0.1:bit);
io.print(1.0:bit);
io.print(-0.1:bit);
io.print(-1.0:bit);
io.print(4096.0:bit);

io.printf("# from dbl\n");
io.print(0.0LL:bit);
io.print(0.1LL:bit);
io.print(1.0LL:bit);
io.print(-0.1LL:bit);
io.print(-1.0LL:bit);
io.print(4096.0LL:bit);

io.printf("# from oid\n");
io.print(0@0:bit);
io.print(1@0:bit);
io.print(4096@0:bit);
io.print(1073741824@0:bit);
io.print(2147483647@0:bit);

io.printf("# from str\n");
io.print("true":bit);
io.print("false":bit);
io.print("0":bit);
io.print("1":bit);
io.print("random string":bit);
io.print("":bit);

io.printf("# to sht\n");

io.printf("# from bit\n");
io.print(true:sht);
io.print(false:sht);

io.printf("# from chr\n");
io.print('a':sht);
c:= 0:chr; cs:= calc.sht(c); io.print(cs);

io.printf("# from int\n");
io.print(0:sht);
io.print(32767:sht);
io.print(32768:sht);
io.print(32769:sht);
io.print(-32767:sht);
io.print(-32768:sht);
io.print(-32769:sht);
io.print(2147483647:sht);

io.printf("# from lng\n");
io.print(0LL:sht);
io.print(32767LL:sht);
io.print(32768LL:sht);
io.print(32769LL:sht);
io.print(-32767LL:sht);
io.print(-32768LL:sht);
io.print(-32769LL:sht);
io.print(2147483647LL:sht);

io.printf("# from flt\n");
io.print(0.0:sht);
io.print(0.1:sht);
io.print(0.5:sht);
io.print(0.9:sht);
io.print(1.0:sht);
io.print(-0.1:sht);
io.print(-0.5:sht);
io.print(-0.9:sht);
io.print(-1.0:sht);
io.print(32767.0:sht);
io.print(32768.0:sht);
io.print(32769.0:sht);
io.print(-32767.0:sht);
io.print(-32768.0:sht);
io.print(-32769.0:sht);

io.printf("# from dbl\n");
io.print(0.0LL:sht);
io.print(0.1LL:sht);
io.print(0.5LL:sht);
io.print(0.9LL:sht);
io.print(1.0LL:sht);
io.print(-0.1LL:sht);
io.print(-0.5LL:sht);
io.print(-0.9LL:sht);
io.print(-1.0LL:sht);
io.print(32767.0LL:sht);
io.print(32768.0LL:sht);
io.print(32769.0LL:sht);
io.print(-32767.0LL:sht);
io.print(-32768.0LL:sht);
io.print(-32769.0LL:sht);

io.printf("# from oid\n");
io.print(0@0:sht);
io.print(1@0:sht);
io.print(4096@0:sht);
io.print(1073741824@0:sht);
io.print(2147483647@0:sht);

io.printf("# from str\n");
io.print("0":sht);
io.print("32767":sht);
io.print("32768":sht);
io.print("32769":sht);
io.print("-32767":sht);
io.print("-32768":sht);
io.print("-32769":sht);
io.print("":sht);
io.print("random string":sht);

io.printf("# to long\n");

io.print(0LL);
io.print(1LL);
io.print(32767LL);
io.print(32768LL);
io.print(32769LL);
io.print(2147483647LL);
io.print(2147483648LL);
io.print(2147483649LL);
io.print(-2147483647LL);
io.print(-2147483648LL);
io.print(-2147483649LL);
io.print(9223372036854775807LL);
io.print(9223372036854775808LL);
io.print(9223372036854775809LL);
io.print(-9223372036854775807LL);
io.print(-9223372036854775808LL);
io.print(-9223372036854775809LL);

io.printf("# from bit\n");
io.print(true:lng);
io.print(false:lng);

io.printf("# from chr\n");
io.print('a':lng);

io.printf("# from sht\n");
ls:= 1:sht; ll:= calc.lng(ls); io.print(ll);
lk:= 32767:sht; ll:= calc.lng(lk); io.print(ll);

io.printf("# from int\n");
io.print(1:lng);
io.print(32767:lng);
io.print(32768:lng);
io.print(2147483647:lng);
io.print(-2147483647:lng);
lz:= 2147483647 +1;
l:= calc.lng(lz);
io.print(l);
lu:= -2147483647 -1;
l:= calc.lng(lu);
io.print(l);
io.printf("# should this produce nil (overflow)?\n");
la:= 2147483647 +2;
io.print(la);
io.printf("# should this produce nil (overflow)?\n");
lb:= -2147483647 -2;
io.print(lb);

io.printf("# from lng\n");
io.printf("# from flt\n");
io.print(0.0:lng);
io.print(0.1:lng);
io.print(0.5:lng);
io.print(0.9:lng);
io.print(1.0:lng);
io.print(-0.1:lng);
io.print(-0.5:lng);
io.print(-0.9:lng);
io.print(-1.0:lng);
io.print(2147483647.0:lng);
io.print(2147483648.0:lng);
io.print(2147483649.0:lng);
io.print(-2147483647.0:lng);
io.print(-2147483648.0:lng);
io.print(-2147483649.0:lng);
io.print(9223372036854775807.0:lng);
io.print(9223372036854775808.0:lng);
io.print(9223372036854775809.0:lng);
io.print(-9223372036854775807.0:lng);
io.print(-9223372036854775808.0:lng);
io.print(-9223372036854775809.0:lng);

io.printf("# from dbl\n");
io.print(0.0LL:lng);
io.print(0.1LL:lng);
io.print(0.5LL:lng);
io.print(0.9LL:lng);
io.print(1.0LL:lng);
io.print(-0.1LL:lng);
io.print(-0.5LL:lng);
io.print(-0.9LL:lng);
io.print(-1.0LL:lng);
io.print(2147483647.0LL:lng);
io.print(2147483648.0LL:lng);
io.print(2147483649.0LL:lng);
io.print(-2147483647.0LL:lng);
io.print(-2147483648.0LL:lng);
io.print(-2147483649.0LL:lng);
io.print(9223372036854775807.0LL:lng);
io.print(9223372036854775808.0LL:lng);
io.print(9223372036854775809.0LL:lng);
io.print(-9223372036854775807.0LL:lng);
io.print(-9223372036854775808.0LL:lng);
io.print(-9223372036854775809.0LL:lng);

io.printf("# from oid\n");
io.print(2@0:lng);
io.print(2@1:lng);
io.print(2147483647@0:lng);
io.print(2147483648@0:lng);
io.print(2147483649@0:lng);
io.print(9223372036854775807@0:lng);
io.print(9223372036854775808@0:lng);
io.print(9223372036854775809@0:lng);

io.printf("# from str\n");
io.print("0":lng);
io.print("32767":lng);
io.print("2147483647":lng);
io.print("2147483648":lng);
io.print("2147483649":lng);
io.print("-2147483647":lng);
io.print("-2147483648":lng);
io.print("-2147483649":lng);
io.print("":lng);
io.print("random string":lng);
io.print("9223372036854775807":lng);
io.print("9223372036854775808":lng);
io.print("9223372036854775809":lng);
io.print("-9223372036854775807":lng);
io.print("-9223372036854775808":lng);
io.print("-9223372036854775809":lng);

io.printf("# to flt\n");

io.printf("# from bit\n");
io.print(true:flt);
io.print(false:flt);

io.printf("# from chr\n");
io.print('a':flt);

io.printf("# from sht\n");
s1:= 1:sht; f1:= calc.flt(s1); io.print(f1);
s1:= 32767:sht; f1:= calc.flt(s1); io.print(f1);

io.printf("# from int\n");
io.print(1:flt);
io.print(32767:flt);
io.print(32768:flt);
io.print(2147483647:flt);
io.print(-2147483647:flt);
fl:= 2147483647+1;
f:= calc.flt(fl);
io.print(f);
fi:= -2147483647-1;
f:= calc.flt(fi);
io.print(f);
io.printf("# should this produce nil (overflow)?\n");
ff:= 2147483647+1;
f:= calc.flt(ff);
io.print(f);
io.printf("# should this produce nil (overflow)?\n");
fg:= -2147483647 -2;
f:= calc.flt(fg);
io.print(f);

io.printf("# from lng\n");
io.print(1LL:flt);
io.print(2147483647LL:flt);
io.print(2147483648LL:flt);
io.print(2147483649LL:flt);
io.print(-2147483647LL:flt);
io.print(-2147483648LL:flt);
io.print(-2147483649LL:flt);
io.print(9223372036854775807LL:flt);
io.print(9223372036854775808LL:flt);
io.print(9223372036854775809LL:flt);
io.print(-9223372036854775807LL:flt);
io.print(-9223372036854775808LL:flt);
io.print(-9223372036854775809LL:flt);

io.printf("# from dbl\n");
io.print(0.0LL:flt);
io.print(0.1LL:flt);
io.print(0.5LL:flt);
io.print(0.9LL:flt);
io.print(1.0LL:flt);
io.print(-0.1LL:flt);
io.print(-0.5LL:flt);
io.print(-0.9LL:flt);
io.print(-1.0LL:flt);
io.print(2147483647.0LL:flt);
io.print(2147483648.0LL:flt);
io.print(2147483649.0LL:flt);
io.print(-2147483647.0LL:flt);
io.print(-2147483648.0LL:flt);
io.print(-2147483649.0LL:flt);

io.printf("# from oid\n");
io.print(2@0:flt);
io.print(2@1:flt);
io.print(2147483647@0:flt);
io.print(2147483648@0:flt);
io.print(2147483649@0:flt);

io.printf("# from str\n");
io.print("0":flt);
io.print("32767":flt);
io.print("2147483647":flt);