mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-11-11 21:58:41 +02:00
This is the Servo side changes of [bug 1352763](https://bugzilla.mozilla.org/show_bug.cgi?id=1352763) and [bug 1352025](https://bugzilla.mozilla.org/show_bug.cgi?id=1352025) which have been reviewed on Bugzilla. Source-Repo: https://github.com/servo/servo Source-Revision: 679b41893782663f7a2294cdf94dcedcf1337f98 --HG-- extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear extra : subtree_revision : 135f4003dbf47eab0842f02be2aa9f766e066721
41 lines
1.4 KiB
Rust
41 lines
1.4 KiB
Rust
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
//! Types used to report parsing errors.
|
|
|
|
#![deny(missing_docs)]
|
|
|
|
use cssparser::{Parser, SourcePosition};
|
|
use log;
|
|
use stylesheets::UrlExtraData;
|
|
|
|
/// A generic trait for an error reporter.
|
|
pub trait ParseErrorReporter : Sync + Send {
|
|
/// Called the style engine detects an error.
|
|
///
|
|
/// Returns the current input being parsed, the source position it was
|
|
/// reported from, and a message.
|
|
fn report_error(&self,
|
|
input: &mut Parser,
|
|
position: SourcePosition,
|
|
message: &str,
|
|
url: &UrlExtraData);
|
|
}
|
|
|
|
/// An error reporter that reports the errors to the `info` log channel.
|
|
///
|
|
/// TODO(emilio): The name of this reporter is a lie, and should be renamed!
|
|
pub struct StdoutErrorReporter;
|
|
impl ParseErrorReporter for StdoutErrorReporter {
|
|
fn report_error(&self,
|
|
input: &mut Parser,
|
|
position: SourcePosition,
|
|
message: &str,
|
|
url: &UrlExtraData) {
|
|
if log_enabled!(log::LogLevel::Info) {
|
|
let location = input.source_location(position);
|
|
info!("Url:\t{}\n{}:{} {}", url.as_str(), location.line, location.column, message)
|
|
}
|
|
}
|
|
}
|