Class SolverClient.SolverThread

java.lang.Object

java.lang.Thread

jmva.link.SolverClient.SolverThread

All Implemented Interfaces:

Runnable

Enclosing class:

SolverClient

protected class SolverClient.SolverThread
extends Thread

Thread used to solve the model.

Nested Class Summary

Nested classes/interfaces inherited from class Thread

Thread.Builder, Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor	Description
SolverThread(SolverDispatcher solver, File model)	Creates a solver thread

Method Summary

Modifier and Type	Method	Description
InputDataException	getInputException()	Tells if an InputDataException was thrown
OutOfMemoryError	getOutOfMemoryError()	Tells if an OutOfMemory error was thrown
SolverException	getSolverException()	Tells if a SolverException was thrown
void	run()	Starts SolverDispatcher

Methods inherited from class Thread

activeCount, checkAccess, clone, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, isVirtual, join, join, join, join, ofPlatform, ofVirtual, onSpinWait, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, sleep, start, startVirtualThread, stop, threadId, toString, yield

Methods inherited from class Object

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

Constructor Details

SolverThread

public SolverThread(SolverDispatcher solver,
 File model)

Creates a solver thread

Parameters:

solver - reference to a SolverDispatcher object

model - file to be opened

Method Details

run

public void run()

Starts SolverDispatcher

Specified by:

run in interface Runnable

Overrides:

run in class Thread

getInputException

public InputDataException getInputException()

Tells if an InputDataException was thrown

Returns:

thrown InputDataException or null if none was raised

getSolverException

public SolverException getSolverException()

Tells if a SolverException was thrown

Returns:

thrown SolverException or null if none was raised

getOutOfMemoryError

public OutOfMemoryError getOutOfMemoryError()

Tells if an OutOfMemory error was thrown

Returns:

thrown OutOfMemory or null if none was raised