org.eclipse.ocl.pivot.model

Class OCLstdlib

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.emf.ecore.xmi.impl.XMLResourceImpl

org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl

org.eclipse.ocl.pivot.internal.resource.ASResourceImpl

org.eclipse.ocl.pivot.model.OCLstdlib

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.resource.Resource, org.eclipse.emf.ecore.resource.Resource.Internal, org.eclipse.emf.ecore.xmi.XMIResource, org.eclipse.emf.ecore.xmi.XMLResource, ASResource

public class OCLstdlib
extends ASResourceImpl

This is the http://www.eclipse.org/ocl/2015/Library Standard Library auto-generated from /org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib. It facilitates efficient library loading without the overheads of model reading.

This Standard Library may be registered as the definition of a Standard Library for the OCL evaluation framework by invoking install().

The Standard Library is normally activated when the MetamodelManager attempts to locate a library type when its default Standard Library URI is the same as this Standard Library.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OCLstdlib.Loader The Loader shares the Standard Library instance whenever this default library is loaded from the registry of Standard Libraries populated by the standard_library extension point.

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.xmi.XMLResource

org.eclipse.emf.ecore.xmi.XMLResource.ElementHandler, org.eclipse.emf.ecore.xmi.XMLResource.MissingPackageHandler, org.eclipse.emf.ecore.xmi.XMLResource.ResourceEntityHandler, org.eclipse.emf.ecore.xmi.XMLResource.ResourceHandler, org.eclipse.emf.ecore.xmi.XMLResource.URIHandler, org.eclipse.emf.ecore.xmi.XMLResource.XMLInfo, org.eclipse.emf.ecore.xmi.XMLResource.XMLMap

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

Modifier and Type	Field and Description
static java.lang.String	STDLIB_URI The URI of this Standard Library.

Fields inherited from class org.eclipse.ocl.pivot.internal.resource.ASResourceImpl

asResourceFactory

Fields inherited from class org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl

DETACHED_EOBJECT_TO_ID_MAP, domHandler, encoding, eObjectToExtensionMap, eObjectToIDMap, idToEObjectMap, publicId, systemId, useZip, xmlVersion

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.ocl.pivot.resource.ASResource

COMPLETE_OCL_CONTENT_TYPE, CONTENT_TYPE, DEFAULT_ENCODING, ECORE_CONTENT_TYPE, ESSENTIALOCL_CONTENT_TYPE, FILE_EXTENSION, OCLINECORE_CONTENT_TYPE, OCLSTDLIB_CONTENT_TYPE, OPTION_INTERNAL_UUIDS, OPTION_NORMALIZE_CONTENTS, UML_CONTENT_TYPE

Fields inherited from interface org.eclipse.emf.ecore.xmi.XMIResource

OPTION_SUPPRESS_XMI, OPTION_USE_XMI_TYPE, VERSION_2_1_VALUE, VERSION_NAME, VERSION_VALUE, XMI_2_1_URI, XMI_2_4_NAMESPACE_PREFIX, XMI_ID, XMI_NAMESPACE_PREFIX, XMI_NS, XMI_TAG_NAME, XMI_URI

Fields inherited from interface org.eclipse.emf.ecore.xmi.XMLResource

