Package net.jqwik.engine

Schnittstelle PropertyAttributesDefaults

public interface PropertyAttributesDefaults

  • Feldübersicht

    Felder
    Modifizierer und Typ
    Feld
    Beschreibung
    static final String
    DEFAULT_STEREOTYPE
     

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    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)
     

  • Felddetails

  • Methodendetails

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