Eclipse Community Forums: Java Development Tools (JDT) » unable to assign a @NonNull value to @Nullable value for arrays

Home » Language IDEs » Java Development Tools (JDT) » unable to assign a @NonNull value to @Nullable value for arrays

Show: Today's Messages :: Show Polls :: Message Navigator

unable to assign a @NonNull value to @Nullable value for arrays [message #1386818]

Fri, 20 June 2014 19:29

Nicola Zanaga

Messages: 56
Registered: July 2009

Member

eclipse 4.4rc4,
consider this example:

public class Test001 {
    void test()  {
        @NonNull Object b = new Object();
        Object @NonNull[] c = { new Object() };
        
        test2( b );
        test3( c );
    }
    
    void test2(@Nullable Object z)  {  }
    
    void test3(Object @Nullable[] z)  {  }
    
}

calling test3 (c) gives the error:
Null type mismatch (type annotations): required 'Object @Nullable[]' but this expression has type 'Object @NonNull[]'

but test2(b) work fine

I suppose there are problems with array assignment

Report message to a moderator