org.eclipse.ocl.examples.pivot.registry
Class CompleteOCLRegistry
java.lang.Object
org.eclipse.ocl.examples.pivot.registry.CompleteOCLRegistry
public class CompleteOCLRegistry
- extends java.lang.Object
This registry will be used to hold all complete ocl resources that have been
made available through the extension point.
- Author:
- Marwa Rostren
Nested Class Summary |
static class |
CompleteOCLRegistry.Registration
A Registration identifies a contribution to a Registry enabling the registry to be rebuilt if a registration is removed. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
@NonNull
public static final CompleteOCLRegistry INSTANCE
CompleteOCLRegistry
public CompleteOCLRegistry()
CompleteOCLRegistry
protected CompleteOCLRegistry(@Nullable
java.util.Map<CompleteOCLRegistry.Registration,java.lang.Integer> registrations)
addRegistration
public void addRegistration(@NonNull
CompleteOCLRegistry.Registration registration)
clear
public void clear()
getResourceURIs
@NonNull
public java.util.Set<org.eclipse.emf.common.util.URI> getResourceURIs(@NonNull
org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
- Returns all document resource URIs that provide content for any EPackege nsURI in resourceSet
getResourceURIs
@NonNull
public java.util.Set<org.eclipse.emf.common.util.URI> getResourceURIs(@NonNull
java.lang.Iterable<java.lang.String> nsURIs)
- Returns all document resource URIs that provide content for any of the nsURIs
removeRegistration
public void removeRegistration(@NonNull
CompleteOCLRegistry.Registration registration)