mirror of
https://github.com/sigmasternchen/xtext-core
synced 2025-03-15 16:28:56 +00:00
![]() As the parameter is used in a method that has a synchronized block, it seems like this value can be accessed in a multit-hreaded way. It should thus be volatile. Signed-off-by: Titouan Vervack <tivervac@gmail.com> |
||
---|---|---|
.. | ||
.settings | ||
META-INF | ||
src/org/eclipse/xtext/ide | ||
.classpath | ||
.project | ||
about.html | ||
build.gradle | ||
build.properties | ||
plugin.properties |