diff options
author | 2020-12-02 19:49:33 +0100 | |
---|---|---|
committer | 2020-12-02 19:49:33 +0100 | |
commit | 468b267617795fe4c51ccb139e5d85d39f39a791 (patch) | |
tree | 612b3df3453a480e87e9ee2b27e9514a548d83a0 /Solvers | |
parent | Merge branch 'master' of github.com:viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-468b267617795fe4c51ccb139e5d85d39f39a791.tar.gz VIATRA-Generator-468b267617795fe4c51ccb139e5d85d39f39a791.tar.zst VIATRA-Generator-468b267617795fe4c51ccb139e5d85d39f39a791.zip |
Prefer the global scope insted of nsURI in application configuration
Trying to find a resource by nsURI first sometimes lead to a situation
where a spurious resource was added to the ResourceSet which didn't
contain the requested object. Thus, linking failed.
By first looking up the imported name in the global scope and falling
back to the nsURI only later, we can ensure that linking always succeeds
if the referenced object is already in the Xtext index.
Diffstat (limited to 'Solvers')
0 files changed, 0 insertions, 0 deletions