Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: 9bae6c605bfe390710dc2b9a1f7bb3513ca970f0
https://github.com/typetools/checker-framework/commit/9bae6c605bfe390710dc2b9a1f7bb3513ca970f0
Author: Narges Shadab <
54193416+...@users.noreply.github.com>
Date: 2021-11-16 (Tue, 16 Nov 2021)
Changed paths:
M checker/build.gradle
A checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallInferenceLogic.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakAnnotatedTypeFactory.java
M checker/tests/wpi-many/testin.txt
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInference.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesStorage.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceStorage.java
Log Message:
-----------
Inferring @Owning annotation for final owning fields (#4926)