Package de.uka.ilkd.key.util.removegenerics
package de.uka.ilkd.key.util.removegenerics
-
ClassesClassDescriptionThis 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.