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