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

Class AbstractGenericRemover

java.lang.Object
de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover
Direct Known Subclasses:
GenericRemover, PreviewGenericRemover
public abstract class AbstractGenericRemover extends Object

  • Constructor Details

  • Method Details

    • addSearchPath

      public void addSearchPath(String path)

    • addSourceFiles

      public void addSourceFiles(Collection<String> sourceFiles)

    • addSourceFile

      public void addSourceFile(String file)

    • getSearchPath

      public recoder.io.PathList getSearchPath()

    • getSourceFiles

      public List<String> getSourceFiles()

    • removeGenerics

      public void removeGenerics() throws recoder.ParserException, IOException
      Throws:
      recoder.ParserException
      IOException

    • saveModifiedCompilationUnit

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