public final class ClassTasks
extends java.lang.Object
Constructor and Description |
---|
ClassTasks() |
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.
|
public static void register(ClassSymbol csymbol, java.util.Vector<TheorySymbol> theories, Declaration[][] decls, ErrorStream out)
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.public static boolean exist()
public static void clearTasks()
public static void generateTasks(java.io.PrintWriter out)
out
- the stream on which to print progress information.