Package com.articulate.sigma.tp

Class ArityException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.articulate.sigma.tp.ATPException

com.articulate.sigma.tp.ArityException

All Implemented Interfaces:

Serializable

public class ArityException
extends ATPException

Exception thrown when a formula has an incorrect arity for a predicate. This occurs when a predicate is used with the wrong number of arguments.

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
ArityException(String formula, String predicateName)	Create a new ArityException

Method Summary

Modifier and Type	Method	Description
String	getDetailedMessage()	Generate a detailed, human-readable error message including context.
String	getFormula()
String	getPredicateName()
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

ArityException

public ArityException(String formula,
 String predicateName)

Create a new ArityException

Parameters:

formula - The formula containing the arity error

predicateName - The predicate with incorrect arity

Method Details

getFormula

public String getFormula()

Returns:

The formula containing the arity error

getPredicateName

public String getPredicateName()

Returns:

The predicate name with incorrect arity

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