IdentityConversion

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

5.1.1: Identity Conversions




Statistics


General
Lines of code 50
Stratego
Module number 1 (100% documented)
Constructor number 1 (100% documented)
Overlay number 0
Strategy number 2 (50% documented)
Rule number 3 (100% documented)
DynamicRule number 0



Constructor summary


IdentityConversion(ATerm ) n/a IdentityConversion.str

Strategy summary


identity-conversion n/a IdentityConversion.str
is-identity-convertable(ATerm to) Succeeds if the type is convertable to the argument type by identity conversion IdentityConversion.str

Rule summary


identity-conversion(ATerm to) n/a IdentityConversion.str
result-of-conversion Returns the result type of this IdentityConversion IdentityConversion.str
types-of-conversion Returns the types involved in this IdentityConversion IdentityConversion.str



Constructor details


IdentityConversion(ATerm )
File IdentityConversion.str
Author unknown
Since unknown
 
Parameters
ATerm The type that is subjected to identity conversion.

No information available.



 

Strategy details


ATerm is-identity-convertable(ATerm to)
File IdentityConversion.str
Author unknown
Since unknown
 
Parameters
ATerm to Type

Succeeds if the type is convertable to the argument type by identity conversion.


type Type -> Type

 

Rule details


ATerm identity-conversion(ATerm to)
File IdentityConversion.str
Author unknown
Since unknown
 

No information available.


type Type -> IdentityConversion

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

Returns the result type of this IdentityConversion.


type IdentityConversion -> Type

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

Returns the types involved in this IdentityConversion.


type IdentityConversion -> List(Type)