Package org.tweetyproject.beliefdynamics.gui

Interface RevisionComparePresenter.FileHandler

Enclosing class:

RevisionComparePresenter

public static interface RevisionComparePresenter.FileHandler

Interface for handling file operations related to formulas. Implementations of this interface are responsible for loading formulas from files and providing file filters and the current working directory.

Method Summary

Modifier and Type	Method	Description
File	getCurrentDirectory()	Returns the current directory where file operations are being performed.
FileFilter	getFilter()	Returns the file filter associated with this file handler.
Collection<? extends Formula>	load(File file)	Loads a collection of formulas from the given file.

Method Details

load

Collection<? extends Formula> load(File file)

Loads a collection of formulas from the given file.

Parameters:

file - the file from which to load the formulas

Returns:

a collection of formulas loaded from the file

getFilter

FileFilter getFilter()

Returns the file filter associated with this file handler. The file filter is used to filter files based on certain criteria (e.g., file extensions).

Returns:

the file filter used by this file handler

getCurrentDirectory

File getCurrentDirectory()

Returns the current directory where file operations are being performed.

Returns:

the current directory as a File object