User defined attributes use

[Maxim Fomin]

On Monday, 16 September 2013 at 10:29:12 UTC, matovitch wrote:
> All your examples are great, thank you ! Is there a way to omit 
> validate such that the compiler would call it implicitly ?
>
> For example :
>
> class C {
>   ...
> }
>
> void fun(@nonNull C c) {
>   ...
> };
>
> C c;
> fun(c);  //compilation error since C is null

No, this isn't doable with UDAs because what you want requires 
runtime check. It is doable using other language features.