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