|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.emf.common.notify.impl.BasicNotifierImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.EObjectImpl
org.eclipse.tptp.platform.analysis.engine.impl.IEngineListenerImpl
org.eclipse.tptp.platform.analysis.engine.impl.ResultSetBuilder
| Nested Class Summary |
|---|
| Nested classes inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl |
|---|
org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl |
| Nested classes inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl |
|---|
org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList |
| Nested classes inherited from class org.eclipse.emf.ecore.InternalEObject |
|---|
org.eclipse.emf.ecore.InternalEObject.EStore |
| Field Summary |
|---|
| Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl |
|---|
eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY |
| Fields inherited from interface org.eclipse.core.runtime.IProgressMonitor |
|---|
UNKNOWN |
| Fields inherited from interface org.eclipse.emf.ecore.InternalEObject |
|---|
EOPPOSITE_FEATURE_BASE |
| Constructor Summary | |
|---|---|
ResultSetBuilder()
|
|
| Method Summary | |
|---|---|
void |
beginTask(java.lang.String name,
int totalWork)
|
void |
beginTask(java.lang.String name,
int totalWork,
IAnalysisScope scope,
IReview review)
|
void |
done()
|
void |
error(java.lang.Throwable throwable,
java.lang.String message)
|
IResultSet |
getResults()
|
void |
internalWorked(double work)
|
boolean |
isCanceled()
|
boolean |
isRunning()
|
void |
processedResult(IResult res)
|
void |
setCanceled(boolean value)
|
void |
setProgressMonitor(org.eclipse.core.runtime.IProgressMonitor monitor)
|
void |
setTaskName(java.lang.String name)
|
void |
subTask(java.lang.String name)
|
void |
worked(int work)
|
| Methods inherited from class org.eclipse.tptp.platform.analysis.engine.impl.IEngineListenerImpl |
|---|
eStaticClass |
| Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl |
|---|
eAdapters, eBasicAdapters, eBasicProperties, eBasicSetContainer, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI |
| Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl |
|---|
eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicSetContainer, eContainer, eContainingFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicIsSet, eDynamicSet, eDynamicUnset, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eProxyURI, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eStaticFeatureCount, eStore, eUnset, eURIFragmentSegment, toString |
| Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl |
|---|
eNotificationRequired, eNotify |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface org.eclipse.emf.ecore.EObject |
|---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
| Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
|---|
eAdapters, eDeliver, eNotify, eSetDeliver |
| Methods inherited from interface org.eclipse.emf.ecore.InternalEObject |
|---|
eNotificationRequired |
| Constructor Detail |
public ResultSetBuilder()
| Method Detail |
public void setProgressMonitor(org.eclipse.core.runtime.IProgressMonitor monitor)
public IResultSet getResults()
public boolean isRunning()
public void beginTask(java.lang.String name,
int totalWork,
IAnalysisScope scope,
IReview review)
IEngineListenerImpl
beginTask in interface IEngineListenerbeginTask in class IEngineListenerImplpublic void processedResult(IResult res)
IEngineListenerImpl
processedResult in interface IEngineListenerprocessedResult in class IEngineListenerImpl
public void error(java.lang.Throwable throwable,
java.lang.String message)
IEngineListenerImpl
error in interface IEngineListenererror in class IEngineListenerImpl
public void beginTask(java.lang.String name,
int totalWork)
beginTask in interface org.eclipse.core.runtime.IProgressMonitorbeginTask in class IEngineListenerImplpublic void done()
done in interface org.eclipse.core.runtime.IProgressMonitordone in class IEngineListenerImplpublic void internalWorked(double work)
internalWorked in interface org.eclipse.core.runtime.IProgressMonitorinternalWorked in class IEngineListenerImplpublic boolean isCanceled()
isCanceled in interface org.eclipse.core.runtime.IProgressMonitorisCanceled in class IEngineListenerImplpublic void setCanceled(boolean value)
setCanceled in interface org.eclipse.core.runtime.IProgressMonitorsetCanceled in class IEngineListenerImplpublic void setTaskName(java.lang.String name)
setTaskName in interface org.eclipse.core.runtime.IProgressMonitorsetTaskName in class IEngineListenerImplpublic void subTask(java.lang.String name)
subTask in interface org.eclipse.core.runtime.IProgressMonitorsubTask in class IEngineListenerImplpublic void worked(int work)
worked in interface org.eclipse.core.runtime.IProgressMonitorworked in class IEngineListenerImpl
|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||