7 Commits

Author	SHA1	Message	Date
yo-h	e194411cfa	Java: fix javac errors in test code	2021-02-09 09:16:57 -05:00
Anders Schack-Mulligen	8cbc01d49b	Java: Add a few qltest cases for nullness and range analysis FPs.	2020-05-20 10:44:15 +02:00
Anders Schack-Mulligen	4601639bad	Java: Document a FP in a test.	2020-03-03 13:39:26 +01:00
Anders Schack-Mulligen	2dca188288	Java: Document two FPs with unit tests.	2020-01-17 09:57:11 +01:00
Anders Schack-Mulligen	e74aa33f9d	Java: Include non-null final fields in clearlyNotNull.	2020-01-03 16:24:54 +01:00
Robin Neatherway	96f9a01355	Correct minor compilation errors in test code	2019-10-29 17:52:13 +00:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00