org.kahina.core.visual.source

Class KahinaJEditSourceCodeView

java.lang.Object

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

org.kahina.core.visual.source.KahinaJEditSourceCodeView

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

PrologJEditSourceCodeView

public class KahinaJEditSourceCodeView
extends KahinaView<KahinaSourceCodeLocation>

Field Summary

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

config, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
KahinaJEditSourceCodeView(LogicProgrammingInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaJEditSourceCodeViewPanel	createPanel()
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.

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

display, doDisplay, getConfig, getModel, getTitle, isVisible, makeEditorPanel, needsRedraw, processEvent, processEvent, recalculate, requireRedraw, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

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

Constructor Detail

KahinaJEditSourceCodeView

public KahinaJEditSourceCodeView(LogicProgrammingInstance<?,?,?,?> kahina)

Method Detail

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<KahinaSourceCodeLocation>

Returns:

createPanel

protected KahinaJEditSourceCodeViewPanel createPanel()