Enum haybale::ParameterVal[−][src]

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.

Range(u64, u64)

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

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.

Trait Implementations

`impl Clone for ParameterVal`[src]

`fn clone(&self) -> ParameterVal`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for ParameterVal`[src]

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

`impl Default for ParameterVal`[src]

`fn default() -> Self`[src]

`impl Eq for ParameterVal`[src]

`impl PartialEq<ParameterVal> for ParameterVal`[src]

`fn eq(&self, other: &ParameterVal) -> bool`[src]

`fn ne(&self, other: &ParameterVal) -> bool`[src]

`impl StructuralEq for ParameterVal`[src]

`impl StructuralPartialEq for ParameterVal`[src]

Auto Trait Implementations

`impl RefUnwindSafe for ParameterVal`[src]

`impl Send for ParameterVal`[src]

`impl Sync for ParameterVal`[src]

`impl Unpin for ParameterVal`[src]

`impl UnwindSafe for ParameterVal`[src]

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

Enum haybale::ParameterVal[−][src]

Variants

Trait Implementations

impl Clone for ParameterVal[src]

fn clone(&self) -> ParameterVal[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for ParameterVal[src]

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

impl Default for ParameterVal[src]

fn default() -> Self[src]

impl Eq for ParameterVal[src]

impl PartialEq<ParameterVal> for ParameterVal[src]

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

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

impl StructuralEq for ParameterVal[src]

impl StructuralPartialEq for ParameterVal[src]

Auto Trait Implementations

impl RefUnwindSafe for ParameterVal[src]

impl Send for ParameterVal[src]

impl Sync for ParameterVal[src]

impl Unpin for ParameterVal[src]

impl UnwindSafe for ParameterVal[src]

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]