context: function pm_readprefs (){    const nsIPrefBranch = Components.interfaces.nsIPrefBranch;    var list = this.prefBranch.getChildList("", {});    for (var i = 0; i < list.length; ++i)    {        if (!(list[i] in this))        {            var type = this.prefBranch.getPrefType (list[i]);            var defaultValue;                        switch (type)            {                case nsIPrefBranch.PREF_INT:                    defaultValue = 0;                    break;                                case nsIPrefBranch.PREF_BOOL:                    defaultValue = false;                    break;                default:                    defaultValue = "";            }                        this.addPref(list[i], defaultValue);        }    }}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/5b072905fe05cda9766df29e689512174dbf879d/pref-manager.js/clean/js/lib/pref-manager.js