Uses of Class
fmrisc.ProgramExplorer.Tasks.TaskFolder

Packages that use TaskFolder

Package	Description
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.SWT
fmrisc.ProgramExplorer.Tasks

Uses of TaskFolder in fmrisc.ProgramExplorer.Judgements

Constructors in fmrisc.ProgramExplorer.Judgements with parameters of type TaskFolder

Constructor and Description
Satisfies(ParamSymbol method, StateType stype, TaskFolder invariants, java.util.Vector<TheorySymbol> theories, Declaration[][] decls, ErrorStream out) Create a judgement processor.
Terminates(ParamSymbol method, StateType stype, TaskFolder tasks, java.util.Vector<TheorySymbol> theories, Declaration[][] decls, ErrorStream out) Create a termination judgement processor.

Uses of TaskFolder in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return TaskFolder

Modifier and Type	Method and Description
TaskFolder	TheorySymbol.getFormulaTasks() Get the formula tasks.
TaskFolder	ParamSymbol.getLoops() Get the loops.
TaskFolder	ParamSymbol.getObligations() Get the other proof obligations.
TaskFolder	ParamSymbol.getOptional() Get the optional conditions.
TaskFolder	ParamSymbol.getPreconditions() Get the preconditions.
TaskFolder	ClassSymbol.getTasks() Get the folder of tasks related to this class.
TaskFolder	PackageSymbol.getTasks() Get the folder of tasks related to this package.
TaskFolder	ParamSymbol.getTCCs() Get the type checking conditions.
TaskFolder	TheorySymbol.getTCCs() Get the type checking conditions.
TaskFolder	ClassSymbol.getTCCs() Get the type checking conditions.

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type TaskFolder

Modifier and Type	Method and Description
void	TCCGenerator.addTasks(TaskFolder folder) Add generated tasks to task folder and reset state.
void	LogicChecking.setStateContext(Formula pre, StateType type, Name[] vars, Name[] excs, TaskFolder folder) Set the current program state context.

Uses of TaskFolder in fmrisc.ProgramExplorer.SWT

Methods in fmrisc.ProgramExplorer.SWT with parameters of type TaskFolder

Modifier and Type	Method and Description
void	TaskTree.close(TaskFolder folder) Close task folder, if it is done.
void	TaskList.redraw(TaskFolder folder) Redraw all not done tasks in folder.
void	TaskTree.redraw(TaskFolder root) Redraw task folder structures.

Uses of TaskFolder in fmrisc.ProgramExplorer.Tasks

Methods in fmrisc.ProgramExplorer.Tasks that return TaskFolder

Modifier and Type	Method and Description
TaskFolder[]	TaskFolder.getFolders() Get subfolders appropriately sorted for display.
TaskFolder	TaskBase.getParent() Get parent folder
TaskFolder	Task.getParent() Get folder containing current task.

Methods in fmrisc.ProgramExplorer.Tasks with parameters of type TaskFolder

Modifier and Type	Method and Description
void	TaskFolder.remove(TaskFolder folder) Remove subfolder from folder.
void	ProofNavigatorTaskBase.setParent(TaskFolder parent) Set parent folder
void	TaskBase.setParent(TaskFolder parent) Set parent folder
void	Task.setParent(TaskFolder parent) Set folder containing current task.

Constructors in fmrisc.ProgramExplorer.Tasks with parameters of type TaskFolder

Constructor and Description
TaskFolder(Symbol symbol, java.lang.String name, TaskFolder parent) Construct sorted task folder with denoted name and parent
TaskFolder(Symbol symbol, java.lang.String name, TaskFolder parent, boolean sorted) Construct task folder with denoted name and parent