public class PreviewGenericRemover extends AbstractGenericRemover
Constructor and Description |
---|
PreviewGenericRemover(GenericRemoverMonitor monitor) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.io.File,java.lang.String> |
getResultMap() |
protected void |
saveModifiedCompilationUnit(CompilationUnit cu,
java.lang.String filename) |
addSearchPath, addSourceFile, addSourceFiles, getSearchPath, getSourceFiles, removeGenerics
public PreviewGenericRemover(GenericRemoverMonitor monitor)
protected void saveModifiedCompilationUnit(CompilationUnit cu, java.lang.String filename) throws java.io.IOException
saveModifiedCompilationUnit
in class AbstractGenericRemover
java.io.IOException
public java.util.Map<java.io.File,java.lang.String> getResultMap()
Copyright © 2003-2019 The KeY-Project.