A transaction consists of several statements. Statements are separated by semicolons and can be empty.
StatSeq = Stat { ";" Stat }.dcltrans
transaction TInit
var
bOk: boolean;
begin
write("initializing..."); writeln;
bOk := InitBuffer(512);
if bOk then
writeln("successfully initialized")
else
writeln("failure")
end
end TInit;initializing... successfully initialized