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