Package org.checkerframework.framework.test.junit
package org.checkerframework.framework.test.junit
-
ClassDescriptionA test that the accumulation abstract checker is working correctly, using a simple accumulation checker without a returns-receiver analysis.A test that the accumulation abstract checker is working correctly, using a simple accumulation checker.Perform tests of the
@AnnotatedFor
annotation with the Subtyping Checker.Tests the ClassVal Checker.Tests for the compound checker design pattern.Created by jburke on 9/29/14.Created by jburke on 9/29/14.JUnit tests for the Checker Framework, using theEvenOddChecker
.JUnit tests for the Checker Framework, using theEvenOddChecker
.Tests the MethodVal Checker.Tests the NonTopDefault Checker.Tests for the-AsuggestPureMethods
command-line argument.This class tests the Range class, independent of the Value Checker.Tests the reflection resolution using a simple type system.tests the returns receiver checker's AutoValue integration.Tests the returns receiver checker's lombok integration, the test files in tests/returnsreceiverlombok package will be delomboked into tests/returnsreceiverdelomboked package before running the test and the returns receiver checker will run on the generated codes.Test runner for tests of the Returns Receiver Checker.Test suite for the Subtyping Checker, using a simpleEncrypted
annotation.Test suite for the Subtyping Checker, using@QualifierForLiterals
.Create the TypeDeclDefault test.Tests the constant value propagation type system without overflow.Tests the constant value propagation type system.Tests conservative defaults for the constant value propagation type system.Create the VariableNameDefault test.