fn visit_attributes()

in smt2parser/src/rewriter.rs [290:304]

• 15 lines of code
• 1 McCabe index (conditional complexity)

    fn visit_attributes(
        &mut self,
        term: <Self::V as Smt2Visitor>::Term,
        attributes: Vec<(
            <Self::V as Smt2Visitor>::Keyword,
            AttributeValue<
                <Self::V as Smt2Visitor>::Constant,
                <Self::V as Smt2Visitor>::Symbol,
                <Self::V as Smt2Visitor>::SExpr,
            >,
        )>,
    ) -> Result<<Self::V as Smt2Visitor>::Term, Self::Error> {
        let value = self.visitor().visit_attributes(term, attributes)?;
        self.process_term(value)
    }