| File | Reifiable.str |
| Author | Martin Bravenboer |
| Since | unknown |
4.7: Reifiable Types
| General | |
| Lines of code | 42 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 7 (57% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| is-reifiable-type | Refers to a non-generic type declaration | Reifiable.str |
| is-reifiable-type | Parameterized type in which all type arguments are unbounded wildcards | Reifiable.str |
| is-reifiable-type | n/a | Reifiable.str |
| is-reifiable-type | n/a | Reifiable.str |
| is-reifiable-type | Raw type | Reifiable.str |
| is-reifiable-type | Array type whose component type is reifiable | Reifiable.str |
| type-args-unbounded-wildcards | n/a | Reifiable.str |
Strategy details |
|||||||||||
| ATerm | is-reifiable-type | ||||||||||
Refers to a non-generic type declaration.
|
|||||||||||
| ATerm | is-reifiable-type | ||||||||||
Parameterized type in which all type arguments are unbounded wildcards. |
|||||||||||
| ATerm | is-reifiable-type | ||||||||||
Raw type |
|||||||||||
| ATerm | is-reifiable-type | ||||||||||
Array type whose component type is reifiable. |
|||||||||||