Package org.tweetyproject.beliefdynamics.gui

Class RevisionComparePresenter

java.lang.Object

org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter

All Implemented Interfaces:

ActionListener, ItemListener, EventListener, ChangeListener

public class RevisionComparePresenter
extends Object
implements ItemListener, ChangeListener, ActionListener

This class couples the RevisionCompare View and Model, it needs to know the implementation used to load external belief base files, see FileHandler interface. The presenter reacts to user inputs on the view and proofs if the changes are valid and then delegates them to the model. It also registers the view as a PropertyListener to the correct model.

Author:

Tim Janus

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	RevisionComparePresenter.FileHandler	Interface for handling file operations related to formulas.

Constructor Summary

Constructors

Constructor	Description
RevisionComparePresenter(RevisionCompareModel model, RevisionCompareView view)	Default Ctor: registers the view as listener to the correct model.

Method Summary

Modifier and Type	Method	Description
void	actionPerformed(ActionEvent ev)
void	itemStateChanged(ItemEvent ev)
static void	main(String[] args)	Functional Test method: Only shows the view in a JFrame to test resize behavior.
void	setFileHandler(RevisionComparePresenter.FileHandler handler)	Sets a file handler which is responsible to filter the open file dialog and to load the selected file.
void	stateChanged(ChangeEvent ev)

Methods inherited from class java.lang.Object

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

Constructor Details

RevisionComparePresenter

public RevisionComparePresenter(RevisionCompareModel model,
 RevisionCompareView view)

Default Ctor: registers the view as listener to the correct model.

Parameters:

model - a revision compare model

view - a view

Method Details

setFileHandler

public void setFileHandler(RevisionComparePresenter.FileHandler handler)

Sets a file handler which is responsible to filter the open file dialog and to load the selected file.

Parameters:

handler - An implementation of the FileHandler interface or null. If null is given then the default handler is used which cannot open any files.

actionPerformed

public void actionPerformed(ActionEvent ev)

Specified by:

actionPerformed in interface ActionListener

stateChanged

public void stateChanged(ChangeEvent ev)

Specified by:

stateChanged in interface ChangeListener

itemStateChanged

public void itemStateChanged(ItemEvent ev)

Specified by:

itemStateChanged in interface ItemListener

main

public static void main(String[] args)

Functional Test method: Only shows the view in a JFrame to test resize behavior.

Parameters:

args - arguments