Package com.articulate.sigma.tp

Class ProverTimeoutException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.articulate.sigma.tp.ATPException

com.articulate.sigma.tp.ProverTimeoutException

All Implemented Interfaces:

Serializable

public class ProverTimeoutException
extends ATPException

Exception thrown when an ATP process times out. Distinguishes between "hard" timeouts (we killed the process) and "soft" timeouts (the prover reported timeout via SZS status).

See Also:

• Serialized Form

Nested Class Summary

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

ATPException.Builder

Constructor Summary

Constructors

Constructor	Description
ProverTimeoutException(String engineName, long timeoutMs, long elapsedMs, boolean hardTimeout)	Create a new ProverTimeoutException
ProverTimeoutException(String engineName, long timeoutMs, long elapsedMs, boolean hardTimeout, List<String> stdout, List<String> stderr, ATPResult result)	Create a new ProverTimeoutException with output

Method Summary

Modifier and Type	Method	Description
String	getDetailedMessage()	Generate a detailed, human-readable error message including context.
long	getElapsedMs()
long	getElapsedSeconds()
String	getSuggestion()	Get a suggestion for how to resolve this error.
long	getTimeoutMs()
long	getTimeoutSeconds()
boolean	isHardTimeout()
boolean	isSoftTimeout()

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

builder, getCommandLine, getCommandLineString, getEngineName, getResult, getStderr, getStderrString, getStdout, getStdoutString, 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

Constructor Details

ProverTimeoutException

public ProverTimeoutException(String engineName,
 long timeoutMs,
 long elapsedMs,
 boolean hardTimeout)

Create a new ProverTimeoutException

Parameters:

engineName - The name of the prover

timeoutMs - The configured timeout in milliseconds

elapsedMs - The actual elapsed time in milliseconds

hardTimeout - true if we had to kill the process, false if prover self-reported

ProverTimeoutException

public ProverTimeoutException(String engineName,
 long timeoutMs,
 long elapsedMs,
 boolean hardTimeout,
 List<String> stdout,
 List<String> stderr,
 ATPResult result)

Create a new ProverTimeoutException with output

Method Details

getTimeoutMs

public long getTimeoutMs()

Overrides:

getTimeoutMs in class ATPException

Returns:

The configured timeout in milliseconds

getTimeoutSeconds

public long getTimeoutSeconds()

Returns:

The configured timeout in seconds

getElapsedMs

public long getElapsedMs()

Returns:

The actual elapsed time in milliseconds

getElapsedSeconds

public long getElapsedSeconds()

Returns:

The actual elapsed time in seconds

isHardTimeout

public boolean isHardTimeout()

Returns:

true if this was a "hard" timeout (we killed the process)

isSoftTimeout

public boolean isSoftTimeout()

Returns:

true if the prover reported timeout itself (soft timeout)

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