Class TestAccumulationNoReturnsReceiverTransfer

All Implemented Interfaces:
ForwardTransferFunction<AccumulationValue,AccumulationStore>, TransferFunction<AccumulationValue,AccumulationStore>, NodeVisitor<TransferResult<AccumulationValue,AccumulationStore>,TransferInput<AccumulationValue,AccumulationStore>>

public class TestAccumulationNoReturnsReceiverTransfer extends TestAccumulationTransfer
Wrapper for TestAccumulationTransfer so that checker auto-discovery works for the version of the checker without support for the Returns Receiver Checker.
  • Constructor Details

    • TestAccumulationNoReturnsReceiverTransfer

      public TestAccumulationNoReturnsReceiverTransfer(AccumulationAnalysis analysis)
      default constructor
      Parameters:
      analysis - the analysis