PROPOSAL : Specify nullable argument

[Stephen Colebourne]

2009/3/17 Olivier Chorier <lapsus63 at gmail.com>:
> Here, the '!' indicates a mandatory argument (not null).
>
> However, I don't know if the '!' marker could be the most appropriate.

See http://docs.google.com/View?docid=dfn5297z_2kjj2fk and
http://www.jroller.com/scolebourne/entry/java_7_null_safe_types

So, yes, the ! is probably appropriate, although I place it after the type.

Unfortunately, JSR305 is pushing Java down the annotation route for
this. I personally find this verbose and broken (as the check is
optional not mandatory which is misleading).

That said, type system changes like String! are out of scope for Coin.

Stephen