A C E F G I M N R S T W Y

A

Ambivalence<T> - Class in net.sf.jauvm.util

A class to facilitate non-deterministic programing with back-tracking.

Ambivalence() - Constructor for class net.sf.jauvm.util.Ambivalence

Ambivalence.NoSolutionException - Exception in net.sf.jauvm.util

Thrown to indicate that there are no solutions in this Ambivalence object's problem space.

C

choose() - Method in class net.sf.jauvm.util.Ambivalence

Indicates there is no choice of values to return at this point.

choose(T) - Method in class net.sf.jauvm.util.Ambivalence

Indicates there is only one possible value to return at this point.

choose(T...) - Method in class net.sf.jauvm.util.Ambivalence

Ambiguously chooses one of its arguments to return.

Continuation - Class in net.sf.jauvm

A continuation representing the stored execution state of an Interpreter object.

Continuation() - Constructor for class net.sf.jauvm.Continuation

Captures the current execution state of the Interpreter as a new Continuation object.

cover(Runnable) - Method in class net.sf.jauvm.util.Ambivalence

Covers all solutions defined by a Runnable object's run() method.

E

enter(Object) - Static method in class net.sf.jauvm.Monitor

Acquires the monitor for an object.

exit(Object) - Static method in class net.sf.jauvm.Monitor

Releases the monitor for an object.

F

fail() - Method in class net.sf.jauvm.util.Ambivalence

Causes the computation to fail at this point.

forkThread() - Static method in class net.sf.jauvm.Continuation

Forks a new thread at the current execution point.

G

generate(Object...) - Method in class net.sf.jauvm.util.Generator

Creates an Iterable object that will have the values for its iterators generated by this Generator object.

Generator<T> - Class in net.sf.jauvm.util

The abstract base class for generators.

Generator() - Constructor for class net.sf.jauvm.util.Generator

getAmbivalence() - Method in exception net.sf.jauvm.util.Ambivalence.NoSolutionException

Gets the Ambivalence object whose problem space solutions where exausted.

getCurrent() - Static method in class net.sf.jauvm.Continuation

Gets this method invocation's current continuation as a new Continuation object.

getExceptionTypes() - Method in class net.sf.jauvm.Continuation

Gets the exception types declared by the method invocation wrapped in this Continuation object.

getReturnType() - Method in class net.sf.jauvm.Continuation

Gets the return type of the method invocation wrapped in this Continuation object.

I

interpretable - Annotation Type in net.sf.jauvm

Indicates that a method should be interpreted by the JauVM instead of beeing delegated to the underlying JVM.

Interpreter - Class in net.sf.jauvm

A JVM byte code interpreter.

Interpreter(Runnable) - Constructor for class net.sf.jauvm.Interpreter

Constructs a new Interpreter object to interpret the specified Runnable object.

Interpreter(Continuation) - Constructor for class net.sf.jauvm.Interpreter

Constructs a new Interpreter object to return to the specified Continuation object's stored execution point.

M

main(String...) - Static method in class net.sf.jauvm.Interpreter

The framework's main(String[] args) method.

Monitor - Class in net.sf.jauvm

Contains methods used to synchronize access to objects.

Monitor() - Constructor for class net.sf.jauvm.Monitor

N

net.sf.jauvm - package net.sf.jauvm

Provides the core classes that implement the JauVM.

net.sf.jauvm.util - package net.sf.jauvm.util

Provides utility classes that implement common patterns of continuations usage.

notify(Object) - Static method in class net.sf.jauvm.Monitor

Notifies a single thread that is waiting on an object's monitor.

notifyAll(Object) - Static method in class net.sf.jauvm.Monitor

Notifies all threads that are waiting on an object's monitor.

R

require(boolean) - Method in class net.sf.jauvm.util.Ambivalence

Requires a certain condition to be true failing otherwise.

returnTo() - Method in class net.sf.jauvm.Continuation

Returns to the execution point represented by this Continuation object (with no return value).

returnTo(Object) - Method in class net.sf.jauvm.Continuation

Returns value to the execution point represented by this Continuation object.

run() - Method in class net.sf.jauvm.Interpreter

Runs this Interpreter object, interpreting the underlying Runnable object's run() method.

run(Object...) - Method in class net.sf.jauvm.util.Generator

Generates the next value for the present iterator.

S

saveCurrentTo(File) - Static method in class net.sf.jauvm.Continuation

Serializes this method invocation's current continuation to the file.

T

throwTo(Throwable) - Method in class net.sf.jauvm.Continuation

Throws thrwbl to the execution point represented by this Continuation object.

W

wait(Object) - Static method in class net.sf.jauvm.Monitor

Waits to be notified on an object.

wait(Object, long, TimeUnit) - Static method in class net.sf.jauvm.Monitor

Waits to be notified on an object or until a specified amount of of time elapses.

Y

yield(T) - Method in class net.sf.jauvm.util.Generator

Hands down the next value to be yielded by the present iterator.

A C E F G I M N R S T W Y