/* automatically generated by JSCoverage - do not edit */
if (! top._$jscoverage) {
  top._$jscoverage = {};
}
var _$jscoverage = top._$jscoverage;
if (! _$jscoverage['javascript-with.js']) {
  _$jscoverage['javascript-with.js'] = [];
  _$jscoverage['javascript-with.js'][1] = 0;
  _$jscoverage['javascript-with.js'][2] = 0;
  _$jscoverage['javascript-with.js'][4] = 0;
  _$jscoverage['javascript-with.js'][5] = 0;
  _$jscoverage['javascript-with.js'][8] = 0;
  _$jscoverage['javascript-with.js'][9] = 0;
}
_$jscoverage['javascript-with.js'][1]++;
function f() {
}
_$jscoverage['javascript-with.js'][2]++;
var x = {};
_$jscoverage['javascript-with.js'][4]++;
with (x) {
  _$jscoverage['javascript-with.js'][5]++;
  f();
}
_$jscoverage['javascript-with.js'][8]++;
with (x) {
  _$jscoverage['javascript-with.js'][9]++;
  f();
}
_$jscoverage['javascript-with.js'].source = ["<span class=\"k\">function</span> f<span class=\"k\">()</span> <span class=\"k\">{}</span>","<span class=\"k\">var</span> x <span class=\"k\">=</span> <span class=\"k\">{}</span><span class=\"k\">;</span>","","<span class=\"k\">with</span> <span class=\"k\">(</span>x<span class=\"k\">)</span> <span class=\"k\">{</span>","  f<span class=\"k\">();</span>","<span class=\"k\">}</span>","","<span class=\"k\">with</span> <span class=\"k\">(</span>x<span class=\"k\">)</span>","  f<span class=\"k\">();</span>"];
