| OLD | NEW | 
|---|
| (Empty) |  | 
|  | 1 /* | 
|  | 2  * This file is part of Adblock Plus <http://adblockplus.org/>, | 
|  | 3  * Copyright (C) 2006-2014 Eyeo GmbH | 
|  | 4  * | 
|  | 5  * Adblock Plus is free software: you can redistribute it and/or modify | 
|  | 6  * it under the terms of the GNU General Public License version 3 as | 
|  | 7  * published by the Free Software Foundation. | 
|  | 8  * | 
|  | 9  * Adblock Plus is distributed in the hope that it will be useful, | 
|  | 10  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
|  | 11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
|  | 12  * GNU General Public License for more details. | 
|  | 13  * | 
|  | 14  * You should have received a copy of the GNU General Public License | 
|  | 15  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 
|  | 16  */ | 
|  | 17 | 
|  | 18 (function() | 
|  | 19 { | 
|  | 20   var nonEmptyPageMaps = {__proto__: null}; | 
|  | 21   var pageMapCounter = 0; | 
|  | 22 | 
|  | 23   var PageMap = ext.PageMap = function() | 
|  | 24   { | 
|  | 25     this._map = {__proto__: null}; | 
|  | 26     this._id = ++pageMapCounter; | 
|  | 27   }; | 
|  | 28   PageMap.prototype = { | 
|  | 29     _delete: function(id) | 
|  | 30     { | 
|  | 31       delete this._map[id]; | 
|  | 32 | 
|  | 33       if (Object.keys(this._map).length == 0) | 
|  | 34         delete nonEmptyPageMaps[this._id]; | 
|  | 35     }, | 
|  | 36     get: function(page) | 
|  | 37     { | 
|  | 38       return this._map[page._id]; | 
|  | 39     }, | 
|  | 40     set: function(page, value) | 
|  | 41     { | 
|  | 42       this._map[page._id] = value; | 
|  | 43       nonEmptyPageMaps[this._id] = this; | 
|  | 44     }, | 
|  | 45     has: function(page) | 
|  | 46     { | 
|  | 47       return page._id in this._map; | 
|  | 48     }, | 
|  | 49     clear: function() | 
|  | 50     { | 
|  | 51       for (var id in this._map) | 
|  | 52         this._delete(id); | 
|  | 53     }, | 
|  | 54     delete: function(page) | 
|  | 55     { | 
|  | 56       this._delete(page._id); | 
|  | 57     } | 
|  | 58   }; | 
|  | 59 | 
|  | 60   ext._removeFromAllPageMaps = function(pageId) | 
|  | 61   { | 
|  | 62     for (var pageMapId in nonEmptyPageMaps) | 
|  | 63       nonEmptyPageMaps[pageMapId]._delete(pageId); | 
|  | 64   }; | 
|  | 65 })(); | 
| OLD | NEW | 
|---|