org.kahina.swi

Class SWIPrologDebuggerInstance

java.lang.Object

org.kahina.core.KahinaInstance<S,G,B,P>

org.kahina.lp.LogicProgrammingInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

org.kahina.swi.SWIPrologDebuggerInstance

All Implemented Interfaces:

KahinaListener

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

Field Summary

Fields inherited from class org.kahina.core.KahinaInstance

bridge, defaultPerspectives, defaultProjects, gui, instanceControl, logger, project, recentPerspectives, recentProjects, sessionControl, state, steps, VERBOSE

Constructor Summary

Constructors

Constructor and Description
SWIPrologDebuggerInstance()

Method Summary

Methods

Modifier and Type	Method and Description
protected SWIPrologBridge	createBridge()
protected SWIPrologGUI	createGUI()
protected LogicProgrammingProject	createNewProject()
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()
LogicProgrammingProject	loadProject(java.io.File file)
static void	main(java.lang.String[] args)
protected void	preparePerspectiveLists()
protected void	prepareProjectLists()
SWIPrologBridge	startNewSession()

Methods inherited from class org.kahina.lp.LogicProgrammingInstance

createTreeBehavior, getBreakPoints, getCompletePoints, getCreepPoints, getFailPoints, getSkipPoints, getState, getWarnPoints, loadProject, newProject, processEvent

Methods inherited from class org.kahina.core.KahinaInstance

deregisterInstanceListener, deregisterSessionListener, dispatchEvent, dispatchInstanceEvent, dispatchSessionEvent, getApplicationName, getBridge, getGUI, getLogger, getProject, getProjectStatus, initializeNewSession, loadPerspective, newProject, processNewProject, processProjectEvent, registerInstanceListener, registerRecentPerspective, registerRecentProject, registerSessionListener, saveProjectAs, setProjectStatus, 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,LogicProgrammingProject>

getProfiler

public LogicProgrammingProfiler getProfiler()

Specified by:

getProfiler in class LogicProgrammingInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

createBridge

protected SWIPrologBridge createBridge()

Specified by:

createBridge in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

createGUI

protected SWIPrologGUI createGUI()

Specified by:

createGUI in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

createState

protected LogicProgrammingState createState()

Specified by:

createState in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

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 LogicProgrammingInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

main

public static void main(java.lang.String[] args)

createNewProject

protected LogicProgrammingProject createNewProject()

Specified by:

createNewProject in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

loadProject

public LogicProgrammingProject loadProject(java.io.File file)

Specified by:

loadProject in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

prepareProjectLists

protected void prepareProjectLists()

Specified by:

prepareProjectLists in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>

preparePerspectiveLists

protected void preparePerspectiveLists()

Specified by:

preparePerspectiveLists in class KahinaInstance<LogicProgrammingState,SWIPrologGUI,SWIPrologBridge,LogicProgrammingProject>