begin model filte
| begin input variables
| | N : int;
| | | filte-tass.c 2.13--3.6: "input { N < 5 }int N;"
| end input variables;
| begin output variables
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | filte-tass.c 5.0--5.11: "void main()"
| | | begin proper local variables
| | | | S : real;
| | | | | filte-tass.c 6.1--6.10: "double S;"
| | | | S0 : real;
| | | | | filte-tass.c 7.1--7.11: "double S0;"
| | | | S1 : real;
| | | | | filte-tass.c 8.1--8.11: "double S1;"
| | | | E : real;
| | | | | filte-tass.c 9.1--9.10: "double E;"
| | | | E0 : real;
| | | | | filte-tass.c 10.1--10.11: "double E0;"
| | | | E1 : real;
| | | | | filte-tass.c 11.1--11.11: "double E1;"
| | | | i : int;
| | | | | filte-tass.c 12.1--12.7: "int i;"
| | | | j : int;
| | | | | filte-tass.c 13.1--13.7: "int j;"
| | | end proper local variables;
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | S = 0; goto location 1;
| | | | | filte-tass.c 15.1--15.9: "S = 0.0;"
| | | end location 0;
| | | begin location 1
| | | | kind : ASSIGNMENT;
| | | | S0 = 0; goto location 2;
| | | | | filte-tass.c 16.1--16.9: "S0= 0.0;"
| | | end location 1;
| | | begin location 2
| | | | kind : ASSIGNMENT;
| | | | S1 = 0; goto location 3;
| | | | | filte-tass.c 17.1--17.9: "S1= 0.0;"
| | | end location 2;
| | | begin location 3
| | | | kind : ASSIGNMENT;
| | | | i = 1; goto location 4;
| | | | | filte-tass.c 20.6--20.9: "i=1"
| | | end location 3;
| | | begin location 4
| | | | kind : CHOICE;
| | | | when i < N goto location 5;
| | | | | filte-tass.c 20.1--20.18: "for (i=1;i<N;i++)"
| | | | when !i < N goto location 11;
| | | | | filte-tass.c 20.1--20.18: "for (i=1;i<N;i++)"
| | | end location 4;
| | | begin location 5
| | | | kind : ASSIGNMENT;
| | | | E1 = E0; goto location 6;
| | | | | filte-tass.c 21.2--21.10: "E1 = E0;"
| | | end location 5;
| | | begin location 6
| | | | kind : ASSIGNMENT;
| | | | E0 = E; goto location 7;
| | | | | filte-tass.c 22.2--22.9: "E0 = E;"
| | | end location 6;
| | | begin location 7
| | | | kind : ASSIGNMENT;
| | | | S1 = S0; goto location 8;
| | | | | filte-tass.c 24.2--24.10: "S1 = S0;"
| | | end location 7;
| | | begin location 8
| | | | kind : ASSIGNMENT;
| | | | S0 = S; goto location 9;
| | | | | filte-tass.c 25.2--25.9: "S0 = S;"
| | | end location 8;
| | | begin location 9
| | | | kind : ASSIGNMENT;
| | | | S = (((((7/10)*E)-((13/10)*E0))+((11/10)*E1))+((7/5)*S0))-((7/10)*S1); goto location 10;
| | | | | filte-tass.c 26.2--26.49: "S  = 0.7*E - 1.3*E0 + 1.1*E1 + 1.4*S0 - 0.7*S1;"
| | | end location 9;
| | | begin location 10
| | | | kind : ASSIGNMENT;
| | | | i = i+1; goto location 4;
| | | | | filte-tass.c 20.14--20.17: "i++"
| | | end location 10;
| | | begin location 11
| | | | kind : RETURN;
| | | | return null; goto location 12;
| | | | | filte-tass.c 29.0--29.0: "}"
| | | end location 11;
| | | begin location 12
| | | | kind : TERMINAL;
| | | end location 12;
| | end function main;
| end process 0;
end model filte.
