| File | parse-report-errors.str |
| Author | Martin Bravenboer |
| Since | unknown |
| General | |
| Lines of code | 47 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 4 (50% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| parse-xtc-file-pt-report-errors(ATerm tbl, ATerm sort) | n/a | parse-report-errors.str |
| parse-xtc-file-report-errors(ATerm tbl, ATerm sort) | n/a | parse-report-errors.str |
| strsglr-perror | n/a | parse-report-errors.str |
| strsglr-report-parse-error | n/a | parse-report-errors.str |
Strategy details |
|||||||||||||||
| ATerm | parse-xtc-file-pt-report-errors(ATerm tbl, ATerm sort) | ||||||||||||||
No information available. |
|||||||||||||||
| ATerm | parse-xtc-file-report-errors(ATerm tbl, ATerm sort) | ||||||||||||||
No information available. |
|||||||||||||||