typetools/checker-framework checker-framework-3.4.1

Checker Framework 3.4.1

on GitHub

Version 3.4.1, June 1, 2020

-Ainfer now takes an argument:

• -Ainfer=jaifs uses .jaif files to store the results of whole-program inference.
• -Ainfer=stubs uses .astub files to store the results of whole-program inference.
• -Ainfer is deprecated but is the same as -Ainfer=jaifs, for backwards compatibility.

New command-line option:
-AmergeStubsWithSource If both a stub file and a source file are available, use both.

Closed issues:
2893, 3021, 3128, 3160, 3232, 3277, 3285, 3289, 3295, 3302, 3305, 3307, 3310, 3316, 3318, 3329.