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.getCharPref (prefName);  default: return defaultValue; 
add: dd ("caught exception reading pref ``" + prefName + "'' " + type + "\n" + ex); return defaultValue; 
context:     function prefGetter ()    {        var type = this.prefBranch.getPrefType (prefName);        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.getCharPref (prefName);                            default:                return defaultValue;        }                return null;    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/69e7d256c057e99685d6a99b1bbee39c44a8a961/venkman-prefs.js/clean/extensions/venkman/resources/content/venkman-prefs.js