TPTP 4.4.0 Monitoring Tools Project
Internal API Specification

org.eclipse.tptp.wsdm.tooling.internal.util
Class ProgressMonitorHelper

java.lang.Object
  extended byorg.eclipse.tptp.wsdm.tooling.internal.util.ProgressMonitorHelper

public class ProgressMonitorHelper
extends java.lang.Object


Constructor Summary
ProgressMonitorHelper(org.eclipse.core.runtime.IProgressMonitor monitor)
           
 
Method Summary
 void finishProgressMonitor()
           
 void recordProgress()
           
 void recordProgress(int i)
           
 void startProgressMonitor(int i)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProgressMonitorHelper

public ProgressMonitorHelper(org.eclipse.core.runtime.IProgressMonitor monitor)
Method Detail

finishProgressMonitor

public void finishProgressMonitor()

recordProgress

public void recordProgress(int i)

startProgressMonitor

public void startProgressMonitor(int i)

recordProgress

public void recordProgress()

TPTP 4.4.0 Monitoring Tools Project
Internal API Specification