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:
Comparable<org.eclipse.core.internal.jobs.InternalJob>, 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 net.ssehub.easy.reasoning.core.frontend.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(net.ssehub.easy.reasoning.core.frontend.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