Package com.articulate.sigma.tp

Class FormulaTranslationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.articulate.sigma.tp.ATPException

com.articulate.sigma.tp.FormulaTranslationException

All Implemented Interfaces:

Serializable

public class FormulaTranslationException
extends ATPException

Exception thrown when a formula cannot be translated from SUO-KIF to a target format (TPTP, TFF, THF).

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
FormulaTranslationException(String message, String targetLanguage)	Create a new FormulaTranslationException
FormulaTranslationException(String message, String targetLanguage, int line, int column)	Create a new FormulaTranslationException with position info
FormulaTranslationException(String message, String targetLanguage, int line, List<String> stdout, List<String> stderr)	Create a new FormulaTranslationException with a std errors
FormulaTranslationException(String message, String targetLanguage, Throwable cause)	Create a new FormulaTranslationException with a cause

Method Summary

Modifier and Type	Method	Description
String	getDetailedMessage()	Generate a detailed, human-readable error message including context.
int	getErrorColumn()
String	getErrorDetail()
int	getErrorLine()
String	getSuggestion()	Get a suggestion for how to resolve this error.
String	getTargetLanguage()
boolean	hasPosition()

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

FormulaTranslationException

public FormulaTranslationException(String message,
 String targetLanguage)

Create a new FormulaTranslationException

Parameters:

message - Error message describing the translation failure

targetLanguage - The target language (FOF, TFF, THF)

FormulaTranslationException

public FormulaTranslationException(String message,
 String targetLanguage,
 int line,
 int column)

Create a new FormulaTranslationException with position info

Parameters:

message - Error message

targetLanguage - Target language

line - Line number where error occurred (1-based)

column - Column number where error occurred (1-based)

FormulaTranslationException

public FormulaTranslationException(String message,
 String targetLanguage,
 Throwable cause)

Create a new FormulaTranslationException with a cause

FormulaTranslationException

public FormulaTranslationException(String message,
 String targetLanguage,
 int line,
 List<String> stdout,
 List<String> stderr)

Create a new FormulaTranslationException with a std errors

Method Details

getTargetLanguage

public String getTargetLanguage()

Returns:

The target language (FOF, TFF, THF)

getErrorLine

public int getErrorLine()

Returns:

The line number where the error occurred, or -1 if unknown

getErrorColumn

public int getErrorColumn()

Returns:

The column number where the error occurred, or -1 if unknown

hasPosition

public boolean hasPosition()

Returns:

true if position information is available

getErrorDetail

public String getErrorDetail()

Returns:

The specific error detail

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