void SLintVisitor::visit(const ast::LogicalOpExp & e) { auto range = preCheck(e); e.getLeft().accept(*this); e.getRight().accept(*this); postCheck(e, range); }
void GlobalsCollector::visit(ast::LogicalOpExp & e) { e.getLeft().accept(*this); e.getRight().accept(*this); }