org.kahina.tralesld.bridge

Class AuxiliaryTraleInstance

java.lang.Object

java.lang.Thread

org.kahina.tralesld.bridge.AuxiliaryTraleInstance

All Implemented Interfaces:

java.lang.Runnable

public class AuxiliaryTraleInstance
extends java.lang.Thread

This class uses the Jasper interface to run and maintain a second instance of TRALE. This parallel instance is used to generate MGUs and MGSs for FSs on the workbench.

Author:

jdellert

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
AuxiliaryTraleInstance(boolean newInstance) Crudely gains access to some SICStus instance (caller or new) and stores it for operations.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	compileGrammar(java.lang.String fileName) Lets the instance compile a grammar in the current working directory.
java.lang.String	descToMgsGrisu(java.lang.String descString)
void	discardGrammar() Lets the instance discard the currently compiled grammar.
java.lang.String	entsToMguGrisu(IEntity ent1, IEntity ent2)
java.lang.String	entToMgsGrisu(IEntity ent)
TraleSLDSignature	getCurrentSignature() Reads out the current signature (usually after theory compilation).
java.lang.String	getLemmata() Returns all the lemmata defined in the current theory.
TraleSLDSignature	getSignature(java.lang.String fileName) Lets the instance compile and return a signature from a file.
java.lang.String	lexEntryGrisu(java.lang.String lemma)
void	loadEmbeddedKahinaInstance() For testing purposes: Loads another instance of Kahina inside the embedding instance.
static void	main(java.lang.String[] args)
void	run()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Constructor Detail

AuxiliaryTraleInstance

public AuxiliaryTraleInstance(boolean newInstance)

Crudely gains access to some SICStus instance (caller or new) and stores it for operations. Creating a second instance requires the environment variable PROLOGMAXSIZE to be set

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

compileGrammar

public boolean compileGrammar(java.lang.String fileName)

Lets the instance compile a grammar in the current working directory.

Parameters:

fileName - the file name

Returns:

true if compilation succeeded, false in case of exception

discardGrammar

public void discardGrammar()

Lets the instance discard the currently compiled grammar.

getLemmata

public java.lang.String getLemmata()

Returns all the lemmata defined in the current theory.

Returns:

a String of lemma strings separated by colons

getSignature

public TraleSLDSignature getSignature(java.lang.String fileName)

Lets the instance compile and return a signature from a file.

Parameters:

fileName - the file name

Returns:

a TraleSLDSignature object representing the signature in the file.

getCurrentSignature

public TraleSLDSignature getCurrentSignature()

Reads out the current signature (usually after theory compilation).

Returns:

a TraleSLDSignature object representing the current signature;

loadEmbeddedKahinaInstance

public void loadEmbeddedKahinaInstance()

For testing purposes: Loads another instance of Kahina inside the embedding instance. The environment must be configured with TRALE_ACTIVATE_DEBUGGER set to true.

lexEntryGrisu

public java.lang.String lexEntryGrisu(java.lang.String lemma)

descToMgsGrisu

public java.lang.String descToMgsGrisu(java.lang.String descString)

entToMgsGrisu

public java.lang.String entToMgsGrisu(IEntity ent)

entsToMguGrisu

public java.lang.String entsToMguGrisu(IEntity ent1,
                              IEntity ent2)

main

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