| 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. |
|||||||||