org.kahina.lp.gui
Class LogicProgrammingGUI

java.lang.Object
  org.kahina.core.gui.KahinaGUI
      org.kahina.lp.gui.LogicProgrammingGUI

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

SICStusPrologGUI, SWIPrologGUI, TraleSLDGUI

public class LogicProgrammingGUI
extends KahinaGUI

Field Summary

protected KahinaBreakpointProfileEditor	breakpointProfileEditor
protected KahinaAbstractTreeView	mainTreeView

Fields inherited from class org.kahina.core.gui.KahinaGUI

controlWindows, kahina, livingViews, messageConsoleView, varNameToView, views, windowManager

Constructor Summary

LogicProgrammingGUI(Class<? extends KahinaStep> stepType, KahinaInstance<?,?,?> kahina)

Method Summary

void	displayMainViews()
protected KahinaAbstractTreeView	generateTreeView()
protected Mapper<String,ProfileEntry>	getProfileEntryMapper()
protected void	processDialogEvent(KahinaDialogEvent e)

Methods inherited from class org.kahina.core.gui.KahinaGUI

addControlButton, createProgressMonitorWrapper, createWindowManager, displayStepContent, fillFieldToView, getKahinaInstance, getMainWindow, integrateWindows, prepare, processEvent, show, showConfirmDialog, showMessageDialog

Methods inherited from class java.lang.Object

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

Field Detail

mainTreeView

protected KahinaAbstractTreeView mainTreeView

breakpointProfileEditor

protected KahinaBreakpointProfileEditor breakpointProfileEditor

Constructor Detail

LogicProgrammingGUI

public LogicProgrammingGUI(Class<? extends KahinaStep> stepType,
                           KahinaInstance<?,?,?> kahina)

Method Detail

generateTreeView

protected KahinaAbstractTreeView generateTreeView()

displayMainViews

public void displayMainViews()

Overrides:

displayMainViews in class KahinaGUI

processDialogEvent

protected void processDialogEvent(KahinaDialogEvent e)

Overrides:

processDialogEvent in class KahinaGUI

getProfileEntryMapper

protected Mapper<String,ProfileEntry> getProfileEntryMapper()