All Classes and Interfaces

Class
Description
 
 
 
 
This is the base class to all transformations used in the generics removal process.
That's the entry point when the transformation is to be applied outside from the KeY-tool.
 
A recoder transformation that removes all traces of Java5 generics from a file.
 
Handle a type reference in the generic deletion process.
This class has been used to repair a bug in recoder.