org.kahina.swi
Class SWIPrologDebuggerInstance

java.lang.Object
  org.kahina.core.KahinaInstance<S,G,B>
      org.kahina.lp.LogicProgrammingInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>
          org.kahina.swi.SWIPrologDebuggerInstance

All Implemented Interfaces:

KahinaListener

public class SWIPrologDebuggerInstance
extends LogicProgrammingInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

Field Summary

Fields inherited from class org.kahina.core.KahinaInstance

bridge, control, gui, guiControl, state, steps

Constructor Summary

SWIPrologDebuggerInstance()

Method Summary

protected SWIPrologBridge	createBridge()
protected SWIPrologGUI	createGUI()
protected LogicProgrammingState	createState()
protected void	fillViewRegistry() overwrite this to register views for user-defined datatypes MUST register views for all data types use super.fillViewRegistry() in implementations to register most basic views
LogicProgrammingProfiler	getProfiler()
static void	main(String[] args)
SWIPrologBridge	startNewSession()

Methods inherited from class org.kahina.lp.LogicProgrammingInstance

createTreeBehavior

Methods inherited from class org.kahina.core.KahinaInstance

dispatchBackgroundEvent, dispatchEvent, dispatchGUIEvent, getApplicationName, getBridge, getControl, getGuiControl, getState, initializeNewSession, processEvent, start, startNewSessionWithoutBridge

Methods inherited from class java.lang.Object

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

Constructor Detail

SWIPrologDebuggerInstance

public SWIPrologDebuggerInstance()

Method Detail

startNewSession

public SWIPrologBridge startNewSession()

Overrides:

startNewSession in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

getProfiler

public LogicProgrammingProfiler getProfiler()

Specified by:

getProfiler in class LogicProgrammingInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

createBridge

protected SWIPrologBridge createBridge()

Specified by:

createBridge in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

createGUI

protected SWIPrologGUI createGUI()

Specified by:

createGUI in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

createState

protected LogicProgrammingState createState()

Specified by:

createState in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

fillViewRegistry

protected void fillViewRegistry()

Description copied from class: KahinaInstance

overwrite this to register views for user-defined datatypes MUST register views for all data types use super.fillViewRegistry() in implementations to register most basic views

Overrides:

fillViewRegistry in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge>

main

public static void main(String[] args)