injection

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.




Statistics


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
File injection.str
Author unknown
Since unknown
 

No information available.


todo Improve the bracket detection.

 

Rule details


ATerm ImplodeInjection
File injection.str
Author unknown
Since unknown
 

Injection of a literal to a sort.



 
ATerm ImplodeInjection
File injection.str
Author unknown
Since unknown
 

Injection of a case insensitive literal to a sort.