Package net.jqwik.engine.execution.lifecycle

Class ExtendedPropertyExecutionResult.EdgeCasesExecutionResult

  • Enclosing interface:
    ExtendedPropertyExecutionResult
    public static class ExtendedPropertyExecutionResult.EdgeCasesExecutionResult
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      EdgeCasesExecutionResult​(net.jqwik.api.EdgeCasesMode mode, int total, int tried)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.EdgeCasesMode mode()  
      int total()  
      int tried()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • EdgeCasesExecutionResult

        public EdgeCasesExecutionResult​(net.jqwik.api.EdgeCasesMode mode,
                                int total,
                                int tried)

    • Method Detail

      • mode

        public net.jqwik.api.EdgeCasesMode mode()

      • total

        public int total()

      • tried

        public int tried()