uriloader/prefetch/nsIPrefetchService.idl@6474c204b198 (annotated)
uriloader/prefetch/nsIPrefetchService.idl
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| michael@0 | 4 | |
| michael@0 | 5 | #include "nsISupports.idl" |
| michael@0 | 6 | |
| michael@0 | 7 | interface nsIURI; |
| michael@0 | 8 | interface nsIDOMNode; |
| michael@0 | 9 | interface nsISimpleEnumerator; |
| michael@0 | 10 | |
| michael@0 | 11 | [scriptable, uuid(bc4dbb34-b148-11e2-b82c-08002734a811)] |
| michael@0 | 12 | interface nsIPrefetchService : nsISupports |
| michael@0 | 13 | { |
| michael@0 | 14 | /** |
| michael@0 | 15 | * Enqueue a request to prefetch the specified URI. |
| michael@0 | 16 | * |
| michael@0 | 17 | * @param aURI the URI of the document to prefetch |
| michael@0 | 18 | * @param aReferrerURI the URI of the referring page |
| michael@0 | 19 | * @param aSource the DOM node (such as a <link> tag) that requested this |
| michael@0 | 20 | * fetch, or null if the prefetch was not requested by a DOM node. |
| michael@0 | 21 | * @param aExplicit the link element has an explicit prefetch link type |
| michael@0 | 22 | */ |
| michael@0 | 23 | void prefetchURI(in nsIURI aURI, |
| michael@0 | 24 | in nsIURI aReferrerURI, |
| michael@0 | 25 | in nsIDOMNode aSource, |
| michael@0 | 26 | in boolean aExplicit); |
| michael@0 | 27 | |
| michael@0 | 28 | /** |
| michael@0 | 29 | * Enumerate the items in the prefetch queue. |
| michael@0 | 30 | */ |
| michael@0 | 31 | nsISimpleEnumerator enumerateQueue(); |
| michael@0 | 32 | |
| michael@0 | 33 | // XXX do we need a way to cancel prefetch requests? |
| michael@0 | 34 | }; |
