for (var charcode = 0xDC00; charcode <= 0xDFFF; charcode += resolution) { if (checkEncodeException(encodeFunction,charcode)) passes++; else failures++; } 
for (var charcode = 1; charcode < 0xD7FF; charcode += resolution) checkEncodeDecode(encodeFunction, decodeFunction, charcode); 
function checkWithFunctions(encodeFunction,decodeFunction){  var passes = 0;  var failures = 0;  // 0-0xD800 and 0xDC00-0xFFF  for (var charcode = 0; charcode < 0xD800; charcode += resolution) {    if (checkEncodeDecode(encodeFunction,decodeFunction,charcode))      passes++;    else      failures++;  }  for (var charcode = 0xE000; charcode <= 0xFFFF; charcode += resolution) {    if (checkEncodeDecode(encodeFunction,decodeFunction,charcode))      passes++;    else      failures++;  }  // 0xDC00-0xDFFF  for (var charcode = 0xDC00; charcode <= 0xDFFF; charcode += resolution) {    if (checkEncodeException(encodeFunction,charcode))      passes++;    else      failures++;  }  // 0xD800-0xDBFF followed by 0xDC00-0xDFFF  for (var charcode = 0xD800; charcode < 0xDC00; charcode += resolution) {    if (checkEncodeDecode(encodeFunction,decodeFunction,charcode,0xDC00))      passes++;    else      failures++;  }  for (var charcode = 0xDC00; charcode < 0xE000; charcode += resolution) {    if (checkEncodeDecode(encodeFunction,decodeFunction,0xD800,charcode))      passes++;    else      failures++;  }  // 0xD800-0xDBFF _not_ followed by 0xDC00-0xDFFF  for (var charcode = 0; charcode < 0xDC00; charcode += resolution) {    if (checkEncodeException(encodeFunction,0xD800,charcode))      passes++;    else      failures++;  }  for (var charcode = 0xE000; charcode <= 0xFFFF; charcode += resolution) {    if (checkEncodeException(encodeFunction,0xD800,charcode))      passes++;    else      failures++;  }//  print("passes = "+passes);//  print("failures = "+failures);  return (failures == 0);}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11f3b27e4b18e23979f8d2ab20679ab8fe4c0822/encode_decode_uri.js/clean/LayoutTests/fast/js/kde/resources/encode_decode_uri.js