Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Stub file annotation on fully qualified class names #297

Closed
GoogleCodeExporter opened this issue Jul 3, 2015 · 1 comment
Closed

Stub file annotation on fully qualified class names #297

GoogleCodeExporter opened this issue Jul 3, 2015 · 1 comment

Comments

@GoogleCodeExporter
Copy link

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

@mernst
Copy link
Member

mernst commented Aug 13, 2017

Fixed by 8997a34.

@mernst mernst closed this as completed Aug 13, 2017
flo2702 added a commit to flo2702/checker-framework that referenced this issue Mar 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants