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

AdvancedPatternParser bugs #173

Open bergmanngabor opened 3 weeks ago

bergmanngabor commented 3 weeks ago

There are multiple problems with the AdvancedPatternParser facility.

  1. The IQuerySpecifications should be produced in the same order that the underlying Patterns are found in the VQL code. Right now, the order they show up in uriMap (as well as the filtered Sets) is nondeterministic.
  2. Less importantly, the implementation of get{Removed|...}Specifications(URI uri) is inefficient: it iterates through all specifications of the specified state from any URI, and then filters them based on whether they happen to come from the right URI. If there are dozens or even hundreds of URIs, it should be much more efficient to iterate over all queries in the URI, and then filter them based on state,