Uses of Class
org.eclipse.ocl.examples.pivot.registry.CompleteOCLRegistry.Registration

Packages that use CompleteOCLRegistry.Registration

org.eclipse.ocl.examples.pivot.registry

Uses of CompleteOCLRegistry.Registration in org.eclipse.ocl.examples.pivot.registry

Methods in org.eclipse.ocl.examples.pivot.registry with parameters of type CompleteOCLRegistry.Registration

void	CompleteOCLRegistry.addRegistration(CompleteOCLRegistry.Registration registration)
void	CompleteOCLRegistry.removeRegistration(CompleteOCLRegistry.Registration registration)

Constructor parameters in org.eclipse.ocl.examples.pivot.registry with type arguments of type CompleteOCLRegistry.Registration

CompleteOCLRegistry(java.util.Map<CompleteOCLRegistry.Registration,java.lang.Integer> registrations)