Package | Description |
---|---|
org.eclipse.ocl.pivot.internal.registry |
Modifier and Type | Method and Description |
---|---|
void |
CompleteOCLRegistry.addRegistration(CompleteOCLRegistry.Registration registration) |
void |
CompleteOCLRegistry.removeRegistration(CompleteOCLRegistry.Registration registration) |
Constructor and Description |
---|
CompleteOCLRegistry(java.util.Map<CompleteOCLRegistry.Registration,java.lang.Integer> registrations) |