org.kahina.qtype

Class QTypeDebuggerInstance

java.lang.Object

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

org.kahina.lp.LogicProgrammingInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

org.kahina.qtype.QTypeDebuggerInstance

All Implemented Interfaces:

KahinaListener

public class QTypeDebuggerInstance
extends LogicProgrammingInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

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
QTypeDebuggerInstance()

Method Summary

Methods

Modifier and Type	Method and Description
protected QTypeBridge	createBridge()
protected QTypeGUI	createGUI()
protected QTypeProject	createNewProject()
protected QTypeState	createState()
protected void	createTreeBehavior()
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
java.lang.String	getApplicationName()
java.lang.String	getCommand()
QTypeCommander	getCommander()
QTypeGUI	getGUI()
LogicProgrammingProfiler	getProfiler()
QTypeProject	loadProject(java.io.File file)
static void	main(java.lang.String[] args)
protected void	preparePerspectiveLists()
protected void	prepareProjectLists()
void	processEvent(KahinaEvent e)
SICStusPrologBridge	startNewSession()

Methods inherited from class org.kahina.lp.LogicProgrammingInstance

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

Methods inherited from class org.kahina.core.KahinaInstance

deregisterInstanceListener, deregisterSessionListener, dispatchEvent, dispatchInstanceEvent, dispatchSessionEvent, getBridge, 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

QTypeDebuggerInstance

public QTypeDebuggerInstance()

Method Detail

startNewSession

public SICStusPrologBridge startNewSession()

Overrides:

startNewSession in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

createGUI

protected QTypeGUI createGUI()

Specified by:

createGUI in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

createTreeBehavior

protected void createTreeBehavior()

Overrides:

createTreeBehavior in class LogicProgrammingInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

createBridge

protected QTypeBridge createBridge()

Specified by:

createBridge in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

main

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

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<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

getCommand

public java.lang.String getCommand()

getCommander

public QTypeCommander getCommander()

getApplicationName

public java.lang.String getApplicationName()

Overrides:

getApplicationName in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

createNewProject

protected QTypeProject createNewProject()

Specified by:

createNewProject in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

loadProject

public QTypeProject loadProject(java.io.File file)

Specified by:

loadProject in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

prepareProjectLists

protected void prepareProjectLists()

Specified by:

prepareProjectLists in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

preparePerspectiveLists

protected void preparePerspectiveLists()

Specified by:

preparePerspectiveLists in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

getGUI

public QTypeGUI getGUI()

Overrides:

getGUI in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

getProfiler

public LogicProgrammingProfiler getProfiler()

Specified by:

getProfiler in class LogicProgrammingInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

createState

protected QTypeState createState()

Specified by:

createState in class KahinaInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class LogicProgrammingInstance<QTypeState,QTypeGUI,SICStusPrologBridge,QTypeProject>