org.eclipse.ocl.xtext.essentialocl.ui.model

Class EssentialOCLDocumentProvider

java.lang.Object

XtextDocumentProvider

org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider

org.eclipse.ocl.xtext.base.ui.model.BaseDocumentProvider

org.eclipse.ocl.xtext.essentialocl.ui.model.EssentialOCLDocumentProvider

Deprecated.

no longer used - retained for API compatibility

@Deprecated
public class EssentialOCLDocumentProvider
extends BaseDocumentProvider

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider

DeferredDocumentProvider.DeferredSetTextUnitOfWork

Constructor Summary

Constructors

Constructor and Description
EssentialOCLDocumentProvider() Deprecated.

Method Summary

Methods inherited from class org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider

scheduleDeferredSetTextJob, scheduleDeferredSetTextJob

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EssentialOCLDocumentProvider

public EssentialOCLDocumentProvider()

Deprecated.