| File | Main.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
Report the errors of a Java CompilationUnit
| General | |
| Lines of code | 233 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 19 (57% documented) |
| Rule number | 0 |
| DynamicRule number | 5 (0% documented) |
Constructor summary |
||
| DryadError(ATerm , ATerm ) | n/a | Main.str |
| DryadWarning(ATerm , ATerm ) | n/a | Main.str |
Strategy summary |
||
| dryad-collect-errors | n/a | Main.str |
| dryad-errors | Collect all type checker errors and report them using dryad-simple-error-report | Main.str |
| dryad-fetch-error | Innermost type error in expression | Main.str |
| dryad-fetch-error | n/a | Main.str |
| dryad-fetch-error | Foreach assignment without conversion | Main.str |
| dryad-if-innermost-error(Strategy ifthen) | Apply 'ifthen' if this is an innermost error | Main.str |
| dryad-if-innermost-error(Strategy ifthen, Strategy ifelse) | Apply 'ifthen' if this is an innermost error | Main.str |
| dryad-simple-error-report | n/a | Main.str |
| sub-expressions | Returns the sub-expressions of an expression | Main.str |
Strategy details |
|||||||||||
| ATerm | dryad-errors | ||||||||||
Collect all type checker errors and report them usingdryad-simple-error-report. |
|||||||||||
| ATerm | dryad-fetch-error | ||||||||||
Innermost type error in expression. |
|||||||||||
| ATerm | dryad-fetch-error | ||||||||||
Foreach assignment without conversion. |
|||||||||||
| ATerm | dryad-if-innermost-error(Strategy ifthen) | ||||||||||
Apply 'ifthen' if this is an innermost error. |
|||||||||||
| ATerm | dryad-if-innermost-error(Strategy ifthen, Strategy ifelse) | ||||||||||
Apply 'ifthen' if this is an innermost error. Otherwise apply ifelse. |
|||||||||||
| ATerm | dryad-simple-error-report | ||||||||||
No information available.
|
|||||||||||
| ATerm | sub-expressions | ||||||||||
Returns the sub-expressions of an expression.
|
|||||||||||