Package org.sosy_lab.java_smt.basicimpl

Class ShutdownHook

java.lang.Object

org.sosy_lab.java_smt.basicimpl.ShutdownHook

All Implemented Interfaces:

AutoCloseable, ShutdownNotifier.ShutdownRequestListener

public final class ShutdownHook
extends Object
implements ShutdownNotifier.ShutdownRequestListener, AutoCloseable

A utility class for interrupting a parallel running solver thread.

The hook is active directly after its construction until calling the method close() and forwards all shutdown requests to the provided method.

Constructor Summary

Constructors

Constructor	Description
ShutdownHook(ShutdownNotifier pShutdownNotifier, Runnable pInterruptCall)

Method Summary

Modifier and Type	Method	Description
void	close()
void	shutdownRequested(@Nullable String reasonUnused)

Methods inherited from class java.lang.Object

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

Constructor Details

ShutdownHook

public ShutdownHook(ShutdownNotifier pShutdownNotifier,
 Runnable pInterruptCall)

Method Details

shutdownRequested

public void shutdownRequested(@Nullable String reasonUnused)

Specified by:

shutdownRequested in interface ShutdownNotifier.ShutdownRequestListener

close

public void close()

Specified by:

close in interface AutoCloseable