HREF, NIL, NO_NAMESPACE_SCHEMA_LOCATION, OPTION_ANY_SIMPLE_TYPE, OPTION_ANY_TYPE, OPTION_BINARY, OPTION_CONFIGURATION_CACHE, OPTION_DECLARE_XML, OPTION_DEFER_ATTACHMENT, OPTION_DEFER_IDREF_RESOLUTION, OPTION_DISABLE_NOTIFY, OPTION_DOM_USE_NAMESPACES_IN_SCOPE, OPTION_ELEMENT_HANDLER, OPTION_ENCODING, OPTION_ESCAPE_USING_CDATA, OPTION_EXTENDED_META_DATA, OPTION_FLUSH_THRESHOLD, OPTION_FORMATTED, OPTION_KEEP_DEFAULT_CONTENT, OPTION_LAX_FEATURE_PROCESSING, OPTION_LAX_WILDCARD_PROCESSING, OPTION_LINE_WIDTH, OPTION_MISSING_PACKAGE_HANDLER, OPTION_PARSER_FEATURES, OPTION_PARSER_PROPERTIES, OPTION_PROCESS_DANGLING_HREF, OPTION_PROCESS_DANGLING_HREF_DISCARD, OPTION_PROCESS_DANGLING_HREF_RECORD, OPTION_PROCESS_DANGLING_HREF_THROW, OPTION_PROXY_ATTRIBUTES, OPTION_RECORD_ANY_TYPE_NAMESPACE_DECLARATIONS, OPTION_RECORD_UNKNOWN_FEATURE, OPTION_RESOURCE_ENTITY_HANDLER, OPTION_RESOURCE_HANDLER, OPTION_ROOT_OBJECTS, OPTION_SAVE_DOCTYPE, OPTION_SAVE_TYPE_INFORMATION, OPTION_SCHEMA_LOCATION, OPTION_SCHEMA_LOCATION_IMPLEMENTATION, OPTION_SKIP_ESCAPE, OPTION_SKIP_ESCAPE_URI, OPTION_SUPPRESS_DOCUMENT_ROOT, OPTION_URI_HANDLER, OPTION_USE_CACHED_LOOKUP_TABLE, OPTION_USE_DEPRECATED_METHODS, OPTION_USE_ENCODED_ATTRIBUTE_STYLE, OPTION_USE_FILE_BUFFER, OPTION_USE_LEXICAL_HANDLER, OPTION_USE_PACKAGE_NS_URI_AS_LOCATION, OPTION_USE_PARSER_POOL, OPTION_USE_XML_NAME_TO_FEATURE_MAP, OPTION_XML_MAP, OPTION_XML_OPTIONS, OPTION_XML_VERSION, SCHEMA_LOCATION, TYPE, XML_NS, XML_SCHEMA_URI, XSI_NS, XSI_URI

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

OPTION_CIPHER, OPTION_LINE_DELIMITER, OPTION_LINE_DELIMITER_UNSPECIFIED, 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

Method Summary

Modifier and Type	Method and Description
org.eclipse.emf.common.notify.NotificationChain	basicSetResourceSet(org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.emf.common.notify.NotificationChain notifications) Overridden to inhibit entry of the static shared instance in any ResourceSet.
static OCLstdlib	create(java.lang.String asURI) Construct a copy of the OCL Standard Library with specified resource URI, and package name, prefix and namespace URI.
protected void	doUnload() Overridden to inhibit unloading of the static shared instance.
static OCLstdlib	getDefault() Return the default http://www.eclipse.org/ocl/2015/Library standard Library Resource.
static Model	getDefaultModel() Return the default http://www.eclipse.org/ocl/2015/Library standard Library model.
static Package	getDefaultPackage() Return the default http://www.eclipse.org/ocl/2015/Library standard Library package.
org.eclipse.emf.ecore.EObject	getEObject(java.lang.String uriFragment) Ensure xmi:ids are auto-generated before reference.
static void	install() Install this library in the StandardLibraryContribution.REGISTRY.
static void	lazyInstall() Install this library in the StandardLibraryContribution.REGISTRY unless some other library contribution has already been installed.
void	load(java.util.Map<?,?> options) Overridden to trivialise loading of the static shared instance.
protected org.eclipse.emf.common.notify.Notification	setLoaded(boolean isLoaded) Overridden to inhibit unloading of the static shared instance.
static void	uninstall() Unnstall this library from the StandardLibraryContribution.REGISTRY.

Methods inherited from class org.eclipse.ocl.pivot.internal.resource.ASResourceImpl

createXMLSave, getASResourceFactory, getDefaultSaveOptions, getEObjectByID, getModel, setURI, unloaded, useIDs

Methods inherited from class org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl

createXMLHelper, createXMLLoad, createXMLLoad, createXMLSave, getXMINamespace, getXMIVersion, setXMINamespace, setXMIVersion

Methods inherited from class org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl

assignIDsWhileLoading, attachedHelper, createEObjectInputStream, createEObjectOutputStream, detachedHelper, doLoad, doLoad, doLoad, doSave, doSave, getDefaultLoadOptions, getDOMHelper, getEncoding, getEObjectToExtensionMap, getEObjectToIDMap, getID, getIDToEObjectMap, getPublicId, getSystemId, getURIFragment, getXMLVersion, init, isAttachedDetachedHelperRequired, isPath, load, load, save, save, setDoctypeInfo, setEncoding, setID, setUseZip, setXMLVersion, toKeyString, useIDAttributes, useUUIDs, useZip

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

