de.uka.ilkd.key.util

Class ProgressMonitor.Empty

java.lang.Object

de.uka.ilkd.key.util.ProgressMonitor.Empty

All Implemented Interfaces:

ProgressMonitor

Enclosing interface:

ProgressMonitor

public static class ProgressMonitor.Empty
extends java.lang.Object
implements ProgressMonitor

A progress monitor that does nothing. This is a singleton, use getInstance() to get one.

Nested Class Summary

Nested classes/interfaces inherited from interface de.uka.ilkd.key.util.ProgressMonitor

ProgressMonitor.Empty

Field Summary

Fields

Modifier and Type	Field and Description
private static ProgressMonitor.Empty	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Empty()

Method Summary

Modifier and Type	Method and Description
static ProgressMonitor.Empty	getInstance() Return a do-nothing progress monitor.
void	setMaximum(int maximum) Set the maximum number of steps for this task.
void	setProgress(int progress) Set the progress achieved so far.

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

private static ProgressMonitor.Empty INSTANCE

Constructor Detail

Empty

private Empty()

Method Detail

getInstance

public static ProgressMonitor.Empty getInstance()

Return a do-nothing progress monitor.

setProgress

public void setProgress(int progress)

Description copied from interface: ProgressMonitor

Set the progress achieved so far. The parameter progress has to be >=0 and <= to the maximum value previously set with ProgressMonitor.setMaximum(int).

Specified by:

setProgress in interface ProgressMonitor

Parameters:

progress - number of steps completed

setMaximum

public void setMaximum(int maximum)

Description copied from interface: ProgressMonitor

Set the maximum number of steps for this task.

Specified by:

setMaximum in interface ProgressMonitor

Parameters:

maximum - maximum number of steps, >=0.