org.eclipse.ocl.examples.pivot.utilities
Class PivotSaver
java.lang.Object
org.eclipse.ocl.examples.pivot.utilities.PivotSaver
public class PivotSaver
- extends java.lang.Object
PivotSaver ensures that all references to specialized types are terminated
by local copies of the specialization.
Nested Class Summary |
class |
PivotSaver.PivotSaveLocateVisitor
PivotSaveLocateVisitor locates references to shared specializations, so that
local copies can be created and then replaced by the PivotSaveResolveVisitor. |
class |
PivotSaver.PivotSaveResolveVisitor
PivotSaveResolveVisitor converts references to shared specializations
to references to local copies. |
Field Summary |
protected org.eclipse.emf.ecore.resource.Resource |
resource
|
Constructor Summary |
PivotSaver(org.eclipse.emf.ecore.resource.Resource resource)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
resource
protected final org.eclipse.emf.ecore.resource.Resource resource
PivotSaver
public PivotSaver(org.eclipse.emf.ecore.resource.Resource resource)
getOrphanPackage
protected Package getOrphanPackage(org.eclipse.emf.ecore.resource.Resource resource)
isOrphanOperation
protected boolean isOrphanOperation(Operation operation)
isOrphanType
protected boolean isOrphanType(Type type)
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)