Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.utilities |
Modifier and Type | Class and Description |
---|---|
class |
PivotSaver
PivotSaver ensures that all references to specialized types are terminated
by local copies of the specialization.
|
Modifier and Type | Method and Description |
---|---|
AbstractPivotSaver.LocateVisitor |
AbstractPivotSaver.Factory.createLocateVisitor(AbstractPivotSaver saver) |
AbstractPivotSaver.ResolveVisitor |
AbstractPivotSaver.Factory.createResolveVisitor(AbstractPivotSaver saver) |
Constructor and Description |
---|
PivotSaver.LocateVisitor(AbstractPivotSaver context) |
PivotSaver.ResolveVisitor(AbstractPivotSaver saver) |