Class IntegraalInvokers.InvokerException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

fr.inria.rules.integraal.model.functions.IntegraalInvokers.InvokerException

All Implemented Interfaces:

Serializable

Enclosing class:

IntegraalInvokers

public static class IntegraalInvokers.InvokerException
extends RuntimeException

Custom exception for invoker errors. This exception provides detailed information about the function name, the arguments provided, and the cause of the error.

Author:

Florent Tornil, Guillaume Pérution-Kihli

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
InvokerException(String functionName, Term[] args, String message)	Creates an exception with a custom error message.
InvokerException(String functionName, Term[] args, String message, Throwable cause)	Creates an exception with both a custom message and a root cause.
InvokerException(String functionName, Term[] args, Throwable cause)	Creates an exception wrapping the underlying evaluation cause.

Method Summary

Methods inherited from class Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

InvokerException

public InvokerException(String functionName,
 Term[] args,
 Throwable cause)

Creates an exception wrapping the underlying evaluation cause.

Parameters:

functionName - the invoked function name

args - the supplied arguments

cause - the root cause

InvokerException

public InvokerException(String functionName,
 Term[] args,
 String message)

Creates an exception with a custom error message.

Parameters:

functionName - the invoked function name

args - the supplied arguments

message - the error message

InvokerException

public InvokerException(String functionName,
 Term[] args,
 String message,
 Throwable cause)

Creates an exception with both a custom message and a root cause.

Parameters:

functionName - the invoked function name

args - the supplied arguments

message - the error message

cause - the root cause