search

biddyweb / checker-framework

Automatically exported from code.google.com/p/checker-framework
Other
0 stars 1 forks source link

Stub file annotation on fully qualified class names #297

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The following stub file does not parse, but should.  Currently, the only way to 
annotate a fully qualified type is to put the annotation before the package 
name. 

    import checkers.nullness.quals.Nullable;

    package javax.net.ssl;

    class SSLContext
    {
        void init(javax.net.ssl.KeyManager @Nullable [] km,
                  javax.net.ssl.TrustManager @Nullable [] tm,
                  java.security. @Nullable SecureRandom random);
    }

Original issue reported on code.google.com by Suzanne....@gmail.com on 19 Dec 2013 at 6:19