public abstract class AbstractGenericRemover
extends java.lang.Object
Constructor and Description |
---|
AbstractGenericRemover(GenericRemoverMonitor monitor) |
Modifier and Type | Method and Description |
---|---|
void |
addSearchPath(java.lang.String path) |
void |
addSourceFile(java.lang.String file) |
void |
addSourceFiles(java.util.Collection<java.lang.String> sourceFiles) |
PathList |
getSearchPath() |
java.util.List<java.lang.String> |
getSourceFiles() |
void |
removeGenerics() |
protected abstract void |
saveModifiedCompilationUnit(CompilationUnit cu,
java.lang.String filename) |
public AbstractGenericRemover(GenericRemoverMonitor monitor)
public void addSearchPath(java.lang.String path)
public void addSourceFiles(java.util.Collection<java.lang.String> sourceFiles)
public void addSourceFile(java.lang.String file)
public PathList getSearchPath()
public java.util.List<java.lang.String> getSourceFiles()
public void removeGenerics() throws ParserException, java.io.IOException
ParserException
java.io.IOException
protected abstract void saveModifiedCompilationUnit(CompilationUnit cu, java.lang.String filename) throws java.io.IOException
java.io.IOException
Copyright © 2003-2019 The KeY-Project.