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