org.kahina.logic.sat.visual.cnf.list

Class KahinaSatInstanceListView

java.lang.Object

org.kahina.core.visual.KahinaView<CnfSatInstance>

org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

MetaInstanceView, MUCStepView, MUCStepViewContaining, MUCStepViewRemaining

public class KahinaSatInstanceListView
extends KahinaView<CnfSatInstance>

Field Summary

Fields

Modifier and Type	Field and Description
protected javax.swing.DefaultListModel	listModel

Fields inherited from class org.kahina.core.visual.KahinaView

config, kahina, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
KahinaSatInstanceListView(KahinaInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
void	displayText(java.lang.String string)
void	doDisplay() Subclasses may override this method to take certain actions directly after KahinaView.model has changed.
java.awt.Color	getLineColor(int lineID)
int	getLineStatus(int lineID)
javax.swing.ListModel	getListModel()
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.
boolean	needsRedraw() States whether this view has changed in a way that causes it to be in need of redraw.
void	recalculate() Override this method to define necessary operations after changes to the model (coordinate recomputations etc.)
void	requireRedraw()
void	setStatusColorEncoding(int status, java.awt.Color color)

Methods inherited from class org.kahina.core.visual.KahinaView

display, getConfig, getModel, getTitle, isVisible, makeEditorPanel, processEvent, processEvent, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

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

Field Detail

listModel

protected javax.swing.DefaultListModel listModel

Constructor Detail

KahinaSatInstanceListView

public KahinaSatInstanceListView(KahinaInstance<?,?,?,?> kahina)

Method Detail

doDisplay

public void doDisplay()

Description copied from class: KahinaView

Subclasses may override this method to take certain actions directly after KahinaView.model has changed. This default implementation does nothing.

Overrides:

doDisplay in class KahinaView<CnfSatInstance>

setStatusColorEncoding

public void setStatusColorEncoding(int status,
                          java.awt.Color color)

getLineStatus

public int getLineStatus(int lineID)

getLineColor

public java.awt.Color getLineColor(int lineID)

getListModel

public javax.swing.ListModel getListModel()

makePanel

public javax.swing.JComponent makePanel()

Description copied from class: KahinaView

Returns the panel that represents this view in the GUI. This method must be invoked from the event dispatch thread.

Specified by:

makePanel in class KahinaView<CnfSatInstance>

Returns:

displayText

public void displayText(java.lang.String string)

recalculate

public void recalculate()

Description copied from class: KahinaView

Override this method to define necessary operations after changes to the model (coordinate recomputations etc.)

Overrides:

recalculate in class KahinaView<CnfSatInstance>

needsRedraw

public boolean needsRedraw()

Description copied from class: KahinaView

States whether this view has changed in a way that causes it to be in need of redraw.

Overrides:

needsRedraw in class KahinaView<CnfSatInstance>

Returns:

whether the contents or the state of this view have changed since the last call to needsRedraw()

requireRedraw

public void requireRedraw()

Overrides:

requireRedraw in class KahinaView<CnfSatInstance>