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

Class PreviewGenericRemover

java.lang.Object

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

de.uka.ilkd.key.util.removegenerics.PreviewGenericRemover

public class PreviewGenericRemover
extends AbstractGenericRemover

Constructor Summary

Constructors

Constructor	Description
PreviewGenericRemover(GenericRemoverMonitor monitor)

Method Summary

Modifier and Type	Method	Description
Map<File,String>	getResultMap()
protected void	saveModifiedCompilationUnit(recoder.java.CompilationUnit cu, String filename)

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

PreviewGenericRemover

public PreviewGenericRemover(GenericRemoverMonitor monitor)

Method Details

saveModifiedCompilationUnit

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

Specified by:

saveModifiedCompilationUnit in class AbstractGenericRemover

Throws:

IOException

getResultMap

public Map<File,String> getResultMap()