Package net.jqwik.engine

Interface PropertyAttributesDefaults

public interface PropertyAttributesDefaults

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    DEFAULT_STEREOTYPE
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.AfterFailureMode
    afterFailure()
     
    int
    boundedShrinkingSeconds()
     
    net.jqwik.api.EdgeCasesMode
    edgeCases()
     
    net.jqwik.api.GenerationMode
    generation()
     
    int
    maxDiscardRatio()
     
    net.jqwik.api.ShrinkingMode
    shrinking()
     
    String
    stereotype()
     
    int
    tries()
     
    net.jqwik.api.FixedSeedMode
    whenFixedSeed()
     
    static PropertyAttributesDefaults
    with(int tries, int maxDiscardRatio, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.GenerationMode generationMode, net.jqwik.api.EdgeCasesMode edgeCasesMode, net.jqwik.api.ShrinkingMode shrinkingMode, int boundedShrinkingSeconds, net.jqwik.api.FixedSeedMode fixedSeedMode)
     

  • Field Details

  • Method Details

    • tries

      int tries()

    • maxDiscardRatio

      int maxDiscardRatio()

    • shrinking

      net.jqwik.api.ShrinkingMode shrinking()

    • afterFailure

      net.jqwik.api.AfterFailureMode afterFailure()

    • generation

      net.jqwik.api.GenerationMode generation()

    • edgeCases

      net.jqwik.api.EdgeCasesMode edgeCases()

    • stereotype

      String stereotype()

    • whenFixedSeed

      net.jqwik.api.FixedSeedMode whenFixedSeed()

    • boundedShrinkingSeconds

      int boundedShrinkingSeconds()

    • with

      static PropertyAttributesDefaults with(int tries, int maxDiscardRatio, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.GenerationMode generationMode, net.jqwik.api.EdgeCasesMode edgeCasesMode, net.jqwik.api.ShrinkingMode shrinkingMode, int boundedShrinkingSeconds, net.jqwik.api.FixedSeedMode fixedSeedMode)