Package com.code_intelligence.jazzer.mutation.annotation

package com.code_intelligence.jazzer.mutation.annotation
  • Annotation Interfaces
    Class
    Description
    Ascii
    Generates a String consisting only of ASCII characters (including control characters).
    DoubleInRange
    Generates a double in the specified range.
    ElementOf
    Restricts generated values to a fixed set.
    Finite
    Generates a float or double which is finite, that is, a number which is neither NaN nor Infinity.
    FloatInRange
    Generates a float in the specified range.
    InRange
    Generates an integral number in the specified range.
    Negative
    Generates a negative number, that is, a number < 0.
    NonNegative
    Generates a non-negative number, that is, a number >= 0.
    NonPositive
    Generates a non-positive number, that is, a number <= 0.
    NotNull
    Generates a not-null value.
    Positive
    Generates a positive number, that is, a number > 0.
    UrlSegment
    An annotation that applies to String and limits the character set of the annotated type to valid URL segment characters, as described in RFC 3986, appendix A.
    ValuePool
    Provides values to user-selected types that will be used during mutation.
    WithLength
    Generates an array of the specified length.
    WithSize
    Generates a List, Set or Map with the specified size.
    WithUtf8Length
    An annotation that applies to String to limit the length of the UTF-8 encoding of the string.