org.idris.rts

Class Closure

java.lang.Object

org.idris.rts.Closure

All Implemented Interfaces:

Runnable, Callable<Object>

public abstract class Closure
extends Object
implements Callable<Object>, Runnable

Closures encapsulate function calls in order to allow tail recursion elimination.

Author:

Jan Bessai

Constructor Summary

Constructors

Constructor and Description
Closure()

Method Summary

Methods

Modifier and Type	Method and Description
abstract Object	call() Method including the function call encapsulated by this closure.
Thread	fork() Fork a new thread using this as its Runnable.
void	run() Run unwrapTailCall on this.
static Object	unwrapTailCall(Object o) Unfold tail calls by invoking the call method of the given parameter and its results until they can no longer be casted to Closure.

Methods inherited from class java.lang.Object

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

Constructor Detail

Closure

public Closure()

Method Detail

call

public abstract Object call()

Method including the function call encapsulated by this closure.

Specified by:

call in interface Callable<Object>

Returns:

result of the function or null if it has none.

unwrapTailCall

public static Object unwrapTailCall(Object o)

Unfold tail calls by invoking the call method of the given parameter and its results until they can no longer be casted to Closure.

Parameters:

o - Closure to be unwrapped

Returns:

The result of the last call or the parameter if it is not an instance of closure.

run

public void run()

Run unwrapTailCall on this.

Specified by:

run in interface Runnable

fork

public Thread fork()

Fork a new thread using this as its Runnable.

Returns:

the newly forked thread