Struct Rnum 

pub struct Rnum { /* private fields */ }

Range number.

This independent signed/unsigned-bounds representation follows the scalar range information maintained alongside tracked numbers by the Linux eBPF verifier: https://docs.kernel.org/bpf/verifier.html#register-value-tracking

Implementations

impl Rnum

pub const fn new(min: u64, max: u64, smin: i64, smax: i64) -> Option<Self>

Construct independent unsigned and signed inclusive ranges.

pub const fn from_value(value: u64) -> Self

pub const fn unsigned_bounds(&self) -> (u64, u64)

pub const fn signed_bounds(&self) -> (i64, i64)

pub const fn is_const(&self) -> bool

Whether the domain contains exactly one machine value.

pub const fn value(&self) -> Option<u64>

Return the sole contained value, if this domain is constant.

pub const fn is_defined(&self) -> bool

Whether the domain contains at least one machine value.

pub const fn contains_value(&self, value: u64) -> bool

Whether this domain includes value in both interpretations.

pub const fn union(&self, other: Self) -> Self

Return the least range containing both operands.

pub const fn intersection(&self, other: Self) -> Self

Return the values represented by both operands.

pub const fn contains(&self, other: Self) -> bool

Whether this abstract range includes all bounds represented by other.

pub const fn has_value(&self) -> bool

pub const fn min_value(&self) -> Option<u64>

pub const fn max_value(&self) -> Option<u64>

pub const fn add(self, other: Self) -> Self

pub const fn subtract(self, other: Self) -> Self

pub const fn negate(self) -> Self

pub const fn bit_not(self) -> Self

pub const fn multiply(self, other: Self) -> Self

pub const fn checked_div(self, other: Self) -> Option<Self>

pub const fn divide(self, other: Self) -> Self

pub const fn remainder(self, other: Self) -> Self

Trait Implementations

impl Add for Rnum

type Output = Rnum

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self

Performs the + operation.

impl Clone for Rnum

fn clone(&self) -> Rnum

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Rnum

impl Debug for Rnum

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

Formats the value using the given formatter.

impl Default for Rnum

fn default() -> Self

Default is the range containing every 64-bit machine value.

impl Div for Rnum

type Output = Rnum

The resulting type after applying the / operator.

fn div(self, other: Self) -> Self

Performs the / operation.

impl Eq for Rnum

impl Mul for Rnum

type Output = Rnum

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self

Performs the * operation.

impl Neg for Rnum

type Output = Rnum

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl Not for Rnum

type Output = Rnum

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl PartialEq for Rnum

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

Equality operator ==.

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

Inequality operator !=.

impl Rem for Rnum

type Output = Rnum

The resulting type after applying the % operator.

fn rem(self, other: Self) -> Self

Performs the % operation.

impl StructuralPartialEq for Rnum

impl Sub for Rnum

type Output = Rnum

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self

Performs the - operation.