Class JavaMethodInvoker

java.lang.Object

fr.inria.rules.integraal.model.functions.JavaMethodInvoker

All Implemented Interfaces:

Invoker

public class JavaMethodInvoker
extends Object
implements Invoker

Invoker implementation using java methods as black boxes

Author:

Florent Tornil

Constructor Summary

Constructors

Constructor	Description
JavaMethodInvoker(TermFactory termFactory, String class_file_path, String class_full_name, String method_name)	Creates an invoker backed by a static Java method loaded from a class file.

Method Summary

Modifier and Type	Method	Description
Term	invoke(Term... terms)	//////////////////////////////////////////////

Methods inherited from class Object

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

Constructor Details

JavaMethodInvoker

public JavaMethodInvoker(TermFactory termFactory,
 String class_file_path,
 String class_full_name,
 String method_name)
                  throws ClassNotFoundException,
IOException,
NoSuchMethodException

Creates an invoker backed by a static Java method loaded from a class file.

Parameters:

termFactory - a term factory

class_file_path - path of the .class file

class_full_name - name of the .class file

method_name - name of the method to call

Throws:

ClassNotFoundException - iff the given class is not found

IOException - iff the given class file cannot be accessed

NoSuchMethodException - iff the given method is not found in the given class

Method Details

invoke

public Term invoke(Term... terms)

//////////////////////////////////////////////

Specified by:

invoke in interface Invoker

Parameters:

terms - the array of term arguments

Returns:

the result term