begin model assoc
| begin input variables
| end input variables;
| begin output variables
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | assoc-tass.c 1.0--1.11: "void main()"
| | | begin proper local variables
| | | | x : real;
| | | | | assoc-tass.c 3.1--3.10: "double x;"
| | | | y : real;
| | | | | assoc-tass.c 4.1--4.10: "double y;"
| | | | z : real;
| | | | | assoc-tass.c 5.1--5.10: "double z;"
| | | | t : real;
| | | | | assoc-tass.c 6.1--6.10: "double t;"
| | | | u : real;
| | | | | assoc-tass.c 7.1--7.10: "double u;"
| | | end proper local variables;
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | z = x+y; goto location 1;
| | | | | assoc-tass.c 9.1--9.9: "z = x+y;"
| | | end location 0;
| | | begin location 1
| | | | kind : ASSIGNMENT;
| | | | t = z-x; goto location 2;
| | | | | assoc-tass.c 10.1--10.9: "t = z-x;"
| | | end location 1;
| | | begin location 2
| | | | kind : ASSIGNMENT;
| | | | u = t-y; goto location 3;
| | | | | assoc-tass.c 11.1--11.9: "u = t-y;"
| | | end location 2;
| | | begin location 3
| | | | kind : RETURN;
| | | | return null; goto location 4;
| | | | | assoc-tass.c 13.0--13.0: "}"
| | | end location 3;
| | | begin location 4
| | | | kind : TERMINAL;
| | | end location 4;
| | end function main;
| end process 0;
end model assoc.
