/*
Dependencies: none
*/

function Browser(){

}

//note this list MUST correspond to the one of browser.class.php
Browser.FIREFOX="Firefox";
Browser.IE_6="IE_6";
Browser.IE_7="IE_7";
Browser.IE_8="IE_8";
Browser.IE="IE";
Browser.ALL="ALL";

Browser.is = function(browser){
    var version=parseInt(Browser.IEVersion());
    switch(browser){
        case Browser.ALL: return true;
        case Browser.IE: return navigator.userAgent.indexOf('MSIE') != -1;
        case Browser.IE_6: return Browser.is(Browser.IE) &&  version>=6 && version<7;
        case Browser.IE_7: 
            alert(Browser.is(Browser.IE) &&  version>=7 && version<8);
            return Browser.is(Browser.IE) &&  version>=7 && version<8;
        case Browser.IE_8: return Browser.is(Browser.IE) &&  version>=8 && version<9;
        case Browser.FIREFOX: return navigator.userAgent.indexOf( "Firefox" ) != -1;
        default:
            alert("browser not supported by Browser.is(" + browser + ")!");
            return false;
    }
};

Browser.IEVersion=function()
   // Returns the version of Internet Explorer or a -1
   // (indicating the use of another browser).
{
    var rv = -1; // Return value assumes failure.
    if (navigator.appName == 'Microsoft Internet Explorer')
    {
        var ua = navigator.userAgent;
        var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
        if (re.exec(ua) != null)
        rv = parseFloat( RegExp.$1 );
    }
    return rv;
}