File | injection.str |
Author | unknown |
Since | unknown |
Implosion of AsFix injections.
Injections are nodes in a tree with a single child. Such nodescan be ignored if they only relate syntactic informationinstead of structural information. For instance, bracket nodesare only necessary for syntactic purposes.
General | |
Lines of code | 67 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 9 (11% documented) |
Rule number | 3 (66% documented) |
DynamicRule number | 0 |
Strategy summary |
||
asfix-is-sort | n/a | injection.str |
is-injection | n/a | injection.str |
is-injection | n/a | injection.str |
is-injection | n/a | injection.str |
is-injection | n/a | injection.str |
is-injection | n/a | injection.str |
is-injection | n/a | injection.str |
is-injection | n/a | injection.str |
is-injective-alt | n/a | injection.str |
Rule summary |
||
ImplodeInjection | n/a | injection.str |
ImplodeInjection | Injection of a literal to a sort | injection.str |
ImplodeInjection | Injection of a case insensitive literal to a sort | injection.str |
Strategy details |
|||||||||||
ATerm | is-injection | ||||||||||
No information available.
|
|||||||||||
Rule details |
|||||||||
ATerm | ImplodeInjection | ||||||||
Injection of a literal to a sort. |
|||||||||
ATerm | ImplodeInjection | ||||||||
Injection of a case insensitive literal to a sort. |
|||||||||