Interface RevisionComparePresenter.FileHandler

  • Enclosing class:
    RevisionComparePresenter

    public static interface RevisionComparePresenter.FileHandler
    This interface is used by the RevisionComparePresenter to handle the file loading. Therefore it provides a FileFilter for the open file dialog and a method which converts the given file in a collection of formulas.
    Author:
    Tim Janus
    • Method Summary

      Modifier and Type Method Description
      java.io.File getCurrentDiretory()  
      javax.swing.filechooser.FileFilter getFilter()  
      java.util.Collection<? extends Formula> load​(java.io.File file)  
    • Method Detail

      • load

        java.util.Collection<? extends Formula> load​(java.io.File file)
      • getFilter

        javax.swing.filechooser.FileFilter getFilter()
      • getCurrentDiretory

        java.io.File getCurrentDiretory()