Anders Schack-Mulligen 1d4c8197ec Java: Fix assert CFG by properly tagging the false successor.

2025-06-26 10:18:14 +02:00

..

A.java

Java: Respect Hamcrest assertThat(X, notNullValue())

2019-10-29 17:52:13 +00:00

B.java

Java: Add support for bitwise compound assignments in Guards.

2022-01-21 13:56:07 +01:00

C.java

Java: Fix assert CFG by properly tagging the false successor.

2025-06-26 10:18:14 +02:00

D.java

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

E.java

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

ExprDeref.java

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

F.java

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

G.java

Fix hasNullCase

2023-11-30 11:24:02 +00:00

NullAlways.expected

get a few more queries in sync with other languages

2022-10-01 11:17:48 +02:00

NullAlways.qlref

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

NullExprDeref.expected

Java: Add Expr.isParenthesized, adjust VarAccess.toString, and fix tests.

2020-01-28 10:15:48 +01:00

NullExprDeref.qlref

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

NullMaybe.expected

Java: Fix assert CFG by properly tagging the false successor.

2025-06-26 10:18:14 +02:00

NullMaybe.qlref

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

options

Nullness library: recognise switches with null checks

2023-11-30 11:23:58 +00:00