org.kahina.core.visual

Class KahinaView<T extends KahinaObject>

java.lang.Object

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

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

FeatureWorkbenchView, KahinaAbstractTreeView, KahinaBreakpointEditor, KahinaBreakpointProfileEditor, KahinaChartView, KahinaControlAgentProfileView, KahinaControlAgentView, KahinaDAGView, KahinaDefaultView, KahinaEmptyView, KahinaGraphView, KahinaJEditSourceCodeView, KahinaProjectView, KahinaSatInstanceListView, KahinaTextView, MUCStepController, PartitionBlockView, QTypeGoalView, SICStusPrologVariableBindingSetView, SWIPrologVariableBindingSetView, TestSetView, TraleSLDFeatureStructureView, TraleSLDSignatureAppropriatenessView, TraleSLDSignatureHierarchyView, TraleSLDSignatureUsageView, TraleSLDVariableBindingSetView, TulipaGrammarView, UCReducerListView, UCReducerListViewPanel

public abstract class KahinaView<T extends KahinaObject>
extends java.lang.Object
implements KahinaListener

Field Summary

Fields

Modifier and Type	Field and Description
protected KahinaViewConfiguration	config
protected KahinaInstance<?,?,?,?>	kahina
protected T	model
protected boolean	needsRedraw

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	display(KahinaObject model)
protected void	doDisplay() Subclasses may override this method to take certain actions directly after model has changed.
KahinaViewConfiguration	getConfig()
T	getModel()
java.lang.String	getTitle()
boolean	isVisible()
java.awt.Component	makeEditorPanel(KahinaGUI gui)
abstract 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	processEvent(KahinaEvent e)
protected void	processEvent(KahinaUpdateEvent e)
protected void	recalculate() Override this method to define necessary operations after changes to the model (coordinate recomputations etc.)
void	requireRedraw()
void	setConfig(KahinaViewConfiguration config)
void	setTitle(java.lang.String title)
void	setVisible(boolean visible)

Methods inherited from class java.lang.Object

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

Field Detail

config

protected KahinaViewConfiguration config

model

protected T extends KahinaObject model

kahina

protected final KahinaInstance<?,?,?,?> kahina

needsRedraw

protected boolean needsRedraw

Constructor Detail

KahinaView

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

Method Detail

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

processEvent

protected void processEvent(KahinaUpdateEvent e)

doDisplay

protected void doDisplay()

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

display

public final void display(KahinaObject model)

getModel

public T getModel()

recalculate

protected void recalculate()

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

makePanel

public abstract javax.swing.JComponent makePanel()

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

Returns:

getTitle

public java.lang.String getTitle()

setTitle

public void setTitle(java.lang.String title)

setConfig

public void setConfig(KahinaViewConfiguration config)

getConfig

public KahinaViewConfiguration getConfig()

makeEditorPanel

public java.awt.Component makeEditorPanel(KahinaGUI gui)

isVisible

public boolean isVisible()

setVisible

public void setVisible(boolean visible)

needsRedraw

public boolean needsRedraw()

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

Returns:

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

requireRedraw

public void requireRedraw()