Package com.articulate.sigma.tp

Class ExecutableNotFoundException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.articulate.sigma.tp.ATPException

com.articulate.sigma.tp.ExecutableNotFoundException

All Implemented Interfaces:

Serializable

public class ExecutableNotFoundException
extends ATPException

Exception thrown when an ATP executable (Vampire, EProver, LEO-III, etc.) is not found at the configured path or is not executable.

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
ExecutableNotFoundException(String engineName, String executablePath, String configKey)	Create a new ExecutableNotFoundException
ExecutableNotFoundException(String engineName, String executablePath, String configKey, Throwable cause)	Create a new ExecutableNotFoundException with a cause

Method Summary

Modifier and Type	Method	Description
String	getConfigKey()
String	getDetailedMessage()	Generate a detailed, human-readable error message including context.
String	getExecutablePath()
String	getSuggestion()	Get a suggestion for how to resolve this error.

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

Constructor Details

ExecutableNotFoundException

public ExecutableNotFoundException(String engineName,
 String executablePath,
 String configKey)

Create a new ExecutableNotFoundException

Parameters:

engineName - The name of the prover (e.g., "Vampire", "EProver", "LEO-III")

executablePath - The path that was attempted

configKey - The configuration key used to find this path

ExecutableNotFoundException

public ExecutableNotFoundException(String engineName,
 String executablePath,
 String configKey,
 Throwable cause)

Create a new ExecutableNotFoundException with a cause

Method Details

getExecutablePath

public String getExecutablePath()

Returns:

The path that was attempted

getConfigKey

public String getConfigKey()

Returns:

The configuration key used to find this executable

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