Module Assertions
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.Assertions
Imports
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. |