org.eclipse.emf.henshin.statespace.resource
Class StateSpaceResource

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.henshin.statespace.resource.StateSpaceResource

All Implemented Interfaces:

Notifier, Resource, Resource.Internal

public class StateSpaceResource
extends ResourceImpl

Resource implementation for state spaces.

Nested Class Summary

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

ResourceImpl.ContentsEList<E extends Object & EObject>, ResourceImpl.ModificationTrackingAdapter

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

BasicNotifierImpl.EAdapterList<E extends Object & Adapter>, BasicNotifierImpl.EObservableAdapterList

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

Resource.Diagnostic, Resource.Factory, Resource.Internal, Resource.IOWrappedException

Field Summary

static int	BUFFER_CAPACITY
static String	FILE_EXTENSION File extension for state space files.

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

StateSpaceResource()
Default constructor.

StateSpaceResource(URI uri)
Convenience constructor.

Method Summary

protected void	doLoad(InputStream in, Map<?,?> options)
protected void	doSave(OutputStream out, Map<?,?> options)
StateSpace	getStateSpace() Get the state space contained in this resource.
protected boolean	isContentZipEntry(ZipEntry entry)
protected ZipEntry	newContentZipEntry()
protected boolean	useZip()

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

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

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.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Field Detail

FILE_EXTENSION

public static final String FILE_EXTENSION

File extension for state space files.

See Also:

Constant Field Values

BUFFER_CAPACITY

public static final int BUFFER_CAPACITY

See Also:

Constant Field Values

Constructor Detail

StateSpaceResource

public StateSpaceResource()

Default constructor.

StateSpaceResource

public StateSpaceResource(URI uri)

Convenience constructor.

Parameters:

uri - URI of the resource.

Method Detail

getStateSpace

public StateSpace getStateSpace()

Get the state space contained in this resource.

Returns:

The state space.

doSave

protected void doSave(OutputStream out,
                      Map<?,?> options)
               throws IOException

Overrides:

doSave in class ResourceImpl

Throws:

IOException

doLoad

protected void doLoad(InputStream in,
                      Map<?,?> options)
               throws IOException

Overrides:

doLoad in class ResourceImpl

Throws:

IOException

useZip

protected boolean useZip()

Overrides:

useZip in class ResourceImpl

newContentZipEntry

protected ZipEntry newContentZipEntry()

Overrides:

newContentZipEntry in class ResourceImpl

isContentZipEntry

protected boolean isContentZipEntry(ZipEntry entry)

Overrides:

isContentZipEntry in class ResourceImpl