Class TestAccumulationNoReturnsReceiverAnnotatedTypeFactory

All Implemented Interfaces:
AnnotationProvider

public class TestAccumulationNoReturnsReceiverAnnotatedTypeFactory extends TestAccumulationAnnotatedTypeFactory
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.
  • Constructor Details

    • TestAccumulationNoReturnsReceiverAnnotatedTypeFactory

      public TestAccumulationNoReturnsReceiverAnnotatedTypeFactory(BaseTypeChecker checker)
      Create a new accumulation checker's annotated type factory.
      Parameters:
      checker - the checker