diff options
author | Anthony Ramine <n.oxyde@gmail.com> | 2015-09-11 23:55:20 +0200 |
---|---|---|
committer | Anthony Ramine <n.oxyde@gmail.com> | 2015-09-13 19:46:28 +0200 |
commit | c25085f68a86e2885d77146add097f9f796c96ac (patch) | |
tree | 6e5f7040cd7b4ba5cfb421049485782f44b22740 /components/script/mem.rs | |
parent | 941f7dc04bc02ad196e86c5167ea292477fb7284 (diff) | |
download | servo-c25085f68a86e2885d77146add097f9f796c96ac.tar.gz servo-c25085f68a86e2885d77146add097f9f796c96ac.zip |
Introduce [Abstract] to mark non-leaf interfaces
Some interfaces like Node, CharacterData and HTMLTableCellElement are never
instantiated directly, only their descendant interfaces are. Those are marked
with [Abstract] to set their type_id to None instead of having dummy values
in the TypeId enums.
Diffstat (limited to 'components/script/mem.rs')
-rw-r--r-- | components/script/mem.rs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/components/script/mem.rs b/components/script/mem.rs index 55c92f6e4e4..2e46ffea85e 100644 --- a/components/script/mem.rs +++ b/components/script/mem.rs @@ -9,9 +9,7 @@ use dom::element::ElementTypeId; use dom::eventtarget::{EventTarget, EventTargetTypeId}; use dom::htmlelement::HTMLElementTypeId; use dom::htmlmediaelement::HTMLMediaElementTypeId::HTMLAudioElement; -use dom::htmlmediaelement::HTMLMediaElementTypeId::HTMLMediaElement; use dom::htmlmediaelement::HTMLMediaElementTypeId::HTMLVideoElement; -use dom::htmltablecellelement::HTMLTableCellElementTypeId::HTMLTableCellElement; use dom::htmltablecellelement::HTMLTableCellElementTypeId::HTMLTableDataCellElement; use dom::htmltablecellelement::HTMLTableCellElementTypeId::HTMLTableHeaderCellElement; use dom::node::NodeTypeId; @@ -249,13 +247,5 @@ pub fn heap_size_of_eventtarget(target: &EventTarget) -> usize { heap_size_of_self_and_children(DocumentTypeCast::to_ref(target).unwrap()), &EventTargetTypeId::Node(NodeTypeId::DocumentFragment) => heap_size_of_self_and_children(DocumentFragmentCast::to_ref(target).unwrap()), - &EventTargetTypeId::EventTarget | - &EventTargetTypeId::Node(NodeTypeId::Node) | - &EventTargetTypeId::Node(NodeTypeId::Element(ElementTypeId::HTMLElement( - HTMLElementTypeId::HTMLMediaElement(HTMLMediaElement)))) | - &EventTargetTypeId::Node(NodeTypeId::Element(ElementTypeId::HTMLElement( - HTMLElementTypeId::HTMLTableCellElement(HTMLTableCellElement)))) => { - unreachable!() - }, } } |