| File | CastingConversion.str |
| Author | Martin Bravenboer |
| Since | unknown |
5.5: Casting Conversion
| General | |
| Lines of code | 48 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 3 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| is-casting-convertable(ATerm to) | Primitive type | CastingConversion.str |
| is-casting-convertable(ATerm to) | Reference Type | CastingConversion.str |
| is-casting-convertable(ATerm to) | Null can be cast to any reference type | CastingConversion.str |
Strategy details |
|||||||||||
| ATerm | is-casting-convertable(ATerm to) | ||||||||||
Primitive type |
|||||||||||
| ATerm | is-casting-convertable(ATerm to) | ||||||||||
Reference Type |
|||||||||||
| ATerm | is-casting-convertable(ATerm to) | ||||||||||
Null can be cast to any reference type.
|
|||||||||||