aspects as necessary. */
void resolve(Stage &, unsigned = RESOLVE_ALL);
- /** Checks the validity of the module. If the return value is false, the
- module's diagnostics list will contain additional information of errors. */
- bool validate(Stage &);
+ /** Runs validators on a stage. Diagnostic messages are recorded in the
+ stage for later inspection. */
+ void validate(Stage &);
+
+ /** Checks a stage's recorded diagnostics for errors. If any are found,
+ returns true. */
+ bool check_errors(Stage &);
static bool diagnostic_line_order(const Diagnostic &, const Diagnostic &);