uber / NullAway / #1083

Builds Branch Commit Type Ran Committer Via Coverage
#1083 generic-type-pretty Merge 241793d6d into 882156754 Pull #758 web-flow github-actions pending completion   set done
#1081 master refactor: streamline mayBeNullExpr flow (#753) the uniform flow is now: - return early for obvious expression types - determine initial exprMayBeNull through simple checks - apply handler overrides in single place - finally run dataflow if ex... push web-flow github-actions pending completion   set done
#1080 master NULL_LITERAL expressions may always be null (#749) there is no reason to give handlers a chance to override this because we are also not doing this for other literals that we filter out at the start of the method push web-flow github-actions pending completion   set done
#1079 master <a href="https://github.com/uber/NullAway/commit/abac2aebe">Update path serialization for class files (#752) This PR partially resolves #716 by removing URI serialization for classes coming from `.class` files in al... push web-flow github-actions pending completion   set done
#1078 master refactor simple onOverrideMayBeNullExpr handlers (#747) When `exprMayBeNull` is true, return immediately, to make clear that these handlers only support `false -> true` transitions Co-authored-by: Manu Sridharan <msridhar@gmail.com> push web-flow github-actions pending completion   set done
#1077 master Generics checks for parameter passing (#746) For method calls, the nullability annotations of the type parameters for formal parameter types and actual parameter types should be exactly the same. This pull request adds code to compare nullabili... push web-flow github-actions pending completion   set done
#1076 master Prepare for Nullable `ASTHelpers.getSymbol` (#733) This method will return `@Nullable` in the next Error Prone release: https://github.com/google/error-prone/issues/3760 This change prepares for that by adding appropriate null checks. push web-flow github-actions pending completion   set done
#1075 master JSpecify generics checks for conditional expressions (#739) For a conditional expression _e_, the type parameter nullability annotations of the true-subpart and false-subpart should match the annotations required by _e_'s context. E.g., if _e_ i... push web-flow github-actions pending completion   set done
#1074 master [Refactor] Pass resolved Symbols into Handler methods (#729) This avoids redundant ASTHelpers.getSymbol calls and is more consistent with the other Handler method signatures push web-flow github-actions pending completion   set done
#1073 master Update to Gradle 8.0.2 (#743) We had to update a couple other plugins and fix a couple of things in our Gradle build scripts to be compatible with Gradle 8. push web-flow github-actions pending completion   set done
#1072 master Prepare next development version. push lazaroclapp github-actions pending completion   set done
#1071 master Add command line option to skip specific library models. (#741) This PR adds the CLI option `-XepOpt:NullAway:IgnoreLibraryModelsFor` which takes a list of methods, given as fully qualified class name + method simple name (i.e. independent of arg... push web-flow github-actions pending completion   set done
#1070 lazaro_ommit_library_models Merge c82339dfc into 49cda490f Pull #741 web-flow github-actions pending completion   set done
#1069 master Docs: `-XepExcludedPaths` was added in 2.1.3, not 2.13 (#744) push web-flow github-actions pending completion   set done
#1068 lazaro_ommit_library_models Merge 782128223 into 16923e56c Pull #741 web-flow github-actions pending completion   set done