Stéphane Galland

Pre and post conditions should also be used for static validation by the SARL compiler.

This issue in now part of the PhD thesis of @tpiotrow.

https://www.eclipse.org/forums/index.php/t/1085171/ https://www.eclipse.org/forums/index.php/m/1751795

See [C# experience](https://github.com/martin-plessy/sarl/commit/03f2cd917b7ba2bb543fc44f98f74bf414b56ac2).

The Maven's Tycho plugin is downloading a recent Eclipse mdule, even if we have specified an older version. This version contains a module that is compiled with Java 11. It...

Blocking until [Xtext issue 1338](https://github.com/eclipse/xtext/issues/2521) is fixed

Blocking until the SARL event bus is validating or Issue eclipse/xtext-core#753 is fixed.

See '0.13-java11' branch.

Behind this issue, we must write the generator/updater of the `Messages.sarl` and `messages.properties` files.

Different points where performances may be low: * Too much calls to maps. * Reflection use. * Injection listener for overriding the Logger injection