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.
|
|||||||||||