Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #3497 from zwarich/extended-deref

Browse source 
Add an extended_deref method to JSRef

Reviewed-by: Manishearth
This commit is contained in:
bors-servo 2014-09-27 12:48:30 -06:00
commit c10948736f
3 changed files with 21 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

10
components/script/dom/document.rs
View file

@ -157,8 +157,8 @@ impl CollectionFilter for AppletsFilter {
}
}
pub trait DocumentHelpers {
fn url<'a>(&'a self) -> &'a Url;
pub trait DocumentHelpers<'a> {
fn url(self) -> &'a Url;
fn quirks_mode(self) -> QuirksMode;
fn set_quirks_mode(self, mode: QuirksMode);
fn set_last_modified(self, value: DOMString);
@ -171,9 +171,9 @@ pub trait DocumentHelpers {
fn load_anchor_href(self, href: DOMString);
}
impl<'a> DocumentHelpers for JSRef<'a, Document> {
fn url<'a>(&'a self) -> &'a Url {
&*self.url
impl<'a> DocumentHelpers<'a> for JSRef<'a, Document> {
fn url(self) -> &'a Url {
&*self.extended_deref().url
}
fn quirks_mode(self) -> QuirksMode {