Package net.jqwik.engine.discovery

Class DefaultPropertyAttributes

  • All Implemented Interfaces:
    net.jqwik.api.lifecycle.PropertyAttributes
    public class DefaultPropertyAttributes
extends java.lang.Object
implements net.jqwik.api.lifecycle.PropertyAttributes

    • Constructor Summary

      Constructors 
      Constructor Description
      DefaultPropertyAttributes​(java.lang.Integer tries, java.lang.Integer maxDiscardRatio, net.jqwik.api.ShrinkingMode shrinkingMode, net.jqwik.api.GenerationMode generationMode, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.EdgeCasesMode edgeCasesMode, java.lang.String stereotype, java.lang.String seed)  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Optional<net.jqwik.api.AfterFailureMode> afterFailure()  
      java.util.Optional<net.jqwik.api.EdgeCasesMode> edgeCases()  
      static net.jqwik.api.lifecycle.PropertyAttributes from​(net.jqwik.api.Property property)  
      java.util.Optional<net.jqwik.api.GenerationMode> generation()  
      java.util.Optional<java.lang.Integer> maxDiscardRatio()  
      java.util.Optional<java.lang.String> seed()  
      void setAfterFailure​(net.jqwik.api.AfterFailureMode afterFailureMode)  
      void setEdgeCases​(net.jqwik.api.EdgeCasesMode edgeCasesMode)  
      void setGeneration​(net.jqwik.api.GenerationMode generationMode)  
      void setMaxDiscardRatio​(java.lang.Integer maxDiscardRatio)  
      void setSeed​(java.lang.String seed)  
      void setShrinking​(net.jqwik.api.ShrinkingMode shrinkingMode)  
      void setStereotype​(java.lang.String stereotype)  
      void setTries​(java.lang.Integer tries)  
      java.util.Optional<net.jqwik.api.ShrinkingMode> shrinking()  
      java.util.Optional<java.lang.String> stereotype()  
      java.util.Optional<java.lang.Integer> tries()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • DefaultPropertyAttributes

        public DefaultPropertyAttributes​(java.lang.Integer tries,
                                 java.lang.Integer maxDiscardRatio,
                                 net.jqwik.api.ShrinkingMode shrinkingMode,
                                 net.jqwik.api.GenerationMode generationMode,
                                 net.jqwik.api.AfterFailureMode afterFailureMode,
                                 net.jqwik.api.EdgeCasesMode edgeCasesMode,
                                 java.lang.String stereotype,
                                 java.lang.String seed)

    • Method Detail

      • from

        public static net.jqwik.api.lifecycle.PropertyAttributes from​(net.jqwik.api.Property property)

      • tries

        public java.util.Optional<java.lang.Integer> tries()
        Specified by:
        tries in interface net.jqwik.api.lifecycle.PropertyAttributes

      • maxDiscardRatio

        public java.util.Optional<java.lang.Integer> maxDiscardRatio()
        Specified by:
        maxDiscardRatio in interface net.jqwik.api.lifecycle.PropertyAttributes

      • shrinking

        public java.util.Optional<net.jqwik.api.ShrinkingMode> shrinking()
        Specified by:
        shrinking in interface net.jqwik.api.lifecycle.PropertyAttributes

      • generation

        public java.util.Optional<net.jqwik.api.GenerationMode> generation()
        Specified by:
        generation in interface net.jqwik.api.lifecycle.PropertyAttributes

      • afterFailure

        public java.util.Optional<net.jqwik.api.AfterFailureMode> afterFailure()
        Specified by:
        afterFailure in interface net.jqwik.api.lifecycle.PropertyAttributes

      • edgeCases

        public java.util.Optional<net.jqwik.api.EdgeCasesMode> edgeCases()
        Specified by:
        edgeCases in interface net.jqwik.api.lifecycle.PropertyAttributes

      • stereotype

        public java.util.Optional<java.lang.String> stereotype()
        Specified by:
        stereotype in interface net.jqwik.api.lifecycle.PropertyAttributes

      • seed

        public java.util.Optional<java.lang.String> seed()
        Specified by:
        seed in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setTries

        public void setTries​(java.lang.Integer tries)
        Specified by:
        setTries in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setMaxDiscardRatio

        public void setMaxDiscardRatio​(java.lang.Integer maxDiscardRatio)
        Specified by:
        setMaxDiscardRatio in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setShrinking

        public void setShrinking​(net.jqwik.api.ShrinkingMode shrinkingMode)
        Specified by:
        setShrinking in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setGeneration

        public void setGeneration​(net.jqwik.api.GenerationMode generationMode)
        Specified by:
        setGeneration in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setAfterFailure

        public void setAfterFailure​(net.jqwik.api.AfterFailureMode afterFailureMode)
        Specified by:
        setAfterFailure in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setEdgeCases

        public void setEdgeCases​(net.jqwik.api.EdgeCasesMode edgeCasesMode)
        Specified by:
        setEdgeCases in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setStereotype

        public void setStereotype​(java.lang.String stereotype)
        Specified by:
        setStereotype in interface net.jqwik.api.lifecycle.PropertyAttributes

      • setSeed

        public void setSeed​(java.lang.String seed)
        Specified by:
        setSeed in interface net.jqwik.api.lifecycle.PropertyAttributes