Enum haybale::ParameterVal
source · 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§
source§impl Clone for ParameterVal
impl Clone for ParameterVal
source§fn clone(&self) -> ParameterVal
fn clone(&self) -> ParameterVal
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ParameterVal
impl Debug for ParameterVal
source§impl Default for ParameterVal
impl Default for ParameterVal
source§impl PartialEq for ParameterVal
impl PartialEq for ParameterVal
source§fn eq(&self, other: &ParameterVal) -> bool
fn eq(&self, other: &ParameterVal) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for ParameterVal
impl StructuralEq for ParameterVal
impl StructuralPartialEq for ParameterVal
Auto Trait Implementations§
impl RefUnwindSafe for ParameterVal
impl Send for ParameterVal
impl Sync for ParameterVal
impl Unpin for ParameterVal
impl UnwindSafe for ParameterVal
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more