Package org.eclipse.ocl.pivot.internal.plugin

Class Summary

Class	Description
ASResourceFactoryRegistryReader	A plugin extension reader that populates the global resource factory's protocol map.
CompleteOCLRegistryReader	A plugin extension reader that populates the Complete OCL resource registry.
LabelGeneratorRegistryReader	A plugin extension reader that populates the ILabelGenerator.Registry.INSTANCE label generator registry.
PivotPreferenceInitializer	Class used to initialize default preference values.
StandardLibraryRegistryReader	A plugin extension reader that populates the global resource factory's protocol map.