Package net.jqwik.engine.execution

Klasse GenerationInfo

java.lang.Object
net.jqwik.engine.execution.GenerationInfo
Alle implementierten Schnittstellen:
Serializable
public class GenerationInfo extends Object implements Serializable
Siehe auch:

  • Felddetails

  • Konstruktordetails

    • GenerationInfo

      public GenerationInfo(@Nullable String randomSeed)

    • GenerationInfo

      public GenerationInfo(@Nullable String randomSeed, int generationIndex)

  • Methodendetails

    • appendShrinkingSequence

      public GenerationInfo appendShrinkingSequence(List<net.jqwik.api.lifecycle.TryExecutionResult.Status> toAppend)

    • randomSeed

      public Optional<String> randomSeed()

    • generationIndex

      public int generationIndex()

    • generateOn

      public Optional<List<net.jqwik.api.Shrinkable<Object>>> generateOn(ParametersGenerator generator, net.jqwik.api.lifecycle.TryLifecycleContext context)

    • shrinkingSequences

      public List<List<net.jqwik.api.lifecycle.TryExecutionResult.Status>> shrinkingSequences()

    • equals

      public boolean equals(Object o)
      Setzt außer Kraft:
      equals in Klasse Object

    • hashCode

      public int hashCode()
      Setzt außer Kraft:
      hashCode in Klasse Object

    • toString

      public String toString()
      Setzt außer Kraft:
      toString in Klasse Object