public class TimedConsoleProgressMonitor extends java.lang.Object implements ReasonerProgressMonitor
CLASSIFYING, CLASSIFYING_AND_REALIZING, LOADING, REALIZING
Constructor and Description |
---|
TimedConsoleProgressMonitor() |
Modifier and Type | Method and Description |
---|---|
void |
reasonerTaskBusy()
Indicates that the reasoner is busy performing a task whose size cannot be determined.
|
void |
reasonerTaskProgressChanged(int value,
int max)
Indicates that the reasoner is part way through a particular task, for example consistency checking,
classification or reaslisation.
|
void |
reasonerTaskStarted(java.lang.String taskName)
Indicates that some reasoner task, for example, loading, consistency checking, classification, realisation etc.
|
void |
reasonerTaskStopped()
Indicates that a previosly started task has now stopped.
|
public void reasonerTaskStarted(java.lang.String taskName)
ReasonerProgressMonitor
ReasonerProgressMonitor.reasonerTaskStopped()
method will be called.
Once this method has been called it will not be called again unless the
ReasonerProgressMonitor.reasonerTaskStopped()
method has been called. The notion of subtasks is not supported.
Note that this method may be called from a thread that is not the event dispatch thread.reasonerTaskStarted
in interface ReasonerProgressMonitor
taskName
- The name of the taskpublic void reasonerTaskStopped()
ReasonerProgressMonitor
ReasonerProgressMonitor.reasonerTaskStarted(String)
method has been called. The notion of subtasks is not supported.
Note that this method may be called from a thread that is not the event dispatch thread.reasonerTaskStopped
in interface ReasonerProgressMonitor
public void reasonerTaskProgressChanged(int value, int max)
ReasonerProgressMonitor
ReasonerProgressMonitor.reasonerTaskStarted(String)
method has been called. It will not be called after the ReasonerProgressMonitor.reasonerTaskStopped()
method has been called.
Note that this method may be called from a thread that is not the event
dispatch thread.reasonerTaskProgressChanged
in interface ReasonerProgressMonitor
value
- The value or portion of the task completedmax
- The total size of the taskpublic void reasonerTaskBusy()
ReasonerProgressMonitor
ReasonerProgressMonitor.reasonerTaskStarted(String)
method has been called. It will not be called after
the ReasonerProgressMonitor.reasonerTaskStopped()
method has been called.
Note that this
method may be called from a thread that is not the event dispatch thread.reasonerTaskBusy
in interface ReasonerProgressMonitor