Searched refs:java_checkerframework (Results 1 – 3 of 3) sorted by relevance
589 bool java_checkerframework; member697 java_checkerframework(false), in IDLOptions()
495 opts.java_checkerframework = true; in Compile()
186 if (parser_.opts.java_checkerframework) { in SaveType()212 return parser_.opts.java_checkerframework && in GenPureAnnotation()