forked from mirrors/gecko-dev
14926dcf7c
<!-- Please describe your changes on the following line: --> Automatically verify that derive() lists are alphabetically ordered #18172 --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes fix #18172 (github issue number if applicable). <!-- Either: --> - [X] There are tests for these changes OR - [ ] These changes do not require tests because _____ <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> Source-Repo: https://github.com/servo/servo Source-Revision: 474369618965569407d127b1e8c481e757cc59d3 --HG-- extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear extra : subtree_revision : 421aa68def8e17f70580477a4203494db3b69382
50 lines
1.5 KiB
Rust
50 lines
1.5 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/. */
|
|
|
|
use dom::bindings::codegen::Bindings::HTMLHeadingElementBinding;
|
|
use dom::bindings::js::Root;
|
|
use dom::document::Document;
|
|
use dom::htmlelement::HTMLElement;
|
|
use dom::node::Node;
|
|
use dom_struct::dom_struct;
|
|
use html5ever::{LocalName, Prefix};
|
|
|
|
#[derive(HeapSizeOf, JSTraceable)]
|
|
pub enum HeadingLevel {
|
|
Heading1,
|
|
Heading2,
|
|
Heading3,
|
|
Heading4,
|
|
Heading5,
|
|
Heading6,
|
|
}
|
|
|
|
#[dom_struct]
|
|
pub struct HTMLHeadingElement {
|
|
htmlelement: HTMLElement,
|
|
level: HeadingLevel,
|
|
}
|
|
|
|
impl HTMLHeadingElement {
|
|
fn new_inherited(local_name: LocalName,
|
|
prefix: Option<Prefix>,
|
|
document: &Document,
|
|
level: HeadingLevel) -> HTMLHeadingElement {
|
|
HTMLHeadingElement {
|
|
htmlelement:
|
|
HTMLElement::new_inherited(local_name, prefix, document),
|
|
level: level,
|
|
}
|
|
}
|
|
|
|
#[allow(unrooted_must_root)]
|
|
pub fn new(local_name: LocalName,
|
|
prefix: Option<Prefix>,
|
|
document: &Document,
|
|
level: HeadingLevel) -> Root<HTMLHeadingElement> {
|
|
Node::reflect_node(box HTMLHeadingElement::new_inherited(local_name, prefix, document, level),
|
|
document,
|
|
HTMLHeadingElementBinding::Wrap)
|
|
}
|
|
}
|