org.eclipse.ocl.examples.pivot.utilities
Class EnvironmentResourceAdapter

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.EnvironmentResourceAdapter

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter

public class EnvironmentResourceAdapter
extends java.lang.Object
implements org.eclipse.emf.common.notify.Adapter

A EnvironmentResourceAdapter enhances the Resource to idenify its environment.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Field Summary

protected PivotEnvironment	environment
protected org.eclipse.emf.ecore.resource.Resource	resource

Constructor Summary

EnvironmentResourceAdapter(org.eclipse.emf.ecore.resource.Resource resource, PivotEnvironment environment)

Method Summary

TypeManager	createTypeManager()
static EnvironmentResourceAdapter	findAdapter(org.eclipse.emf.ecore.resource.Resource resource)
static EnvironmentResourceAdapter	getAdapter(org.eclipse.emf.ecore.resource.Resource resource, PivotEnvironment environment)
PivotEnvironment	getEnvironment()
org.eclipse.emf.ecore.resource.Resource	getTarget()
boolean	isAdapterForType(java.lang.Object type)
void	notifyChanged(org.eclipse.emf.common.notify.Notification notification)
void	setTarget(org.eclipse.emf.common.notify.Notifier newTarget)

Methods inherited from class java.lang.Object

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

Field Detail

resource

protected final org.eclipse.emf.ecore.resource.Resource resource

environment

protected final PivotEnvironment environment

Constructor Detail

EnvironmentResourceAdapter

public EnvironmentResourceAdapter(org.eclipse.emf.ecore.resource.Resource resource,
                                  PivotEnvironment environment)

Method Detail

findAdapter

public static EnvironmentResourceAdapter findAdapter(org.eclipse.emf.ecore.resource.Resource resource)

getAdapter

public static EnvironmentResourceAdapter getAdapter(org.eclipse.emf.ecore.resource.Resource resource,
                                                    PivotEnvironment environment)

createTypeManager

public TypeManager createTypeManager()

getTarget

public org.eclipse.emf.ecore.resource.Resource getTarget()

Specified by:

getTarget in interface org.eclipse.emf.common.notify.Adapter

getEnvironment

public PivotEnvironment getEnvironment()

isAdapterForType

public boolean isAdapterForType(java.lang.Object type)

Specified by:

isAdapterForType in interface org.eclipse.emf.common.notify.Adapter

notifyChanged

public void notifyChanged(org.eclipse.emf.common.notify.Notification notification)

Specified by:

notifyChanged in interface org.eclipse.emf.common.notify.Adapter

setTarget

public void setTarget(org.eclipse.emf.common.notify.Notifier newTarget)

Specified by:

setTarget in interface org.eclipse.emf.common.notify.Adapter