Community
Participate
Working Groups
Options such as ProblemOption.CLOSURE_ITERATOR are currently only controllable through the Java API. This is a problem for users of layered projects such as GMFMAP where the Java API may not be fully replicated. For Eclipse users, it would seem appropriate for an .setting/org.eclipse.ocl.prefs to provide project-specific defaults. For Standalone users may be a Java API can specify loading of a designated properties file.
Resolved by UI preference pages.
CLOSED after a year in the RESOLVED state.