Enum haybale::ParameterVal

pub enum ParameterVal {
    Unconstrained,
    ExactValue(u64),
    Range(u64, u64),
    NonNullPointer,
    PointerToAllocated(u64),
}

Variants

Unconstrained

The parameter can have any value whatsoever. (The analysis will effectively consider all possible values.)

ExactValue(u64)

The parameter will have this exact value.

Tuple Fields of ExactValue

0: u64

Range(u64, u64)

The parameter can have any value in this range (inclusive).

Tuple Fields of Range

0: u641: u64

NonNullPointer

The parameter will have a non-null value, but otherwise be completely unconstrained (could point anywhere or alias anything). This can only be used for pointer-type parameters.

PointerToAllocated(u64)

The parameter will point to allocated memory, with the given allocation size in bytes. It will not be NULL and will not alias any other allocated memory. This can only be used for pointer-type parameters.

Tuple Fields of PointerToAllocated

0: u64

Trait Implementations

impl Clone for ParameterVal

fn clone(&self) -> ParameterVal

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ParameterVal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ParameterVal

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq<ParameterVal> for ParameterVal

fn eq(&self, other: &ParameterVal) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ParameterVal) -> bool

This method tests for !=.

impl Eq for ParameterVal

impl StructuralEq for ParameterVal

impl StructuralPartialEq for ParameterVal