addModificationTrackingAdapters, attached, createModificationTrackingAdapter, delete, detached, getAllContents, getAllProperContents, getAllProperContents, getContents, getDefaultURIConverter, getEObject, getEObjectForURIFragmentRootSegment, getErrors, getIntrinsicIDToEObjectMap, getResourceSet, getTimeStamp, getUnloadingContents, getURI, getURIConverter, getURIFragmentRootSegment, getWarnings, handleLoadResponse, handleSaveResponse, isContentZipEntry, isLoaded, isLoading, isModified, isTrackingModification, load, mergeMaps, newContentZipEntry, removeModificationTrackingAdapters, save, save, saveOnlyIfChangedWithFileBuffer, saveOnlyIfChangedWithMemoryBuffer, setIntrinsicIDToEObjectMap, setModified, setTimeStamp, setTrackingModification, toString, unload

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.xmi.XMIResource

getXMINamespace, getXMIVersion, setXMINamespace, setXMIVersion

Methods inherited from interface org.eclipse.emf.ecore.xmi.XMLResource

getDefaultLoadOptions, getDOMHelper, getEncoding, getEObjectToExtensionMap, getEObjectToIDMap, getID, getIDToEObjectMap, getPublicId, getSystemId, getXMLVersion, load, load, save, save, setDoctypeInfo, setEncoding, setID, setUseZip, setXMLVersion, useZip

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

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

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

eAdapters, eDeliver, eNotify, eSetDeliver

Field Detail

STDLIB_URI

@NonNull
public static final java.lang.String STDLIB_URI

The URI of this Standard Library.

See Also:

Constant Field Values

Method Detail

getDefault

@NonNull
public static OCLstdlib getDefault()

Return the default http://www.eclipse.org/ocl/2015/Library standard Library Resource. This static definition auto-generated from /org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib is used as the default when no overriding copy is registered. It cannot be unloaded or rather unloading has no effect.

getDefaultModel

@NonNull
public static Model getDefaultModel()

Return the default http://www.eclipse.org/ocl/2015/Library standard Library model. This static definition auto-generated from /org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib is used as the default when no overriding copy is registered.

getDefaultPackage

@NonNull
public static Package getDefaultPackage()

Return the default http://www.eclipse.org/ocl/2015/Library standard Library package. This static definition auto-generated from /org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib is used as the default when no overriding copy is registered.

install

public static void install()

Install this library in the StandardLibraryContribution.REGISTRY. This method may be invoked by standalone applications to replicate the registration that should appear as a standard_library plugin extension when running within Eclipse.

lazyInstall

public static void lazyInstall()

Install this library in the StandardLibraryContribution.REGISTRY unless some other library contribution has already been installed.

uninstall

public static void uninstall()

Unnstall this library from the StandardLibraryContribution.REGISTRY. This method may be invoked by standalone applications to release the library resources for garbage collection and memory leakage detection.

create

@NonNull
public static OCLstdlib create(@NonNull
                                         java.lang.String asURI)

Construct a copy of the OCL Standard Library with specified resource URI, and package name, prefix and namespace URI.

basicSetResourceSet

public org.eclipse.emf.common.notify.NotificationChain basicSetResourceSet(org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
                                                                           org.eclipse.emf.common.notify.NotificationChain notifications)

Overridden to inhibit entry of the static shared instance in any ResourceSet.

Specified by:

basicSetResourceSet in interface org.eclipse.emf.ecore.resource.Resource.Internal

Overrides:

basicSetResourceSet in class org.eclipse.emf.ecore.resource.impl.ResourceImpl

doUnload

protected void doUnload()

Overridden to inhibit unloading of the static shared instance.

Overrides:

doUnload in class org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl

getEObject

public org.eclipse.emf.ecore.EObject getEObject(java.lang.String uriFragment)

Ensure xmi:ids are auto-generated before reference.

Specified by:

getEObject in interface org.eclipse.emf.ecore.resource.Resource

Overrides:

getEObject in class org.eclipse.emf.ecore.resource.impl.ResourceImpl

load

public void load(java.util.Map<?,?> options)
          throws java.io.IOException

Overridden to trivialise loading of the static shared instance.

Specified by:

load in interface org.eclipse.emf.ecore.resource.Resource

Overrides:

load in class org.eclipse.emf.ecore.resource.impl.ResourceImpl

Throws:

java.io.IOException

setLoaded

protected org.eclipse.emf.common.notify.Notification setLoaded(boolean isLoaded)

Overridden to inhibit unloading of the static shared instance.

Overrides:

setLoaded in class org.eclipse.emf.ecore.resource.impl.ResourceImpl