search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[environment] Provide a non-Java API for options #612

Closed eclipse-ocl-bot closed 4 hours ago

eclipse-ocl-bot commented 4 hours ago

| --- | --- | | Bugzilla Link | 329006 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Oct 29, 2010 03:48 EDT | | Modified | May 20, 2013 11:37 EDT | | Version | 3.0.0 | | Reporter | Ed Willink |

Description

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.

eclipse-ocl-bot commented 4 hours ago

By Ed Willink on Apr 05, 2012 16:07

Resolved by UI preference pages.

eclipse-ocl-bot commented 4 hours ago

By Ed Willink on May 20, 2013 11:37

CLOSED after a year in the RESOLVED state.