checker-framework

checker-framework copied to clipboard

mernst

@smillst Can you test this on a Mac?

mernst

mernst

mernst

mernst

mernst

Inconsistent inferred annotated file generation during WPI iterations causing non-termination

3

## Description We are experiencing a non-termination issue where the Checker Framework inconsistently generates output files during Whole Program Inference (WPI). Specifically, the framework alternates between generating annotated files in...

iamsanjaymalakar

A Java `FunctionalInterfaceNode` can be one of: - Method Reference: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.13 - Lambda Expression: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27

jyoo980

See which other JDK subtypes of `AutoCloseable` should be `@MustCall("close")`

4

Right now, our JDK model does not annotate `AutoCloseable` as `@MustCall("close")`: https://github.com/typetools/jdk/blob/88af971354b7e482ade8b250fde7699ed2e20217/src/java.base/share/classes/java/lang/AutoCloseable.java#L56-L59 It'd be nice if we could annotate it as `@MustCall("close")` and then annotate those `AutoCloseable` types that do...

msridhar

```java import org.checkerframework.checker.nullness.qual.MonotonicNonNull; import org.checkerframework.checker.nullness.qual.RequiresNonNull; class Require { @MonotonicNonNull String s; @RequiresNonNull("s") Supplier s() { return () -> s; } interface Supplier { T get(); } } ``` Actual: ```...

cushon