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

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

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter

Direct Known Subclasses:

CS2PivotResourceAdapter

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

A CS2PivotResourceAdapter enhances the Resource for a Concrete Syntax model to support synchronization with a Pivot model representation.

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 org.eclipse.emf.ecore.resource.Resource	resource
protected TypeManager	typeManager

Constructor Summary

TypeManagerResourceAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)

Method Summary

void	dispose()
static TypeManagerResourceAdapter	findAdapter(org.eclipse.emf.ecore.resource.Resource resource)
static TypeManagerResourceAdapter	getAdapter(org.eclipse.emf.ecore.resource.Resource resource, TypeManager typeManager)
org.eclipse.emf.ecore.resource.Resource	getPivotResource(org.eclipse.emf.ecore.resource.Resource csResource)
org.eclipse.emf.ecore.resource.Resource	getTarget()
TypeManager	getTypeManager()
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

typeManager

protected final TypeManager typeManager

Constructor Detail

TypeManagerResourceAdapter

public TypeManagerResourceAdapter(org.eclipse.emf.ecore.resource.Resource resource,
                                  TypeManager typeManager)

Method Detail

findAdapter

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

getAdapter

public static TypeManagerResourceAdapter getAdapter(org.eclipse.emf.ecore.resource.Resource resource,
                                                    TypeManager typeManager)

dispose

public void dispose()

getPivotResource

public org.eclipse.emf.ecore.resource.Resource getPivotResource(org.eclipse.emf.ecore.resource.Resource csResource)

getTarget

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

Specified by:

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

getTypeManager

public TypeManager getTypeManager()

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