WideningPrimitive

File WideningPrimitive.str
Author Martin Bravenboer <martin@cs.uu.nl>
Since unknown

5.1.2: Widening Primitive Conversion




Statistics


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 )
File WideningPrimitive.str
Author unknown
Since unknown
 
Parameters
ATerm From
ATerm To

No information available.



 

Strategy details


ATerm is-widening-primitive-convertable(ATerm to)
File WideningPrimitive.str
Author unknown
Since unknown
 
Parameters
ATerm to t Type

Checks if the type (current term) is convertable to type t by awidening primitive conversion.


type Type -> Type

 
ATerm result-of-conversion
File WideningPrimitive.str
Author unknown
Since unknown
 

Returns the result type of this conversion.


type Conversion -> Type

 
ATerm widening-primitive-conversion(ATerm to)
File WideningPrimitive.str
Author unknown
Since unknown
 

Fails if there is no widening primitive conversion.


type Type -> WideningPrimitiveConversion.

 

Rule details


ATerm types-of-conversion
File WideningPrimitive.str
Author unknown
Since unknown
 

Returns the types involved in this widening primitive conversion.