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

Base index wildcard mode change is not propagated to NavigationHelperVisitor #64

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 517629 | | Status | NEW | | Importance | P3 normal | | Reported | Jun 01, 2017 06:48 EDT | | Modified | Nov 23, 2020 08:30 EDT | | See also | Gerrit change https://git.eclipse.org/r/98420 | | Reporter | Balazs Grill |

Description

NavigationHelperVisitor instances receive wildcard mode upon creation, but in case it's set via the NavigationHelper.setWildcardLevel method, the base index is not updated upon any changes.

eclipse-viatra-bot commented 5 months ago

Jun 01, 2017 06:50

New Gerrit change created: https://git.eclipse.org/r/98420

eclipse-viatra-bot commented 5 months ago

By Balazs Grill on Jun 01, 2017 06:52

(In reply to Eclipse Genie from comment #1)

New Gerrit change created: https://git.eclipse.org/r/98420

This is a simple test to demonstrate the problem.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Feb 08, 2018 07:21

Postponing to a future release.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on May 27, 2019 07:49

Bugzilla cleanup.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Nov 20, 2019 05:51

Postponing issues to the next release.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Nov 23, 2020 08:30

Mass postponing of issues to the 2.6 timeframe.