reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
615 num_errors, quit_requested, 633 num_errors, local_quit_requested,