Add the management of assertion in SARL

[ngaud]

Is it interesting to add the management of the assertions in SARL and thus the assert keyword ?

Personnally I think it is interesting. But it is not mandatory to have a keyword, since we already have an access to assertTrue from JUnit

[gallandarakhneorg]

But JUnit is a library that is dedicated to unit tests. It may be confusing to use a part of this API in a "standard" code.

If we decide to not introduce a keyword, I prefer to use the API given by Preconditions than the one from JUnit.

[gallandarakhneorg]

One more remark: if we do not introduce a keyword, it will be difficult to detect the cases of potential null values (as done by the Java compiler).

[gallandarakhneorg]

This work should be done at the same time as the one for the issue #9.

[gallandarakhneorg]

This issue is related to the Xtext bug 442320.