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()