| File | Sanity.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
Simplify insane features of Java.
| 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) | ||||||||||||||
Given dimensions, constructs an array type from a component type.
|
|||||||||||||||