search

eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

Add UI support for new base index options in Query Results View #62

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 516181 | | Status | NEW | | Importance | P3 normal | | Reported | May 04, 2017 09:26 EDT | | Modified | Feb 08, 2018 07:54 EDT | | Reporter | Gabor Bergmann |

Description

The newest options BaseIndexOption#strictNotificationMode and BaseIndexOption#danglingFreeAssumption shall be present and configurable on the query results UI.

eclipse-viatra-bot commented 5 months ago

By Abel Hegedus on May 04, 2017 09:31

Since we have not yet rebuilt that part of the UI, I suppose you mean adding these as new preference checkboxes on the Query Explorer preference page.

eclipse-viatra-bot commented 5 months ago

By Gabor Bergmann on May 04, 2017 09:44

Oh, you are right, BIO are not configurable on the new UI yet.

However, they are definitely displayed, with the exception of the newest options. So I guess it would be still fair to expect feature parity here as well.

eclipse-viatra-bot commented 5 months ago

By Abel Hegedus on May 04, 2017 09:48

Right, that is controlled by org.eclipse.viatra.query.tooling.ui.queryresult.util.ViatraQueryEngineContentProvider.getChildrenInternal(BaseIndexOptions)

Although it would be nicer if this could be delegated to BaseIndexOptions.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on May 15, 2017 16:08

Although this feature would be nice to have, given the closeness of the feature freeze deadline and no owner, I am postponing this issue.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Oct 04, 2017 05:04

Postponing.