org.eclipse.ocl.examples.pivot.uml
Class UMLExplicitNavigator

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.uml.UMLExplicitNavigator
All Implemented Interfaces:
ImplementationManager.ExplicitNavigator

public class UMLExplicitNavigator
extends java.lang.Object
implements ImplementationManager.ExplicitNavigator

ImplementationManager encapsulates the knowledge about known feature implementations.


Field Summary
static ImplementationManager.ExplicitNavigator INSTANCE
           
 
Constructor Summary
UMLExplicitNavigator()
           
 
Method Summary
 LibraryProperty getPropertyImplementation(java.lang.Object sourceValue, Property property)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

@NonNull
public static final ImplementationManager.ExplicitNavigator INSTANCE
Constructor Detail

UMLExplicitNavigator

public UMLExplicitNavigator()
Method Detail

getPropertyImplementation

@Nullable
public LibraryProperty getPropertyImplementation(@Nullable
                                                          java.lang.Object sourceValue,
                                                          @NonNull
                                                          Property property)
Specified by:
getPropertyImplementation in interface ImplementationManager.ExplicitNavigator