net.sf.tweety.beliefdynamics.gui

Class RevisionComparePresenter.DefaultFileHandler

java.lang.Object

net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler

All Implemented Interfaces:

RevisionComparePresenter.FileHandler

Enclosing class:

RevisionComparePresenter

private static class RevisionComparePresenter.DefaultFileHandler
extends java.lang.Object
implements RevisionComparePresenter.FileHandler

does not try to load the file but only return null

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DefaultFileHandler()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultFileHandler

private DefaultFileHandler()

Method Detail

load

public java.util.Collection<? extends Formula> load(java.io.File file)

Specified by:

load in interface RevisionComparePresenter.FileHandler

getFilter

public javax.swing.filechooser.FileFilter getFilter()

Specified by:

getFilter in interface RevisionComparePresenter.FileHandler

getCurrentDiretory

public java.io.File getCurrentDiretory()

Specified by:

getCurrentDiretory in interface RevisionComparePresenter.FileHandler