Module Assertions
DEPRECATED.
A library providing uniform access to various assertion frameworks.
Currently supports org.junit.Assert, junit.framework.*,
org.junit.jupiter.api.Assertions, com.google.common.base.Preconditions,
and java.util.Objects.
Import path
import semmle.code.java.frameworks.AssertionsImports
| java | Provides all default Java QL imports. |
Predicates
| assertFail | A trivially failing assertion. That is, |
Classes
| AssertFailMethod | A method that unconditionally fails. |
| AssertFalseMethod | A method that asserts that its argument is false. |
| AssertNotNullMethod | A method that asserts that its argument is not null. |
| AssertThatMethod | A method that asserts that its first argument has a property given by its second argument. |
| AssertTrueMethod | A method that asserts that its argument is true. |
| AssertionMethod | An assertion method. |