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.Task	Rerpesentation of a task, which will be observed by the EclipseProgressObserver.
ObservableWorkspaceJob	A job that makes an atomic modification to the workspace.