org.kahina.sicstus
Class SICStusPrologDebuggerInstance

java.lang.Object
  org.kahina.core.KahinaInstance<S,G,B>
      org.kahina.lp.LogicProgrammingInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>
          org.kahina.sicstus.SICStusPrologDebuggerInstance

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

QTypeDebuggerInstance

public class SICStusPrologDebuggerInstance
extends LogicProgrammingInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>

Field Summary

Fields inherited from class org.kahina.core.KahinaInstance

bridge, control, gui, guiControl, state, steps

Constructor Summary

SICStusPrologDebuggerInstance()

Method Summary

protected SICStusPrologBridge	createBridge()
protected SICStusPrologGUI	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)
SICStusPrologBridge	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

SICStusPrologDebuggerInstance

public SICStusPrologDebuggerInstance()

Method Detail

startNewSession

public SICStusPrologBridge startNewSession()

Overrides:

startNewSession in class KahinaInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>

getProfiler

public LogicProgrammingProfiler getProfiler()

Specified by:

getProfiler in class LogicProgrammingInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>

createBridge

protected SICStusPrologBridge createBridge()

Specified by:

createBridge in class KahinaInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>

createGUI

protected SICStusPrologGUI createGUI()

Specified by:

createGUI in class KahinaInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>

createState

protected LogicProgrammingState createState()

Specified by:

createState in class KahinaInstance<LogicProgrammingState,SICStusPrologGUI,SICStusPrologBridge>

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,SICStusPrologGUI,SICStusPrologBridge>

main

public static void main(String[] args)