fmrisc.ProgramExplorer.Tasks

Class ClassTasks

java.lang.Object

fmrisc.ProgramExplorer.Tasks.ClassTasks

public final class ClassTasks
extends java.lang.Object

The delayed generation of method-related tasks.

Constructor Summary

Constructors

Constructor and Description
ClassTasks()

Method Summary

Methods

Modifier and Type	Method and Description
static void	clearTasks() Clear the registered tasks.
static boolean	exist() Determine whether there are tasks.
static void	generateTasks(java.io.PrintWriter out) Generate those tasks for which the information has been previously registered.
static void	register(ClassSymbol csymbol, java.util.Vector<TheorySymbol> theories, Declaration[][] decls, ErrorStream out) Register the construction of tasks for a given class.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassTasks

public ClassTasks()

Method Detail

register

public static void register(ClassSymbol csymbol,
            java.util.Vector<TheorySymbol> theories,
            Declaration[][] decls,
            ErrorStream out)

Register the construction of tasks for a given class.

Parameters:

csymbol - the symbol of a class.

theories - the theories on which the following depend in dependence order.

decls - a sequence of declaration lists.

out - the stream to which to write error messages.

exist

public static boolean exist()

Determine whether there are tasks.

Returns:

true iff there are tasks.

clearTasks

public static void clearTasks()

Clear the registered tasks.

generateTasks

public static void generateTasks(java.io.PrintWriter out)

Generate those tasks for which the information has been previously registered.

Parameters:

out - the stream on which to print progress information.