Package net.ssehub.easy.producer.eclipse.internal

Class ReasoningProgressObserver

java.lang.Object

org.eclipse.core.runtime.PlatformObject

org.eclipse.core.internal.jobs.InternalJob

org.eclipse.core.runtime.jobs.Job

org.eclipse.core.internal.resources.InternalWorkspaceJob

org.eclipse.core.resources.WorkspaceJob

net.ssehub.easy.producer.eclipse.observer.ObservableWorkspaceJob

net.ssehub.easy.producer.eclipse.internal.ReasoningProgressObserver

All Implemented Interfaces:

java.lang.Comparable, org.eclipse.core.runtime.IAdaptable

public class ReasoningProgressObserver
extends ObservableWorkspaceJob

(Graphical) observer for reasoning steps. Reasoning runs also in an own thread.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
private ReasoningProcess	process

Fields inherited from class org.eclipse.core.runtime.jobs.Job

ASYNC_FINISH, BUILD, DECORATE, INTERACTIVE, LONG, NONE, RUNNING, SHORT, SLEEPING, WAITING

Fields inherited from class org.eclipse.core.internal.jobs.InternalJob

manager

Constructor Summary

Constructors

Constructor	Description
ReasoningProgressObserver(ReasoningProcess process)	Sole constructor for this Observer.

Method Summary

Modifier and Type	Method	Description
protected org.eclipse.core.runtime.IStatus	doJob()	The method which should be performed.

Methods inherited from class net.ssehub.easy.producer.eclipse.observer.ObservableWorkspaceJob

getObserver, runInWorkspace

Methods inherited from class org.eclipse.core.internal.resources.InternalWorkspaceJob

run

Methods inherited from class org.eclipse.core.runtime.jobs.Job

addJobChangeListener, belongsTo, cancel, canceling, create, create, createSystem, createSystem, done, getJobGroup, getJobManager, getName, getPriority, getProperty, getResult, getRule, getState, getThread, isBlocking, isSystem, isUser, join, join, removeJobChangeListener, schedule, schedule, setJobGroup, setName, setPriority, setProgressGroup, setProperty, setRule, setSystem, setThread, setUser, shouldRun, shouldSchedule, sleep, toString, wakeUp, wakeUp, yieldRule

Methods inherited from class org.eclipse.core.internal.jobs.InternalJob

compareTo

Methods inherited from class org.eclipse.core.runtime.PlatformObject

getAdapter

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Field Detail

process

private ReasoningProcess process

Constructor Detail

ReasoningProgressObserver

public ReasoningProgressObserver(ReasoningProcess process)

Sole constructor for this Observer.

Parameters:

process - A configured ReasoningProcess (cf. #reason(net.ssehub.easy.reasoning.core.utils.ReasoningOperation, net.ssehub.easy.reasoning.core.frontend.IReasonerListener)).

Method Detail

doJob

protected org.eclipse.core.runtime.IStatus doJob()

Description copied from class: ObservableWorkspaceJob

The method which should be performed.

Specified by:

doJob in class ObservableWorkspaceJob

Returns:

A status object represents the outcome of an operation.