| File | FormalParameters.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
| General | |
| Lines of code | 36 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 3 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| declare-formal-parameters(Strategy cont) | Declares formal parameters of a method declaration | FormalParameters.str |
| declare-formal-parameters(Strategy cont) | Declares formal parameters of a constructor declaration | FormalParameters.str |
| declare-formal-parameters(Strategy cont) | Declares formal catch parameters | FormalParameters.str |
Strategy details |
|||||||||
| ATerm | declare-formal-parameters(Strategy cont) | ||||||||
Declares formal parameters of a method declaration |
|||||||||
| ATerm | declare-formal-parameters(Strategy cont) | ||||||||
Declares formal parameters of a constructor declaration |
|||||||||
| ATerm | declare-formal-parameters(Strategy cont) | ||||||||
Declares formal catch parameters. |
|||||||||