this.SourceFile = function(url, context) 
this.SourceFile = function(url, context, baseLineNumber) 
this.SourceFile = function(url, context){    this.href = url;    this.lineMap = {};    this.pcMapTypeByScriptTag = {};    if (!context) FBTrace.dumpStack("lib.SourceFile called without context");                                          /*@explore*/    context.sourceFileMap[url] = this;};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/657c1059e813834f821277cbe0ed6b432bead8b9/lib.js/buggy/extension/content/firebug/lib.js