Searched refs:java_checkerframework (Results 1 – 3 of 3) sorted by relevance
281 opts.java_checkerframework = true; in Compile()
112 if (parser_.opts.java_checkerframework) { in SaveType()135 return parser_.opts.java_checkerframework && in GenPureAnnotation()
569 bool java_checkerframework; member662 java_checkerframework(false), in IDLOptions()