File | WideningPrimitive.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
5.1.2: Widening Primitive Conversion
General | |
Lines of code | 95 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (100% documented) |
Overlay number | 0 |
Strategy number | 3 (100% documented) |
Rule number | 7 (14% documented) |
DynamicRule number | 0 |
Constructor summary |
||
WideningPrimitiveConversion(ATerm , ATerm ) | n/a | WideningPrimitive.str |
Strategy summary |
||
is-widening-primitive-convertable(ATerm to) | Checks if the type (current term) is convertable to type t by a widening primitive conversion | WideningPrimitive.str |
result-of-conversion | Returns the result type of this conversion | WideningPrimitive.str |
widening-primitive-conversion(ATerm to) | Fails if there is no widening primitive conversion | WideningPrimitive.str |
Rule summary |
||
types-of-conversion | Returns the types involved in this widening primitive conversion | WideningPrimitive.str |
widening-primitive-conversions | n/a | WideningPrimitive.str |
widening-primitive-conversions | n/a | WideningPrimitive.str |
widening-primitive-conversions | n/a | WideningPrimitive.str |
widening-primitive-conversions | n/a | WideningPrimitive.str |
widening-primitive-conversions | n/a | WideningPrimitive.str |
widening-primitive-conversions | n/a | WideningPrimitive.str |
Constructor details |
|||||||||||||||
WideningPrimitiveConversion(ATerm , ATerm ) | |||||||||||||||
No information available. |
|||||||||||||||
Strategy details |
|||||||||||||||
ATerm | is-widening-primitive-convertable(ATerm to) | ||||||||||||||
Checks if the type (current term) is convertable to type t by awidening primitive conversion.
|
|||||||||||||||
ATerm | result-of-conversion | ||||||||||||||
Returns the result type of this conversion.
|
|||||||||||||||
ATerm | widening-primitive-conversion(ATerm to) | ||||||||||||||
Fails if there is no widening primitive conversion.
|
|||||||||||||||
Rule details |
|||||||||
ATerm | types-of-conversion | ||||||||
Returns the types involved in this widening primitive conversion. |
|||||||||