Robuta

https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/common/internal/preferences/EnumerationPreference.html EnumerationPreference (MDT-OCL Documentation) mdt ocl documentation