| File | Erasure.str |
| Author | Martin Bravenboer |
| Since | unknown |
4.6: Type Erasure
| General | |
| Lines of code | 49 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 4 (75% documented) |
| Rule number | 4 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| get-upper-bound | n/a | Erasure.str |
| get-upper-bound | n/a | Erasure.str |
| type-erasure | n/a | Erasure.str |
| type-erasure-nested-type(Strategy rec) | n/a | Erasure.str |
Rule summary |
||
| type-erasure-array-type(Strategy rec) | n/a | Erasure.str |
| type-erasure-parameterized-type(Strategy rec) | n/a | Erasure.str |
| type-erasure-parameterized-type(Strategy rec) | n/a | Erasure.str |
| type-erasure-type-variable(Strategy rec) | n/a | Erasure.str |
Strategy details |
|||||||||||
| ATerm | get-upper-bound | ||||||||||
No information available.
|
|||||||||||
| ATerm | get-upper-bound | ||||||||||
No information available.
|
|||||||||||
| ATerm | type-erasure-nested-type(Strategy rec) | ||||||||||
No information available.
|
|||||||||||