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 Detail

      • load

        Collection<? extends net.sf.tweety.commons.Formula> load​(File file)
      • getCurrentDiretory

        File getCurrentDiretory()