SuccessChanges

Summary

  1. [528436] Increased robustness of query registry listener handling (details)
  2. [528378] Updated query result view model with match counts (details)
Commit 5130899076d0772ef3ea6ea304f05f1d2519c178 by Zoltan Ujhelyi
[528436] Increased robustness of query registry listener handling

Change-Id: Ica658bb1d710e6ab928f95a4016390fefaba9c64
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
(cherry picked from commit 169e3e8736d635f0333c6017ed7f8f201356a291)
The file was modifiedquery/plugins/org.eclipse.viatra.query.runtime/src/org/eclipse/viatra/query/runtime/registry/view/AbstractRegistryView.java
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui.browser/src/org/eclipse/viatra/query/tooling/ui/queryregistry/QueryRegistryTreeInput.xtend
Commit 8d15309b77e1c97bf6fa59f15ffe786553b33fb1 by Zoltan Ujhelyi
[528378] Updated query result view model with match counts

The models of matchers could maintain the known match count on the model
level, allowing to calculate labels and existence of children without
directly accessing the underlying matcher. This seemingly fixes various
concurrency issues noticed with the attached RCPTT test.

Change-Id: Ia45215a8ec0b6705a18b7d19bbe87521689f599d
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
(cherry picked from commit da1174d5abbcdee54542509d1816c66354b8bc0b)
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui/src/org/eclipse/viatra/query/tooling/ui/queryexplorer/content/matcher/PatternMatcherContent.java
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui.browser/src/org/eclipse/viatra/query/tooling/ui/queryresult/QueryResultViewModel.java
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui.browser/src/org/eclipse/viatra/query/tooling/ui/queryresult/QueryResultTreeInput.xtend
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui.browser/src/org/eclipse/viatra/query/tooling/ui/queryresult/QueryResultTreeLabelProvider.xtend
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui.browser/src/org/eclipse/viatra/query/tooling/ui/queryresult/QueryResultTreeContentProvider.xtend
The file was modifiedquery/plugins/org.eclipse.viatra.query.tooling.ui/src/org/eclipse/viatra/query/tooling/ui/util/IFilteredMatcherContent.java