Searched refs:java_checkerframework (Results 1 – 3 of 3) sorted by relevance
667 bool java_checkerframework; member817 java_checkerframework(false), in IDLOptions()
547 opts.java_checkerframework = true; in ParseFromCommandLineArguments()
216 if (parser_.opts.java_checkerframework) { in SaveType()242 return parser_.opts.java_checkerframework && in GenPureAnnotation()