Reifiable

File Reifiable.str
Author Martin Bravenboer
Since unknown

4.7: Reifiable Types




Statistics


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
File Reifiable.str
Author unknown
Since unknown
 

Refers to a non-generic type declaration.


todo When does a type refer to a non-generic type declaration?

 
ATerm is-reifiable-type
File Reifiable.str
Author unknown
Since unknown
 

Parameterized type in which all type arguments are unbounded wildcards.



 
ATerm is-reifiable-type
File Reifiable.str
Author unknown
Since unknown
 

Raw type



 
ATerm is-reifiable-type
File Reifiable.str
Author unknown
Since unknown
 

Array type whose component type is reifiable.