Sanity

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

Simplify insane features of Java.




Statistics


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



Strategy summary


component-type-to-array-type(ATerm dims) Given dimensions, constructs an array type from a component type Sanity.str
dryad-simplify-sanity n/a Sanity.str
dryad-simplify-sanity-rules n/a Sanity.str

Rule summary


DryadSimplify-BracketsInDeclarator n/a Sanity.str
DryadSimplify-BracketsInDeclarator n/a Sanity.str
DryadSimplify-MultipleConstantDeclarator n/a Sanity.str
DryadSimplify-MultipleFieldDeclarator n/a Sanity.str
strip-dimensions-from-vardec n/a Sanity.str
strip-dimensions-from-vardec n/a Sanity.str



Strategy details


ATerm component-type-to-array-type(ATerm dims)
File Sanity.str
Author unknown
Since unknown
 
Parameters
ATerm dims List(Dim)

Given dimensions, constructs an array type from a component type.


type Type -> Type