begin model cycle
| begin input variables
| | n : int;
| | | cycle.c 1.13--2.6: "input int n;"
| end input variables;
| begin output variables
| | m : int;
| | | cycle.c 3.13--4.6: "output int m;"
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | cycle.c 6.0--6.11: "void main()"
| | | start location : 0;
| | | begin location 0
| | | | kind : CHOICE;
| | | | when n==0 goto location 0;
| | | | | cycle.c 7.1--7.13: "while (n==0)"
| | | | when !(n==0) goto location 1;
| | | | | cycle.c 7.1--7.13: "while (n==0)"
| | | end location 0;
| | | begin location 1
| | | | kind : ASSIGNMENT;
| | | | m = 1; goto location 2;
| | | | | cycle.c 8.1--8.5: "m=1;"
| | | end location 1;
| | | begin location 2
| | | | kind : RETURN;
| | | | return null; goto location 3;
| | | | | cycle.c 9.0--9.0: "}"
| | | end location 2;
| | | begin location 3
| | | | kind : TERMINAL;
| | | end location 3;
| | end function main;
| end process 0;
end model cycle.
