org.kahina.tralesld

Class TraleSLDInstance

java.lang.Object

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

org.kahina.lp.LogicProgrammingInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

org.kahina.tralesld.TraleSLDInstance

All Implemented Interfaces:

KahinaListener

public class TraleSLDInstance
extends LogicProgrammingInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

Field Summary

Fields

Modifier and Type	Field and Description
javax.swing.Action	COMPILE_ACTION
javax.swing.Action	PARSE_ACTION
javax.swing.Action	RESTART_ACTION

Fields inherited from class org.kahina.core.KahinaInstance

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

Constructor Summary

Constructors

Constructor and Description
TraleSLDInstance()
TraleSLDInstance(boolean withWorkbench)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	compile(java.lang.String absolutePath)
protected TraleSLDBridge	createBridge()
protected TraleSLDGUI	createGUI()
protected TraleProject	createNewProject()
protected TraleSLDState	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	getCommand()
LogicProgrammingProfiler	getProfiler()
TraleProject	loadProject(java.io.File file)
static void	main(java.lang.String[] args)
void	newProject(java.io.File theoryFile, java.lang.String name)
protected void	parse(java.util.List<java.lang.String> words)
protected void	preparePerspectiveLists()
protected void	prepareProjectLists()
void	processEvent(KahinaEvent e)
protected void	processNewProject()
TraleSLDBridge	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, getApplicationName, getBridge, getGUI, getLogger, getProject, getProjectStatus, initializeNewSession, loadPerspective, 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

Field Detail

COMPILE_ACTION

public final javax.swing.Action COMPILE_ACTION

PARSE_ACTION

public final javax.swing.Action PARSE_ACTION

RESTART_ACTION

public final javax.swing.Action RESTART_ACTION

Constructor Detail

TraleSLDInstance

public TraleSLDInstance()

TraleSLDInstance

public TraleSLDInstance(boolean withWorkbench)

Method Detail

startNewSession

public TraleSLDBridge startNewSession()

Overrides:

startNewSession in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

getCommand

public java.lang.String getCommand()

createTreeBehavior

protected void createTreeBehavior()

Overrides:

createTreeBehavior in class LogicProgrammingInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

createBridge

protected TraleSLDBridge createBridge()

Specified by:

createBridge in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

createGUI

protected TraleSLDGUI createGUI()

Specified by:

createGUI in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

createState

protected TraleSLDState createState()

Specified by:

createState in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

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<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class LogicProgrammingInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

compile

protected void compile(java.lang.String absolutePath)

parse

protected void parse(java.util.List<java.lang.String> words)

getProfiler

public LogicProgrammingProfiler getProfiler()

Specified by:

getProfiler in class LogicProgrammingInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

main

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

createNewProject

protected TraleProject createNewProject()

Specified by:

createNewProject in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

loadProject

public TraleProject loadProject(java.io.File file)

Specified by:

loadProject in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

prepareProjectLists

protected void prepareProjectLists()

Specified by:

prepareProjectLists in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

preparePerspectiveLists

protected void preparePerspectiveLists()

Specified by:

preparePerspectiveLists in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

newProject

public void newProject(java.io.File theoryFile,
              java.lang.String name)

Overrides:

newProject in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>

processNewProject

protected void processNewProject()

Overrides:

processNewProject in class KahinaInstance<TraleSLDState,TraleSLDGUI,TraleSLDBridge,TraleProject>