for (line in this.lineMap) str += "["+line+"]="+this.lineMap[line]; 
if (this.lineMap) for (line in this.lineMap) str += "["+line+"]="+this.lineMap[line]; else str += '(not built)'; 
    dumpLineMap: function()    {        var str = "SourceFile " + this.href+"; lineMap: ";        for (line in this.lineMap) str += "["+line+"]="+this.lineMap[line];        return str;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/657c1059e813834f821277cbe0ed6b432bead8b9/lib.js/buggy/extension/content/firebug/lib.js