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
78 lines
3.1 KiB
Text
78 lines
3.1 KiB
Text
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* 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://www.whatwg.org/html/#htmlinputelement
|
|
interface HTMLInputElement : HTMLElement {
|
|
// attribute DOMString accept;
|
|
// attribute DOMString alt;
|
|
// attribute DOMString autocomplete;
|
|
// attribute boolean autofocus;
|
|
attribute boolean defaultChecked;
|
|
attribute boolean checked;
|
|
// attribute DOMString dirName;
|
|
attribute boolean disabled;
|
|
//readonly attribute HTMLFormElement? form;
|
|
//readonly attribute FileList? files;
|
|
attribute DOMString formAction;
|
|
attribute DOMString formEnctype;
|
|
attribute DOMString formMethod;
|
|
// attribute boolean formNoValidate;
|
|
attribute DOMString formTarget;
|
|
// attribute unsigned long height;
|
|
attribute boolean indeterminate;
|
|
// attribute DOMString inputMode;
|
|
//readonly attribute HTMLElement? list;
|
|
// attribute DOMString max;
|
|
// attribute long maxLength;
|
|
// attribute DOMString min;
|
|
// attribute long minLength;
|
|
// attribute boolean multiple;
|
|
attribute DOMString name;
|
|
// attribute DOMString pattern;
|
|
attribute DOMString placeholder;
|
|
attribute boolean readOnly;
|
|
// attribute boolean required;
|
|
[SetterThrows]
|
|
attribute unsigned long size;
|
|
// attribute DOMString src;
|
|
// attribute DOMString step;
|
|
attribute DOMString type;
|
|
attribute DOMString defaultValue;
|
|
[TreatNullAs=EmptyString] attribute DOMString value;
|
|
// attribute Date? valueAsDate;
|
|
// attribute unrestricted double valueAsNumber;
|
|
// attribute double valueLow;
|
|
// attribute double valueHigh;
|
|
// attribute unsigned long width;
|
|
|
|
//void stepUp(optional long n = 1);
|
|
//void stepDown(optional long n = 1);
|
|
|
|
//readonly attribute boolean willValidate;
|
|
//readonly attribute ValidityState validity;
|
|
//readonly attribute DOMString validationMessage;
|
|
//boolean checkValidity();
|
|
//boolean reportValidity();
|
|
//void setCustomValidity(DOMString error);
|
|
|
|
//readonly attribute NodeList labels;
|
|
|
|
//void select();
|
|
// attribute unsigned long selectionStart;
|
|
// attribute unsigned long selectionEnd;
|
|
// attribute DOMString selectionDirection;
|
|
//void setRangeText(DOMString replacement);
|
|
//void setRangeText(DOMString replacement, unsigned long start, unsigned long end,
|
|
// optional SelectionMode selectionMode = "preserve");
|
|
//void setSelectionRange(unsigned long start, unsigned long end, optional DOMString direction);
|
|
|
|
// also has obsolete members
|
|
};
|
|
|
|
// https://www.whatwg.org/html/#HTMLInputElement-partial
|
|
partial interface HTMLInputElement {
|
|
// attribute DOMString align;
|
|
// attribute DOMString useMap;
|
|
};
|