Struct DepthDomain 

pub struct DepthDomain {
    pub max_depth: usize,
    pub current_depth: usize,
}

Abstract domain for expression depth analysis.

Fields

max_depth: usize

Maximum allowed depth.

current_depth: usize

Current depth reached.

Implementations

impl DepthDomain

pub fn new(max: usize) -> Self

Create a new depth domain with the given maximum.

pub fn is_bounded(&self) -> bool

True if the current depth is within bounds.

pub fn increase(&self) -> DepthDomain

Increase depth by one, saturating at max_depth + 1.

pub fn join(&self, other: &DepthDomain) -> DepthDomain

Join (take the maximum current depth) with another DepthDomain.

Trait Implementations

impl Clone for DepthDomain

fn clone(&self) -> DepthDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DepthDomain

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

Formats the value using the given formatter.

impl PartialEq for DepthDomain

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for DepthDomain

impl Eq for DepthDomain

impl StructuralPartialEq for DepthDomain