org.kahina.lp

Class LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject>

java.lang.Object

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

org.kahina.lp.LogicProgrammingInstance<S,G,B,P>

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

QTypeDebuggerInstance, SICStusPrologDebuggerInstance, SWIPrologDebuggerInstance, TraleSLDInstance

public abstract class LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject>
extends KahinaInstance<S,G,B,P>

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

Method Summary

Methods

Modifier and Type	Method and Description
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
KahinaControlAgentProfile	getBreakPoints()
KahinaControlAgentProfile	getCompletePoints()
KahinaControlAgentProfile	getCreepPoints()
KahinaControlAgentProfile	getFailPoints()
abstract LogicProgrammingProfiler	getProfiler()
KahinaControlAgentProfile	getSkipPoints()
S	getState()
KahinaControlAgentProfile	getWarnPoints()
P	loadProject(java.io.InputStream stream)
void	newProject(java.io.File grammarFile)
void	processEvent(KahinaEvent event)

Methods inherited from class org.kahina.core.KahinaInstance

createBridge, createGUI, createNewProject, createState, deregisterInstanceListener, deregisterSessionListener, dispatchEvent, dispatchInstanceEvent, dispatchSessionEvent, getApplicationName, getBridge, getGUI, getLogger, getProject, getProjectStatus, initializeNewSession, loadPerspective, loadProject, newProject, preparePerspectiveLists, prepareProjectLists, processNewProject, processProjectEvent, registerInstanceListener, registerRecentPerspective, registerRecentProject, registerSessionListener, saveProjectAs, setProjectStatus, start, startNewSession, startNewSessionWithoutBridge

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicProgrammingInstance

public LogicProgrammingInstance()

Method Detail

getProfiler

public abstract LogicProgrammingProfiler getProfiler()

getState

public S getState()

Overrides:

getState in class KahinaInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject>

createTreeBehavior

protected void createTreeBehavior()

Specified by:

createTreeBehavior in class KahinaInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject>

getBreakPoints

public KahinaControlAgentProfile getBreakPoints()

getCreepPoints

public KahinaControlAgentProfile getCreepPoints()

getCompletePoints

public KahinaControlAgentProfile getCompletePoints()

getSkipPoints

public KahinaControlAgentProfile getSkipPoints()

getFailPoints

public KahinaControlAgentProfile getFailPoints()

getWarnPoints

public KahinaControlAgentProfile getWarnPoints()

processEvent

public void processEvent(KahinaEvent event)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject>

newProject

public void newProject(java.io.File grammarFile)

loadProject

public P loadProject(java.io.InputStream stream)

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<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject>