void SLintVisitor::visit(const ast::FieldExp & e) { auto range = preCheck(e); e.getHead()->accept(*this); e.getTail()->accept(*this); postCheck(e, range); }
void GlobalsCollector::visit(ast::FieldExp & e) { e.getHead()->accept(*this); e.getTail()->accept(*this); }