Reflection /MINERVA/Manual/Reference/MinervaToJavaInterface/Reflection/

Reflection

A mechanism to extend MINERVA on-the-fly with functionality given in Java classes.

The use of reflection is an alternative to the static addition of Java extensions to MINERVA via minervax.

Semantics:

Generating a MINERVA predicate from a Java method object, the follwing holds:

If the method returns type 'void', then the predicate succeeds. There is no return term.
If the method returns type 'boolean', then the predicate succeeds or fails a accordingly. There is no return term.
Otherwise the predicate succeeds. The result of the method is returned as the last argument of the predicate.
If the method is not 'static', i.e. a class method, then the predicate additionally takes as first argument the object to which the method is applied.

Summary:

	static void fun(X, Y)		=>	fun(X, Y)
	void fun(X, Y)			=>	fun(Object, X, Y)
	static boolean fun(X, Y)	=>	fun(X, Y)
	boolean fun(X, Y)		=>	fun(Object, X, Y)
	static int fun(X, Y)		=>	fun(X, Y, Result)
	int fun(X, Y)			=>	fun(Object, X, Y, Result)

The predicate invoke_method/4 can be used to directly invoke a method, i.e. without using declare_method/2.

	invoke_method(+Method, +Object, +ArgumentList, -Result)

Example:

	:
	get_class('java.lang.String', String),
	get_class(int, Integer),
	get_method(String, substring, [Integer,Integer], Substring),
	invoke_method(Substring, hello, [1,4], Result).

  ==>
	Result = ell

For more usage examples refer to the ExamplePrograms section.

Examples:
- ExamplePrograms/MinervaFeatures/Reflection

Darueber read on...