Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 5563 | serge | 1 | ((declare (in) float aa) (declare (in) float ab) (declare (in) float b) |
| 2 | (declare (in) float c) |
||
| 3 | (declare (out) float d) |
||
| 4 | (function main |
||
| 5 | (signature void (parameters) |
||
| 6 | ((declare (temporary) bool execute_flag) |
||
| 7 | (assign (x) (var_ref execute_flag) (constant bool (1))) |
||
| 8 | (declare (temporary) bool return_flag) |
||
| 9 | (assign (x) (var_ref return_flag) (constant bool (0))) |
||
| 10 | (if (expression bool > (var_ref aa) (constant float (0.000000))) |
||
| 11 | ((if (expression bool > (var_ref ab) (constant float (0.000000))) |
||
| 12 | ((assign (x) (var_ref return_flag) (constant bool (1))) |
||
| 13 | (assign (x) (var_ref execute_flag) (constant bool (0)))) |
||
| 14 | ())) |
||
| 15 | ()) |
||
| 16 | (if (var_ref execute_flag) |
||
| 17 | ((loop () () () () |
||
| 18 | ((if (expression bool > (var_ref b) (constant float (0.000000))) |
||
| 19 | ((if (expression bool > (var_ref c) (constant float (0.000000))) () |
||
| 20 | (continue))) |
||
| 21 | ((assign (x) (var_ref return_flag) (constant bool (1))))) |
||
| 22 | break)) |
||
| 23 | (if (var_ref return_flag) () |
||
| 24 | ((assign (x) (var_ref d) (constant float (1.000000)))))) |
||
| 25 | ()))))) |