File | Subtyping.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
4.10: Subtyping
General | |
Lines of code | 195 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 16 (62% documented) |
Rule number | 8 (12% documented) |
DynamicRule number | 0 |
Strategy summary |
||
direct-supertypes | Case: Class, raw or unparameterized | Subtyping.str |
direct-supertypes | Case: Interface, raw or unparameterized | Subtyping.str |
direct-supertypes | Case: Class, parameterized | Subtyping.str |
direct-supertypes | Case: Interface, parameterized | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes-of-class-helper(ATerm type) | n/a | Subtyping.str |
direct-supertypes-of-interface-helper(ATerm type) | n/a | Subtyping.str |
have-subtype-relation(ATerm t1, ATerm t2) | Checks if the two type arguments have a subtype relation | Subtyping.str |
is-proper-subtype(ATerm type) | n/a | Subtyping.str |
is-proper-supertype(ATerm of) | Checks if the current term is a proper supertype of the specified type | Subtyping.str |
is-subtype(ATerm type) | Checks if the current term is a subtype of the specified type | Subtyping.str |
is-subtype(ATerm type) | The special Null type is a subtype of every type | Subtyping.str |
proper-supertypes | Returns all (not just the direct) proper supertypes of the given Type | Subtyping.str |
supertypes | Returns all (not just the direct) proper supertypes of the given Type | Subtyping.str |
Rule summary |
||
direct-supertypes | Returns the direct supertypes of a type | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
direct-supertypes | n/a | Subtyping.str |
Strategy details |
|||||||||||||||
ATerm | direct-supertypes | ||||||||||||||
Case: Class, raw or unparameterized. |
|||||||||||||||
ATerm | direct-supertypes | ||||||||||||||
Case: Interface, raw or unparameterized. |
|||||||||||||||
ATerm | direct-supertypes | ||||||||||||||
Case: Class, parameterized.
|
|||||||||||||||
ATerm | direct-supertypes | ||||||||||||||
Case: Interface, parameterized. |
|||||||||||||||
ATerm | have-subtype-relation(ATerm t1, ATerm t2) | ||||||||||||||
Checks if the two type arguments have a subtype relation. |
|||||||||||||||
ATerm | is-proper-supertype(ATerm of) | ||||||||||||||
Checks if the current term is a proper supertype of the specified type |
|||||||||||||||
ATerm | is-subtype(ATerm type) | ||||||||||||||
Checks if the current term is a subtype of the specified type.
|
|||||||||||||||
ATerm | is-subtype(ATerm type) | ||||||||||||||
The special Null type is a subtype of every type.
|
|||||||||||||||
ATerm | proper-supertypes | ||||||||||||||
Returns all (not just the direct) proper supertypes of the given Type.
|
|||||||||||||||
ATerm | supertypes | ||||||||||||||
Returns all (not just the direct) proper supertypes of the given Type.
|
|||||||||||||||
Rule details |
|||||||||||
ATerm | direct-supertypes | ||||||||||
Returns the direct supertypes of a type.
|
|||||||||||