Package net.jqwik.engine.properties

Class EdgeCasesGenerator

  • All Implemented Interfaces:
    java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>>
    public class EdgeCasesGenerator
extends java.lang.Object
implements java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>>

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static int calculateBaseToEdgeCaseRatio​(int genSize, int countEdgeCases)  
      boolean hasNext()  
      java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> next()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

      • Methods inherited from interface java.util.Iterator

        forEachRemaining, remove

    • Method Detail

      • calculateBaseToEdgeCaseRatio

        public static int calculateBaseToEdgeCaseRatio​(int genSize,
                                               int countEdgeCases)

      • hasNext

        public boolean hasNext()
        Specified by:
        hasNext in interface java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>>

      • next

        public java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> next()
        Specified by:
        next in interface java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>>