org.eclipse.ocl.examples.pivot.utilities

Class PivotSaver

java.lang.Object

org.eclipse.ocl.examples.pivot.utilities.AbstractPivotSaver

org.eclipse.ocl.examples.pivot.utilities.PivotSaver

public class PivotSaver
extends AbstractPivotSaver

PivotSaver ensures that all references to specialized types are terminated by local copies of the specialization.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PivotSaver.LocateVisitor LocateVisitor locates references to shared specializations, so that local copies can be created and then replaced by the ResolveVisitor.
static class	PivotSaver.ResolveVisitor ResolveVisitor converts references to shared specializations to references to local copies.

Field Summary

Fields

Modifier and Type	Field and Description
static AbstractPivotSaver.Factory	FACTORY
protected org.eclipse.emf.ecore.resource.Resource	resource

Constructor Summary

Constructors

Constructor and Description
PivotSaver(org.eclipse.emf.ecore.resource.Resource resource)

Method Summary

Methods

Modifier and Type	Method and Description
void	addSpecializingElement(Element object)
boolean	addSpecializingElement(Element object, Operation referredOperation)
boolean	addSpecializingElement(Element object, Type referredType)
protected Package	getOrphanPackage(org.eclipse.emf.ecore.resource.Resource resource)
protected boolean	isOrphanOperation(Operation operation)
Package	localizeSpecializations() Prepare a pivot resource for save by redirecting all type references to specializations to local copies of the specializations.
protected void	locateSpecializations(java.util.List<? extends org.eclipse.emf.ecore.EObject> eObjects)
<T extends Operation> T	resolveOperation(T referredOperation) Return the resolved variant of referredType, which may require creation of a local copy of a specialization.
<T extends Type> T	resolveType(T referredType) Return the resolved variant of referredType, which may require creation of a local copy of a specialization.

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.AbstractPivotSaver

addFactory, getLocateVisitor, getResolveVisitor

Methods inherited from class java.lang.Object

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

Field Detail

FACTORY

public static AbstractPivotSaver.Factory FACTORY

resource

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

Constructor Detail

PivotSaver

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

Method Detail

addSpecializingElement

public void addSpecializingElement(@NonNull
                          Element object)

Specified by:

addSpecializingElement in class AbstractPivotSaver

addSpecializingElement

public boolean addSpecializingElement(@NonNull
                             Element object,
                             @NonNull
                             Operation referredOperation)

Specified by:

addSpecializingElement in class AbstractPivotSaver

addSpecializingElement

public boolean addSpecializingElement(@NonNull
                             Element object,
                             @NonNull
                             Type referredType)

Specified by:

addSpecializingElement in class AbstractPivotSaver

getOrphanPackage

protected Package getOrphanPackage(org.eclipse.emf.ecore.resource.Resource resource)

isOrphanOperation

protected boolean isOrphanOperation(Operation operation)

localizeSpecializations

public Package localizeSpecializations()

Prepare a pivot resource for save by redirecting all type references to specializations to local copies of the specializations.

locateSpecializations

protected void locateSpecializations(java.util.List<? extends org.eclipse.emf.ecore.EObject> eObjects)

resolveOperation

@NonNull
public <T extends Operation> T resolveOperation(@NonNull
                                               T referredOperation)

Return the resolved variant of referredType, which may require creation of a local copy of a specialization.

Specified by:

resolveOperation in class AbstractPivotSaver

resolveType

@NonNull
public <T extends Type> T resolveType(@NonNull
                                     T referredType)

Return the resolved variant of referredType, which may require creation of a local copy of a specialization.

Specified by:

resolveType in class AbstractPivotSaver