Method value_at

src/analysis/abstract_domain.rs:220–243

Returns a reference to the value associated with the given path, if there is one.

(&self, path: &Rc<Path>)

    /// Returns a reference to the value associated with the given path, if there is one.
    pub fn value_at(&self, path: &Rc<Path>) -> Option<Rc<SymbolicValue>> {
        if self.numerical_domain.contains(path) {
            let interval = self.numerical_domain.get_interval(path);
            if let Ok(const_int) = Integer::try_from(interval) {
                Some(SymbolicValue::make_from(
                    Expression::CompileTimeConstant(ConstantValue::Int(const_int)),
                    1,
                ))
            } else {
                let e = Expression::Numerical(path.clone());
                Some(SymbolicValue::make_from(e, 1))
            }
        } else if self.nullness_domain.contains(path) {
            Some(SymbolicValue::make_from(
                Expression::Variable {
                    path: path.clone(),
                    var_type: crate::analysis::memory::expression::ExpressionType::Reference,
                },
                1,
            ))
        } else {
            None
        }
    }

    /// Updates the path to value map so that the given path now points to the given value.
    pub fn update_value_at(&mut self, path: Rc<Path>, value: Rc<SymbolicValue>) {