Suzanne Millstein

Improve inference of type arguments for raw types

4

Type argument inference for raw types should be improved and the "ignoreRawTypeArguments" option should be made optional again.

The following code should issue an error, but doesn't. ``` import org.checkerframework.checker.nullness.qual.Nullable; public class Issue4853B { interface Interface {} static class MyClass { class InnerMyClass implements Interface {} } abstract...

Warn about code that triggers Javac bug: type annotations on anonymous classes cause broken bytecode

1

A javac bug generates broken bytecode for anonymous inner classes that are annotated with a type annotation. See: https://bugs.openjdk.java.net/browse/JDK-8059531 https://bugs.openjdk.java.net/browse/JDK-8177316 The Checker Framework should issue a warning if a user...

Use the compound checker implemention to implement the Aggregate Checker.

1

* Moves the code that handles subcheckers into `SourceChecker`. * Use the this code to instead of special casing the Aggregate Checker to avoid code duplication. (This means that the...

Boolean variables in dataflow

2

This is a rough draft of the fix for #406. @jyoo980 can you see if this fixes the error in the case study? Fixes #406.

Type argument inference failure with throws

4

FWIW @smillst I have encountered a similar error that I can file a new bug if you like and or maybe there is a way to annotate the "sneak throw"...

```java import java.util.LinkedHashMap; import java.util.Map; import java.util.function.BinaryOperator; import java.util.function.Function; import java.util.stream.Collector; import java.util.stream.Stream; import org.checkerframework.checker.interning.qual.Interned; public class InterningError { void method(Stream integerStream) { LinkedHashMap c = integerStream.collect( toMap(Function.identity(), v ->...

Several checkers produce a false positive on the following code. ``` public class Buggy { void use(FooClass fooClass1, FooClass fooClass2) { fooClass1.getThenStore().merge(fooClass2.getThenStore()); } interface FooInterface {} interface BarInterface {} static...

Boolean variables in dataflow

2

This implementation isn't working as expected. In particular, there are unexpected errors in `checker/tests/nullness/Issue406.java`. Fixes #406.