Package net.jqwik.engine.recording

Class TestRun

  • All Implemented Interfaces:
    java.io.Serializable
    public class TestRun
extends java.lang.Object
implements java.io.Serializable
    See Also:
    Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      TestRun​(org.junit.platform.engine.UniqueId uniqueId, net.jqwik.api.lifecycle.PropertyExecutionResult.Status status, java.lang.String randomSeed, java.util.List<java.lang.Object> falsifiedSample)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Optional<java.util.List<java.lang.Object>> falsifiedSample()  
      net.jqwik.api.lifecycle.PropertyExecutionResult.Status getStatus()  
      org.junit.platform.engine.UniqueId getUniqueId()  
      boolean isNotSuccessful()  
      java.util.Optional<java.lang.String> randomSeed()  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • TestRun

        public TestRun​(org.junit.platform.engine.UniqueId uniqueId,
               net.jqwik.api.lifecycle.PropertyExecutionResult.Status status,
               java.lang.String randomSeed,
               java.util.List<java.lang.Object> falsifiedSample)

    • Method Detail

      • isNotSuccessful

        public boolean isNotSuccessful()

      • getUniqueId

        public org.junit.platform.engine.UniqueId getUniqueId()

      • getStatus

        public net.jqwik.api.lifecycle.PropertyExecutionResult.Status getStatus()

      • randomSeed

        public java.util.Optional<java.lang.String> randomSeed()

      • falsifiedSample

        public java.util.Optional<java.util.List<java.lang.Object>> falsifiedSample()

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object