tst010.mal

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

# syntax analysis test for guarded blocks, redo's and leave's
# forcefully end the block, because the parser counts barrier/exit pairs
barrier	L:= 1;
	#do it
	leave Z;	# not known in block
	redo L;
exit 	L;
	redo L;		# outside block
	leave X;	# outside block
	redo A;		# outside block
barrier X:=1;
	leave L;	# outside block
	leave X;
	redo L;		# outside block
exit	X;
barrier A:=1;
	barrier B:= 1;
		redo A;
	exit	B;
	barrier C:=1;
		leave A;
	exit 	C;

	exit	B;	# out of order
	exit	F;	# unknown

	barrier D:=1;
		leave D;
		redo  D;  # dead code
	exit	D;
	barrier D:=2;		# duplicate block
	exit	D;
exit	A;
barrier  unfinished:= 1;
	f:=1;
end;