Professional Documents
Culture Documents
Fifteenth
Fifteenth
Fifteenth
record
string(20) x;
decimal(5) y;
int is_valid_y() = (y > 0);
end
out :: cleanse(in) =
begin
out.x : : in.x;
out.y :1: if (in.y < 0) -in.y;
out.y :2: 99999;
end;