Package org.tweetyproject.beliefdynamics.gui

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
File	getCurrentDiretory()
FileFilter	getFilter()
Collection<? extends Formula>	load(File file)

Method Details

load

Collection<? extends Formula> load(File file)

getFilter

FileFilter getFilter()

getCurrentDiretory

File getCurrentDiretory()