Class IntegraalInvokers

java.lang.Object

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

public class IntegraalInvokers
extends Object

Default invokers for InteGraal. This class provides a collection of invoker functions used for various operations on terms such as mathematical calculations, string manipulation, set operations, etc. Each invoker throws specific exceptions when encountering invalid arguments or errors.

Author:

Florent Tornil, Guillaume Pérution-Kihli

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	IntegraalInvokers.InvokerException	Custom exception for invoker errors.
static enum	IntegraalInvokers.StdInvoker	Enum representing standard invokers.

Constructor Summary

Constructors

Constructor	Description
IntegraalInvokers(TermFactory tf)	Default constructor.

Method Summary

Modifier and Type	Method	Description
List<String>	getAllInvokerNames()	Retrieves all invoker names as a List of Strings.
Invoker	getInvoker(IntegraalInvokers.StdInvoker fct)	Retrieves the invoker corresponding to a given function.
Invoker	getInvoker(String fct)	Retrieves the invoker by function name as a string.
static void	main(String[] args)	Prints a small diagnostic sample of registered invokers.

Methods inherited from class Object

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

Constructor Details

IntegraalInvokers

public IntegraalInvokers(TermFactory tf)

Default constructor. Initializes the invokers and maps their corresponding string representations.

Parameters:

tf - A term factory used to create terms.

Method Details

getInvoker

public Invoker getInvoker(IntegraalInvokers.StdInvoker fct)

Retrieves the invoker corresponding to a given function.

Parameters:

fct - The name of the function.

Returns:

The invoker corresponding to the given name.

getInvoker

public Invoker getInvoker(String fct)

Retrieves the invoker by function name as a string.

Parameters:

fct - The function name.

Returns:

The corresponding invoker, or null if none exists.

getAllInvokerNames

public List<String> getAllInvokerNames()

Retrieves all invoker names as a List of Strings.

Returns:

A list of all invoker names (in camelCase).

main

public static void main(String[] args)
                 throws IntegraalInvokers.InvokerException

Prints a small diagnostic sample of registered invokers.

Parameters:

args - unused command-line arguments

Throws:

IntegraalInvokers.InvokerException - if invoker initialization fails