var sourceFile = sourceBox.repObject; if (FBTrace.DBG_BP) FBTrace.sysout("debugger.setExecutableLines: "+sourceFile.toString()+"\n");                /*@explore*/ 
var sourceFile = sourceBox.repObject; if (FBTrace.DBG_BP || FBTrace.DBG_LINETABLE) FBTrace.sysout("debugger.setExecutableLines: "+sourceFile.toString()+"\n");                /*@explore*/ 
    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.isInExecutableTable(lineNo))                lineNode.setAttribute("executable", "true");            else                lineNode.removeAttribute("executable");            lineNo++;        }    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/657c1059e813834f821277cbe0ed6b432bead8b9/debugger.js/clean/extension/content/firebug/debugger.js