Package org.checkerframework.framework.testchecker.testaccumulation
package org.checkerframework.framework.testchecker.testaccumulation
-
ClassesClassDescriptionThe annotated type factory for a test accumulation checker, which implements a basic called methods checker.A test accumulation checker that implements a basic version of called-methods accumulation.Wrapper for TestAccumulationAnnotatedTypeFactory for a version of the checker without returns receiver support, to enable the checker's auto-discovery of its AnnotatedTypeFactory to succeed.A test accumulation checker that implements a basic version of called-methods accumulation, without returns receiver support, to test the pluggable alias analysis functionality.Wrapper for TestAccumulationTransfer so that checker auto-discovery works for the version of the checker without support for the Returns Receiver Checker.A basic transfer function that accumulates the names of methods called.