Package com.articulate.sigma.tp

Class ProverCrashedException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.articulate.sigma.tp.ATPException

com.articulate.sigma.tp.ProverCrashedException

All Implemented Interfaces:

Serializable

public class ProverCrashedException
extends ATPException

Exception thrown when an ATP process crashes or is killed by a signal. This typically indicates either: - A malformed input formula that caused a segmentation fault - Memory exhaustion leading to OOM killer - External termination of the process

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class com.articulate.sigma.tp.ATPException

ATPException.Builder

Field Summary

Fields

Modifier and Type	Field	Description
static final int	SIGABRT
static final int	SIGHUP
static final int	SIGINT
static final int	SIGKILL
static final int	SIGQUIT
static final int	SIGSEGV
static final int	SIGTERM
static final int	SIGXCPU

Constructor Summary

Constructors

Constructor	Description
ProverCrashedException(String engineName, int exitCode)	Create a new ProverCrashedException with just exit code
ProverCrashedException(String engineName, int exitCode, List<String> stdout, List<String> stderr, ATPResult result)	Create a new ProverCrashedException

Method Summary

Modifier and Type	Method	Description
String	getDetailedMessage()	Generate a detailed, human-readable error message including context.
int	getExitCode()
String	getSignalName()
int	getSignalNumber()
String	getSuggestion()	Get a suggestion for how to resolve this error.
boolean	wasAborted()
boolean	wasCpuLimitExceeded()
boolean	wasForciblyStopped()
boolean	wasKilledBySignal()
boolean	wasSegmentationFault()

Methods inherited from class com.articulate.sigma.tp.ATPException

builder, getCommandLine, getCommandLineString, getEngineName, getResult, getStderr, getStderrString, getStdout, getStdoutString, getTimeoutMs, getWorkingDirectory, hasStderr, hasStdout, setResult

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Details

SIGHUP

public static final int SIGHUP

See Also:

• Constant Field Values

SIGINT

public static final int SIGINT

See Also:

• Constant Field Values

SIGQUIT

public static final int SIGQUIT

See Also:

• Constant Field Values

SIGABRT

public static final int SIGABRT

See Also:

• Constant Field Values

SIGKILL

public static final int SIGKILL

See Also:

• Constant Field Values

SIGSEGV

public static final int SIGSEGV

See Also:

• Constant Field Values

SIGTERM

public static final int SIGTERM

See Also:

• Constant Field Values

SIGXCPU

public static final int SIGXCPU

See Also:

• Constant Field Values

Constructor Details

ProverCrashedException

public ProverCrashedException(String engineName,
 int exitCode,
 List<String> stdout,
 List<String> stderr,
 ATPResult result)

Create a new ProverCrashedException

Parameters:

engineName - The name of the prover

exitCode - The process exit code

stdout - The captured stdout lines (may be partial)

stderr - The captured stderr lines (may be partial)

ProverCrashedException

public ProverCrashedException(String engineName,
 int exitCode)

Create a new ProverCrashedException with just exit code

Method Details

getExitCode

public int getExitCode()

Returns:

The process exit code

getSignalName

public String getSignalName()

Returns:

The signal name if killed by signal, null otherwise

getSignalNumber

public int getSignalNumber()

Returns:

The signal number if killed by signal, -1 otherwise

wasKilledBySignal

public boolean wasKilledBySignal()

Returns:

true if the process was killed by a signal

wasSegmentationFault

public boolean wasSegmentationFault()

Returns:

true if this was a segmentation fault

wasAborted

public boolean wasAborted()

Returns:

true if this was an abort (often assertion failure)

wasForciblyStopped

public boolean wasForciblyStopped()

Returns:

true if the process was forcibly killed (SIGKILL/SIGTERM)

wasCpuLimitExceeded

public boolean wasCpuLimitExceeded()

Returns:

true if CPU time limit was exceeded

getSuggestion

public String getSuggestion()

Description copied from class: ATPException

Get a suggestion for how to resolve this error. Subclasses should override with more specific suggestions.

Overrides:

getSuggestion in class ATPException

Returns:

Suggestion text for the user

getDetailedMessage

public String getDetailedMessage()

Description copied from class: ATPException

Generate a detailed, human-readable error message including context.

Overrides:

getDetailedMessage in class ATPException

Returns:

Detailed message suitable for display in UI