Class ShrinkingSupportFacade


  • @API(status=INTERNAL)
    public abstract class ShrinkingSupportFacade
    extends java.lang.Object
    • Constructor Detail

      • ShrinkingSupportFacade

        public ShrinkingSupportFacade()
    • Method Detail

      • falsifyThenShrink

        public abstract <T> T falsifyThenShrink​(Arbitrary<? extends T> arbitrary,
                                                java.util.Random random,
                                                Falsifier<T> falsifier)
      • falsifyThenShrink

        public abstract <T> T falsifyThenShrink​(RandomGenerator<? extends T> arbitrary,
                                                java.util.Random random,
                                                Falsifier<T> falsifier)
      • shrink

        public abstract <T> T shrink​(Shrinkable<T> falsifiedShrinkable,
                                     Falsifier<T> falsifier,
                                     java.lang.Throwable originalError)