300     }

   301 

   302     /**

   303      * Returns a String with escaped special JavaScript characters.

   304      *

   305      * @param s String that needs to be escaped

   306      * @return a valid escaped JavaScript string

   307      */

   308     private static String escapeJavaScriptChars(String s) {

   309         StringBuilder sb = new StringBuilder();

   310         for (int i = 0; i < s.length(); i++) {

   311             char ch = s.charAt(i);

   312             switch (ch) {

   313                 case '\b':

   314                     sb.append("\\b");

   315                     break;

   316                 case '\t':

   317                     sb.append("\\t");

   318                     break;

   319                 case '\n':

   320                     sb.append("\\n");

   321                     break;

   322                 case '\f':

   323                     sb.append("\\f");

   324                     break;

   325                 case '\r':

   326                     sb.append("\\r");

   327                     break;

   328                 case '"':

   329                     sb.append("\\\"");

   330                     break;

   331                 case '\'':

   332                     sb.append("\\\'");

   333                     break;

   334                 case '\\':

   335                     sb.append("\\\\");

   336                     break;

   337                 default:

   338                     if (ch < 32 || ch >= 127) {

   339                         sb.append(String.format("\\u%04X", (int)ch));

   340                     } else {

   341                         sb.append(ch);

   342                     }

   343                     break;

   344             }

   345         }

   346         return sb.toString();