this.href = url;  if (source) this.source = source;  this.pcMapTypeByScriptTag = {}; }; 
this.compilation_unit_type = compilation_unit_type; /*@explore*/ this.OuterScriptAnalyzer = function(sourceFile) { this.sourceFile = sourceFile; }; } 
this.SourceFile = function(url, source){    this.href = url;    if (source)        this.source = source;    this.pcMapTypeByScriptTag = {};};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/c5f013dccda5f25ec6c3894c73898353bae36759/lib.js/buggy/extension/content/firebug/lib.js