forked from mirrors/gecko-dev
78470eed15
Currently, there are a few linting functions that only run on certain filetypes (determined by the file extension). Prior to this commit, the special cases were handled in a parent function with a conditional. This commit changes the system so each linting function gets passed a filename so the function can determine whether it should run or not based on the file extension. I also refactored flake8 linting slightly. From what I've read so far of the code, flake8 itself will only print the results directly to stdout (though the linter would report the quantity of errors detected). Prior to this commit, we would let flake8 print directly to stdout and just determine if there were >0 errors reported. This commit (sort of hackily) temporarily captures stdout when we call flake8 so we can do what we want with the output, allowing us to `yield` the line number and message like we do with the other linting functions. In my opinion, both of these changes isolate specific behaviors/checks into their respective linting functions instead of having them handled at a more global level. In addition to the changes above: * The whitespace linter now runs on WebIDL and TOML files * The license header linter now runs on WebIDL files Source-Repo: https://github.com/servo/servo Source-Revision: 7c8922c0c39616559b580b4a363ebe2a8c6b3ba8
22 lines
752 B
Text
22 lines
752 B
Text
/* 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/. */
|
|
|
|
// https://html.spec.whatwg.org/multipage/#the-errorevent-interface
|
|
|
|
[Constructor(DOMString type, optional ErrorEventInit eventInitDict)/*, Exposed=(Window,Worker)*/]
|
|
interface ErrorEvent : Event {
|
|
readonly attribute DOMString message;
|
|
readonly attribute DOMString filename;
|
|
readonly attribute unsigned long lineno;
|
|
readonly attribute unsigned long colno;
|
|
readonly attribute any error;
|
|
};
|
|
|
|
dictionary ErrorEventInit : EventInit {
|
|
DOMString message;
|
|
DOMString filename;
|
|
unsigned long lineno;
|
|
unsigned long colno;
|
|
any error;
|
|
};
|