File | NarrowingPrimitive.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
5.1.3: Narrowing Primitive Conversions
General | |
Lines of code | 35 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 6 (0% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
is-narrowing-primitive-convertable(ATerm t) | n/a | NarrowingPrimitive.str |
is-narrowing-primitive-convertable(ATerm t) | n/a | NarrowingPrimitive.str |
is-narrowing-primitive-convertable(ATerm t) | n/a | NarrowingPrimitive.str |
is-narrowing-primitive-convertable(ATerm t) | n/a | NarrowingPrimitive.str |
is-narrowing-primitive-convertable(ATerm t) | n/a | NarrowingPrimitive.str |
is-narrowing-primitive-convertable(ATerm t) | n/a | NarrowingPrimitive.str |