Pithos_GSS » Pithos Firefox extension

// The Pithos File Manager Firefox Extension is funded by GRNET S.A.

// (http://www.grnet.gr)

//

// Copyright (c) 2009, Christos KK Loverdos, Vassilios Karakoidas.

// All rights reserved.

//

// Redistribution and use in source and binary forms, with or without

// modification, are permitted provided that the following conditions are

// met:

//

//   - Redistributions of source code must retain the above copyright

//     notice, this list of conditions and the following disclaimer.

//   - Redistributions in binary form must reproduce the above

//     copyright notice, this list of conditions and the following

//     disclaimer in the documentation and/or other materials provided

//     with the distribution.

//   - Neither the name of GRNET S.A. nor the names of its contributors

//     may be used to endorse or promote products derived from this

//     software without specific prior written permission.

//

// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS

// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT

// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR

// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT

// HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,

// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT

// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,

// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY

// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT

// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE

// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

cache = null;

// Directory caching

function FileCache() {

        // public properties

        // private properties

        var cacheMap = new Array();

        var cacheExpired = new Array();

        var cacheExceptions = new Array();

        var expiration = 60000; // 1 minute for expiration of data

        // public methods

        this.add = function(key, obj) {

                if ( cacheExceptions.indexOf(key) >= 0) {

                        return;

                }

                var d = new Date();

                cacheMap[key] = obj;

                cacheExpired[key] = d.getTime();

        }

        this.remove = function(key) {

                cacheMap[key] = undefined;

                cacheExpired[key] = 0;                

        }

        this.get = function(key) {

                var d = new Date();

                var e = cacheExpired[key];

                // the key should exist in the cacheExpired map

                if (e == undefined) { return undefined; }

                // if the data are expired

                if (((d.getTime() - e) > expiration) || (e == 0)) {

                        cacheMap[key] = undefined;

                        cacheExpired[key] = 0;

                        return undefined; 

                }

                return cacheMap[key];

        }

        // private methods

        // initialisation

    // never cache shared and others

        cacheExceptions.push(connection_obj.user_homepage().shared);

        cacheExceptions.push(connection_obj.user_homepage().others);

        cacheExceptions.push(connection_obj.user_homepage().trash);

}