Package com.articulate.sigma.tp

Class ATPException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.articulate.sigma.tp.ATPException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ArityException, ExecutableNotFoundException, FormulaTranslationException, ProverCrashedException, ProverTimeoutException

public class ATPException
extends RuntimeException

Base exception class for all ATP (Automated Theorem Prover) related errors. Provides rich context about the execution environment and any available output. Extends RuntimeException so these exceptions don't need to be declared in method signatures, allowing them to propagate through existing code without modification. Subclasses include: - ExecutableNotFoundException: Prover binary not found/executable - ProverCrashedException: Process killed by signal (SIGSEGV, etc.) - ProverTimeoutException: Explicit timeout exception - FormulaTranslationException: SUMO-to-TPTP translation failure

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ATPException.Builder	Builder for constructing ATPException with full context

Constructor Summary

Constructors

Constructor	Description
ATPException(String message, String engineName)	Simple constructor with just message and engine name
ATPException(String message, String engineName, ATPResult result, List<String> stdout, List<String> stderr)	Simple constructor with just message and engine name
ATPException(String message, String engineName, Throwable cause)	Constructor with message, engine name, and cause
ATPException(String message, String engineName, List<String> stdout, List<String> stderr)	Simple constructor with just message and engine name

Method Summary

Modifier and Type	Method	Description
static ATPException.Builder	builder()	Create a new Builder
List<String>	getCommandLine()
String	getCommandLineString()
String	getDetailedMessage()	Generate a detailed, human-readable error message including context.
String	getEngineName()
ATPResult	getResult()
List<String>	getStderr()
String	getStderrString()	Get stderr as a single string
List<String>	getStdout()
String	getStdoutString()	Get stdout as a single string
String	getSuggestion()	Get a suggestion for how to resolve this error.
long	getTimeoutMs()
String	getWorkingDirectory()
boolean	hasStderr()
boolean	hasStdout()
void	setResult(ATPResult result)

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

ATPException

public ATPException(String message,
 String engineName)

Simple constructor with just message and engine name

ATPException

public ATPException(String message,
 String engineName,
 ATPResult result,
 List<String> stdout,
 List<String> stderr)

Simple constructor with just message and engine name

ATPException

public ATPException(String message,
 String engineName,
 List<String> stdout,
 List<String> stderr)

Simple constructor with just message and engine name

ATPException

public ATPException(String message,
 String engineName,
 Throwable cause)

Constructor with message, engine name, and cause

Method Details

getEngineName

public String getEngineName()

getCommandLine

public List<String> getCommandLine()

getCommandLineString

public String getCommandLineString()

Returns:

The command line as a single string

getWorkingDirectory

public String getWorkingDirectory()

getTimeoutMs

public long getTimeoutMs()

getStdout

public List<String> getStdout()

getStderr

public List<String> getStderr()

hasStderr

public boolean hasStderr()

Returns:

true if there is stderr output available

hasStdout

public boolean hasStdout()

Returns:

true if there is stdout output available

getSuggestion

public String getSuggestion()

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

Returns:

Suggestion text for the user

getDetailedMessage

public String getDetailedMessage()

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

Returns:

Detailed message suitable for display in UI

getStderrString

public String getStderrString()

Get stderr as a single string

getStdoutString

public String getStdoutString()

Get stdout as a single string

getResult

public ATPResult getResult()

setResult

public void setResult(ATPResult result)

builder

public static ATPException.Builder builder()

Create a new Builder