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