Package de.uka.ilkd.key.util.removegenerics

Class GenericRemover

java.lang.Object

de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

de.uka.ilkd.key.util.removegenerics.GenericRemover

public class GenericRemover
extends AbstractGenericRemover

Constructor Summary

Constructors

Constructor	Description
GenericRemover(GenericRemoverMonitor monitor)

Method Summary

Modifier and Type	Method	Description
File	getOutDir()
protected void	saveModifiedCompilationUnit(recoder.java.CompilationUnit cu, String filename)
void	setOutDir(File outDir)

Methods inherited from class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

addSearchPath, addSourceFile, addSourceFiles, getSearchPath, getSourceFiles, removeGenerics

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

GenericRemover

public GenericRemover(GenericRemoverMonitor monitor)

Method Details

getOutDir

public File getOutDir()

setOutDir

public void setOutDir(File outDir)

saveModifiedCompilationUnit

protected void saveModifiedCompilationUnit(recoder.java.CompilationUnit cu,
 String filename)
                                    throws IOException

Specified by:

saveModifiedCompilationUnit in class AbstractGenericRemover

Throws:

IOException