{
"never_returning_null": [
"language": "Java",
"source_contains": "_AUTOMATICALLY_GENERATED_"
},
"class": "codetoanalyze.java.infer.SomeLibrary",
"method": "get"
}
],
"infer_blacklist_files_containing": [
"@generated"
"skip_translation": [
"source_contains": "_SHOULD_BE_SKIPPED_"
"modeled_expensive": [
"class": "android.app.Activity",
"method": "findViewById"
"class": "android.view.View",
]