PROPOSAL : Specify nullable argument

[Olivier Chorier]

Example :

public void getListOfProducts(Company owner, !String facultativeName)
{
....
}

The '!' should prevent the developper that the argument is able to be null.
Invoking getListOfProducts(null, "name") could throw a compilation
error/warning.

Or maybe better :

public void getListOfProducts(!Company owner, String facultativeName)
{
....
}

Here, the '!' indicates a mandatory argument (not null).


However, I don't know if the '!' marker could be the most appropriate.