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

Class DeferredDocumentProvider.DeferredSetTextUnitOfWork

java.lang.Object

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

Enclosing class:

DeferredDocumentProvider

Deprecated.

no longer used - retained for API compatibility

@Deprecated
public class DeferredDocumentProvider.DeferredSetTextUnitOfWork
extends Object

Constructor Summary

Constructors

Constructor and Description
DeferredSetTextUnitOfWork(XtextDocument document, String sourceText) Deprecated.

Method Summary

Modifier and Type	Method and Description
Boolean	exec(XtextResource state) Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

DeferredSetTextUnitOfWork

public DeferredSetTextUnitOfWork(XtextDocument document,
                                 String sourceText)

Deprecated.

Method Detail

exec

public Boolean exec(XtextResource state)
             throws Exception

Deprecated.

Throws:

Exception