Package org.checkerframework.framework.testchecker.util

Annotation Interface AnnoWithStringArg

@SubtypeOf(Unqualified.class) @Target({TYPE_USE,TYPE_PARAMETER}) public @interface AnnoWithStringArg

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
     

  • Element Details