Cornelius Riemenschneider 5d4b6c3a8c Nullness: Track correlated conditions of equality tests of variables.

2019-11-21 19:24:40 +01:00

..

A.java

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

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

B.java

Add tests for nullness tracking by comparing variables.

2019-11-21 19:23:39 +01:00

C.java

Correct minor compilation errors in test code

2019-10-29 17:52:13 +00: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

NullAlways.expected

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

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

NullAlways.qlref

Migrate Java code to separate QL repo.

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

NullExprDeref.expected

Migrate Java code to separate QL repo.

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

NullExprDeref.qlref

Migrate Java code to separate QL repo.

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

NullMaybe.expected

Nullness: Track correlated conditions of equality tests of variables.

2019-11-21 19:24:40 +01:00

NullMaybe.qlref

Migrate Java code to separate QL repo.

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

options

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

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