void SLintVisitor::visit(const ast::CaseExp & e) { auto range = preCheck(e); e.getTest()->accept(*this); e.getBody()->accept(*this); postCheck(e, range); }
void InstrumentVisitor::visit(ast::CaseExp & e) { cover.add(macro, e.getTest()); ++instrCounts; e.getBody()->accept(*this); }
void GlobalsCollector::visit(ast::CaseExp & e) { e.getTest()->accept(*this); e.getBody()->accept(*this); }