org.eclipse.ocl.options

Class EnumeratedOption<T extends java.lang.Enum<T>>