de.uniba.cogsys.app2igor.core
Class Runner

java.lang.Object
  java.lang.Thread
      de.uniba.cogsys.app2igor.core.Runner

All Implemented Interfaces:

java.lang.Runnable

public class Runner
extends java.lang.Thread

Author:

Martin Hofmann, Thomas Hieber

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

Runner(java.lang.String igorHome, java.lang.String maudeHome, java.lang.String fileName, java.util.List<java.lang.String> modules, java.util.List<MaudeArgs> args, java.lang.String igorVersion, boolean createOutFile)

Method Summary

IgorResult	getIgorResult()
boolean	hasFinished()
void	interrupt()
void	run()
java.lang.String[]	startIgor()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, 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, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Runner

public Runner(java.lang.String igorHome,
              java.lang.String maudeHome,
              java.lang.String fileName,
              java.util.List<java.lang.String> modules,
              java.util.List<MaudeArgs> args,
              java.lang.String igorVersion,
              boolean createOutFile)

Method Detail

startIgor

public java.lang.String[] startIgor()

Returns:

hasFinished

public boolean hasFinished()

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

interrupt

public void interrupt()

Overrides:

interrupt in class java.lang.Thread

getIgorResult

public IgorResult getIgorResult()

Returns: