org.eclipse.ocl.examples.xtext.essentialocl.utilities
Class EssentialOCLCSResource

java.lang.Object
  org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      org.eclipse.emf.common.notify.impl.NotifierImpl
          org.eclipse.emf.ecore.resource.impl.ResourceImpl
              org.eclipse.xtext.resource.XtextResource
                  org.eclipse.xtext.linking.lazy.LazyLinkingResource
                      org.eclipse.ocl.examples.xtext.essentialocl.utilities.EssentialOCLCSResource

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.resource.Resource, org.eclipse.emf.ecore.resource.Resource.Internal, EvaluationContext, BaseCSResource

Direct Known Subclasses:

CompleteOCLCSResource, EmbeddedXtextResource, OCLinEcoreCSResource, OCLstdlibCSResource

public class EssentialOCLCSResource
extends org.eclipse.xtext.linking.lazy.LazyLinkingResource
implements BaseCSResource, EvaluationContext

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.linking.lazy.LazyLinkingResource

org.eclipse.xtext.linking.lazy.LazyLinkingResource.DiagnosticMessageContext

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.resource.impl.ResourceImpl

org.eclipse.emf.ecore.resource.impl.ResourceImpl.ContentsEList<E extends java.lang.Object & org.eclipse.emf.ecore.EObject>, org.eclipse.emf.ecore.resource.impl.ResourceImpl.ModificationTrackingAdapter

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.resource.Resource

org.eclipse.emf.ecore.resource.Resource.Diagnostic, org.eclipse.emf.ecore.resource.Resource.Factory, org.eclipse.emf.ecore.resource.Resource.Internal, org.eclipse.emf.ecore.resource.Resource.IOWrappedException

Field Summary

Fields inherited from class org.eclipse.xtext.resource.XtextResource

isUpdating, OPTION_ENCODING, OPTION_FORMAT, OPTION_RESOLVE_ALL, OPTION_SERIALIZATION_OPTIONS

Fields inherited from class org.eclipse.emf.ecore.resource.impl.ResourceImpl

contents, defaultDeleteOptions, defaultLoadOptions, defaultSaveOptions, errors, intrinsicIDToEObjectMap, isLoaded, isLoading, isModified, modificationTrackingAdapter, resourceSet, timeStamp, unloadingContents, uri, warnings

Fields inherited from class org.eclipse.emf.common.notify.impl.NotifierImpl

eAdapters, EDELIVER, eFlags, ELAST_NOTIFIER_FLAG

Fields inherited from interface org.eclipse.emf.ecore.resource.Resource

OPTION_CIPHER, OPTION_SAVE_ONLY_IF_CHANGED, OPTION_SAVE_ONLY_IF_CHANGED_FILE_BUFFER, OPTION_SAVE_ONLY_IF_CHANGED_MEMORY_BUFFER, OPTION_ZIP, RESOURCE__CONTENTS, RESOURCE__ERRORS, RESOURCE__IS_LOADED, RESOURCE__IS_MODIFIED, RESOURCE__IS_TRACKING_MODIFICATION, RESOURCE__RESOURCE_SET, RESOURCE__TIME_STAMP, RESOURCE__URI, RESOURCE__WARNINGS

Constructor Summary

EssentialOCLCSResource()

Method Summary

protected void	addLibraryError(java.util.List<org.eclipse.emf.ecore.resource.Resource.Diagnostic> errors, IllegalLibraryException e)
CS2Pivot	createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap, TypeManager typeManager)
TypeManager	createTypeManager()
protected void	doLinking()
PivotEnvironment	getEnvironment()
ModelResolver	getModelResolver()
NamedElement	getSpecificationContext()
org.eclipse.emf.common.util.URI	resolve(org.eclipse.emf.common.util.URI uri)
void	resolveLazyCrossReferences(org.eclipse.xtext.util.CancelIndicator mon)
void	setContext(NamedElement pivotContext, java.util.Map<java.lang.String,Type> pivotParameters)
void	setEnvironment(PivotEnvironment environment)
void	setModelResolver(ModelResolver modelResolver)
ModelResolver	useModelResolver()

Methods inherited from class org.eclipse.xtext.linking.lazy.LazyLinkingResource

createAndAddDiagnostic, createDiagnostic, createDiagnosticMessage, createDiagnosticMessageContext, doLoad, getDiagnosticList, getDiagnosticMessageProvider, getEncoder, getEObject, getLinkingHelper, getLinkingService, getReferences, handleCyclicResolution, isEagerLinking, isUnresolveableProxyCacheable, removeDiagnostic, resolveLazyCrossReference, setDiagnosticMessageProvider, setEagerLinking, setEncoder, setLinkingHelper, setLinkingService

Methods inherited from class org.eclipse.xtext.resource.XtextResource

addSyntaxErrors, clearErrorsAndWarnings, clearInternalState, doSave, doUnload, getCache, getConcreteSyntaxValidator, getEncoding, getFragmentProvider, getLanguageName, getLinker, getParser, getParseResult, getResourceServiceProvider, getSerializer, getUnloader, getURIFragment, isValidationDisabled, reattachModificationTracker, reparse, setCache, setEncodingFromOptions, setFragmentProvider, setInjectedParser, setLinker, setParser, setParseResult, setResourceServiceProvider, setSerializer, setUnloader, setValidationDisabled, unload, update, updateInternalState, updateInternalState, validateConcreteSyntax

Methods inherited from class org.eclipse.emf.ecore.resource.impl.ResourceImpl

addModificationTrackingAdapters, attached, attachedHelper, basicSetResourceSet, createModificationTrackingAdapter, delete, detached, detachedHelper, getAllContents, getAllProperContents, getAllProperContents, getContents, getDefaultURIConverter, getEObject, getEObjectByID, getEObjectForURIFragmentRootSegment, getErrors, getIntrinsicIDToEObjectMap, getResourceSet, getTimeStamp, getURI, getURIConverter, getURIFragmentRootSegment, getWarnings, handleLoadResponse, handleSaveResponse, isAttachedDetachedHelperRequired, isContentZipEntry, isLoaded, isLoading, isModified, isTrackingModification, load, load, mergeMaps, newContentZipEntry, removeModificationTrackingAdapters, save, save, saveOnlyIfChangedWithFileBuffer, saveOnlyIfChangedWithMemoryBuffer, setIntrinsicIDToEObjectMap, setLoaded, setModified, setTimeStamp, setTrackingModification, setURI, toKeyString, toString, unload, unloaded, useZip

Methods inherited from class org.eclipse.emf.common.notify.impl.NotifierImpl

eAdapters, eBasicAdapters, eDeliver, eSetDeliver

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eBasicAdapterArray, eBasicHasAdapters, 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.resource.Resource

delete, getAllContents, getContents, getEObject, getErrors, getResourceSet, getTimeStamp, getURI, getURIFragment, getWarnings, isLoaded, isModified, isTrackingModification, load, load, save, save, setModified, setTimeStamp, setTrackingModification, setURI, unload

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Constructor Detail

EssentialOCLCSResource

public EssentialOCLCSResource()

Method Detail

addLibraryError

protected void addLibraryError(java.util.List<org.eclipse.emf.ecore.resource.Resource.Diagnostic> errors,
                               IllegalLibraryException e)

createCS2Pivot

public CS2Pivot createCS2Pivot(java.util.Map<? extends org.eclipse.emf.ecore.resource.Resource,? extends org.eclipse.emf.ecore.resource.Resource> cs2pivotResourceMap,
                               TypeManager typeManager)

Specified by:

createCS2Pivot in interface BaseCSResource

createTypeManager

public TypeManager createTypeManager()

Specified by:

createTypeManager in interface BaseCSResource

doLinking

protected void doLinking()

Overrides:

doLinking in class org.eclipse.xtext.linking.lazy.LazyLinkingResource

getEnvironment

public PivotEnvironment getEnvironment()

Specified by:

getEnvironment in interface EvaluationContext

getModelResolver

public ModelResolver getModelResolver()

getSpecificationContext

public NamedElement getSpecificationContext()

Specified by:

getSpecificationContext in interface EvaluationContext

resolve

public org.eclipse.emf.common.util.URI resolve(org.eclipse.emf.common.util.URI uri)

Specified by:

resolve in interface BaseCSResource

resolveLazyCrossReferences

public void resolveLazyCrossReferences(org.eclipse.xtext.util.CancelIndicator mon)

Overrides:

resolveLazyCrossReferences in class org.eclipse.xtext.linking.lazy.LazyLinkingResource

setContext

public void setContext(NamedElement pivotContext,
                       java.util.Map<java.lang.String,Type> pivotParameters)

Specified by:

setContext in interface EvaluationContext

setEnvironment

public void setEnvironment(PivotEnvironment environment)

Specified by:

setEnvironment in interface EvaluationContext

setModelResolver

public void setModelResolver(ModelResolver modelResolver)

useModelResolver

public ModelResolver useModelResolver()
                               throws java.io.IOException

Throws:

java.io.IOException