Package net.ssehub.easy.producer.eclipse.observer

Classes for handling progress observation including an observed reasoning process.

Class Summary

Class	Description
EclipseProgressObserver	Observes the progress of a longer lasting task for the eclipse ui.
EclipseProgressObserver.MyProgressMonitor	Wraps the eclipse progress monitor to the basic progress observer interface.
ObservableWorkspaceJob	A job that makes an atomic modification to the workspace.