rem: case nsIPrefBranch.PREF_STRING: return this.prefBranch.getCharPref (prefName);  case nsIPrefBranch.PREF_INT: return this.prefBranch.getIntPref (prefName);  case nsIPrefBranch.PREF_BOOL: return this.prefBranch.getBoolPref (prefName);  default: return defaultValue; 
add: switch (type) { case nsIPrefBranch.PREF_STRING: realValue = this.prefBranch.getCharPref (prefName); break;  case nsIPrefBranch.PREF_INT: realValue = this.prefBranch.getIntPref (prefName); break;  case nsIPrefBranch.PREF_BOOL: realValue = this.prefBranch.getBoolPref (prefName); break;  default: realValue = defaultValue; } 
context: function con_addpref (prefName, defaultValue){    function prefGetter ()    {        var type = this.prefBranch.getPrefType (prefName);        try        {                switch (type)            {                case nsIPrefBranch.PREF_STRING:                    return this.prefBranch.getCharPref (prefName);                                    case nsIPrefBranch.PREF_INT:                    return this.prefBranch.getIntPref (prefName);                                case nsIPrefBranch.PREF_BOOL:                    return this.prefBranch.getBoolPref (prefName);                                default:                    return defaultValue;            }                    return null;        }        catch (ex)        {            dd ("caught exception reading pref ``" + prefName + "'' " + type +                "\n" + ex);            return defaultValue;        }    }        function prefSetter (value)    {        try        {                switch (typeof value)            {                case "int":                    this.prefBranch.setIntPref (prefName, value);                    break;                                    case "boolean":                    this.prefBranch.setBoolPref (prefName, value);                    break;                                    default:                    this.prefBranch.setCharPref (prefName, value);                    break;                   }            this.prefService.savePrefFile(null);        }        catch (ex)        {            dd ("caught exception writing pref ``" + prefName + "''\n" + ex);        }        return value;    }    if (prefName in console.prefs)        return;    console.prefs.prefNames.push(prefName);        console.prefs.prefNames.sort();    console.prefs.__defineGetter__(prefName, prefGetter);    console.prefs.__defineSetter__(prefName, prefSetter);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a71b5f5e4a42de49df6e5b5548b9ae1c38b5206d/venkman-prefs.js/buggy/extensions/venkman/resources/content/venkman-prefs.js