org.kahina.logic.sat.muc.visual

Class RecursiveBlockView

java.lang.Object

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

org.kahina.core.visual.tree.KahinaAbstractTreeView

org.kahina.core.visual.tree.KahinaTreeView

org.kahina.logic.sat.muc.visual.RecursiveBlockView

All Implemented Interfaces:

KahinaListener

public class RecursiveBlockView
extends KahinaTreeView

Field Summary

Fields inherited from class org.kahina.core.visual.tree.KahinaTreeView

config, VERBOSE

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

model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
RecursiveBlockView(MUCInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
void	display(RecursiveBlockHandler blockHandler)
RecursiveBlockHandler	getBlockHandler()
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.
void	processEvent(KahinaEvent e)
void	processEvent(KahinaSelectionEvent e)
protected void	processEvent(KahinaUpdateEvent e) HACK: if an update listener is defined on the tree view, the selected node will be marked
void	recalculate() Override this method to define necessary operations after changes to the model (coordinate recomputations etc.)

Methods inherited from class org.kahina.core.visual.tree.KahinaTreeView

avoidClashesByAdaptingHorizontalDistance, calculateCoordinates, display, display, displaySecondaryTree, displaysNode, getConfig, getContentfulTreeModel, getDisplayHeight, getDisplayWidth, getEdgeStyle, getFontMetrics, getMarkedNode, getNodeBorderColor, getNodeColor, getNodeFont, getNodeHeight, getNodeX, getNodeY, getSecondaryModel, getTreeLayer, getTreeModel, isSecondDimensionDisplayed, needsRedraw, nodeAtCoordinates, nodeIsVisible, resetAllStructures, setConfig, setMarkedNode, setNodeBorderColor, setStatusColorEncoding, setStatusFontEncoding, setTreeLayer, showLevels, swapDimensions

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

display, doDisplay, getModel, getTitle, isVisible, makeEditorPanel, requireRedraw, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

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

Constructor Detail

RecursiveBlockView

public RecursiveBlockView(MUCInstance kahina)

Method Detail

getBlockHandler

public RecursiveBlockHandler getBlockHandler()

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.

Overrides:

makePanel in class KahinaTreeView

Returns:

display

public void display(RecursiveBlockHandler blockHandler)

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaView<KahinaTree>

processEvent

public void processEvent(KahinaSelectionEvent e)

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 KahinaTreeView

processEvent

protected void processEvent(KahinaUpdateEvent e)

Description copied from class: KahinaTreeView

HACK: if an update listener is defined on the tree view, the selected node will be marked

Overrides:

processEvent in class KahinaTreeView