| File | Check.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
| General | |
| Lines of code | 34 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 4 (75% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| check-ambnames | Reports an error if the compilation unit still contains ambiguous constructs | Check.str |
| check-qualifiers | Report an error if there are unqualified names left | Check.str |
| is-ambiguous-construct | Succeeds if the current term is in any way ambiguous | Check.str |
| is-unqualified-name | n/a | Check.str |
Strategy details |
|||||||||
| ATerm | check-ambnames | ||||||||
Reports an error if the compilation unit still containsambiguous constructs. |
|||||||||
| ATerm | check-qualifiers | ||||||||
Report an error if there are unqualified names left. |
|||||||||
| ATerm | is-ambiguous-construct | ||||||||
Succeeds if the current term is in any way ambiguous. |
|||||||||