xtext-core/org.eclipse.xtext
rubenporras 81b88c9e54 Fix NPE if there is no resource provider for an URI
Fix NPE if there is no resource provider for an URI by checking for null
and defaulting to false if null, the null check is equivalent to the one
already present in getDeltasForDeletedResources. In addition mark the
URI for removal.

The resource provider can be null in our development environments or if
a persisted index is being reused after some language was de-installed.
2022-02-18 15:22:12 +01:00
..
.settings removed obsolete org.eclipse.xtend.shared.ui.prefs 2020-08-03 13:18:44 +02:00
emf-gen/org/eclipse/xtext [grammar] introduced annotations to parser, terminal, and enum rules paving the way for @Override annotations as desired by #121, updated generated + affected artifacts and tests 2016-10-18 09:54:44 +02:00
META-INF [eclipse/xtext#1978] update to asm 9.2 2021-08-18 08:32:36 +02:00
org/eclipse/xtext [eclipse/xtext#1550] set default compliance level to 8.0 2019-09-23 11:27:08 +02:00
packrat/org/eclipse/xtext [eclipse/xtext#1176] Migrate to EPL 2.0 2020-02-11 12:02:02 +01:00
schema Moved projects to root of repository 2016-06-14 08:30:25 +02:00
src Fix NPE if there is no resource provider for an URI 2022-02-18 15:22:12 +01:00
src-gen/org/eclipse/xtext regenerated langs 2021-08-13 12:08:50 +02:00
.classpath updated .classpath as generated by gradle 2020-07-10 13:25:39 +02:00
.gitignore Remove redundant .gitignore rules 2016-06-14 15:31:26 +02:00
.project [eclipse/xtext#1573] Ensure that all plugins do have a ManifestBuilder 2019-11-04 14:34:21 +01:00
about.html [eclipse/xtext#1176] Migrate to EPL 2.0 2020-02-11 12:02:02 +01:00
about.ini [https://github.com/eclipse/xtext/issues/1486] 2019-09-25 16:47:55 +02:00
about.mappings Moved projects to root of repository 2016-06-14 08:30:25 +02:00
about.properties Update copyright 2018-05-15 06:10:10 +02:00
build.gradle update to gradle 7 2021-08-16 09:49:26 +02:00
build.properties [eclipse/xtext#1777] Translate more Xtend to java. 2020-07-03 10:23:21 +02:00
plugin.properties Added missing build.properties, fixed a couple of warnings 2019-11-18 08:42:38 +01:00
plugin.xml [eclipse/xtext#1176] Migrate to EPL 2.0 2020-02-11 12:02:02 +01:00
xtext32.png [eclipse/xtext#1486] made png transparent 2019-10-12 18:50:42 +02:00