setExecutableLines: function(sourceBox) 
setExecutableLines: function(sourceBox) 
    setExecutableLines: function(sourceBox)     {        var sourceFile = sourceBox.repObject;  // XXXjjb true but obscure        if (FBTrace.DBG_BP) FBTrace.sysout("debugger.setExecutableLines: "+sourceFile.toString()+"\n");                /*@explore*/        var lineNo = 1;        while( lineNode = this.getLineNode(lineNo) )         {            if (sourceFile.isLineExecutable(lineNo))                 lineNode.setAttribute("executable", "true");            else                lineNode.removeAttribute("executable");            lineNo++;           }    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/debugger.js/buggy/extension/content/firebug/debugger.js