Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-02 12:10:29 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove warning from 'deleter' WebIDL codegen

Browse source
This commit is contained in:
Bruno de Oliveira Abinader 2014-11-04 13:20:25 -08:00
parent 5c76502b91
commit a9d68474c9
3 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/script/dom/bindings/codegen/Configuration.py
View file

@ -208,9 +208,6 @@ class Descriptor(DescriptorProvider):
addIndexedOrNamedOperation('Creator', m)
if m.isDeleter():
addIndexedOrNamedOperation('Deleter', m)
raise TypeError("deleter specified on %s but we "
"don't support deleters yet" %
self.interface.identifier.name)
iface.setUserData('hasConcreteDescendant', True)
iface = iface.parent

4
components/script/dom/domstringmap.rs
View file

@ -37,6 +37,10 @@ impl<'a> DOMStringMapMethods for JSRef<'a, DOMStringMap> {
self.map.borrow_mut().insert(name, value);
}
fn NamedDeleter(self, name: DOMString) {
self.map.borrow_mut().remove(&name);
}
fn NamedSetter(self, name: DOMString, value: DOMString) {
self.map.borrow_mut().insert(name, value);
}

2
components/script/dom/webidls/DOMStringMap.webidl
View file

@ -8,5 +8,5 @@
interface DOMStringMap {
getter DOMString (DOMString name);
setter creator void (DOMString name, DOMString value);
//deleter void (DOMString name);
deleter void (DOMString name);
};