27 

    27 

    28 import java.nio.CharBuffer;

    28 import java.nio.CharBuffer;

    29 import java.util.Arrays;

    29 import java.util.Arrays;

    30 

    30 

    31 import com.sun.tools.javac.file.JavacFileManager;

    31 import com.sun.tools.javac.file.JavacFileManager;

    32 import com.sun.tools.javac.util.ArrayUtils;

    33 import com.sun.tools.javac.util.ArrayUtils;

    33 import com.sun.tools.javac.util.Log;

    34 import com.sun.tools.javac.util.Log;

    34 import com.sun.tools.javac.util.Name;

    35 import com.sun.tools.javac.util.Name;

    35 import com.sun.tools.javac.util.Names;

    36 import com.sun.tools.javac.util.Names;

    36 

    37 

   174                         ch = (char)code;

   175                         ch = (char)code;

   175                         unicodeConversionBp = bp;

   176                         unicodeConversionBp = bp;

   176                         return;

   177                         return;

   177                     }

   178                     }

   178                 }

   179                 }

   180             } else {

   181             } else {

   181                 bp--;

   182                 bp--;

   182                 ch = '\\';

   183                 ch = '\\';

   183             }

   184             }

   184         }

   185         }

   229         if ('0' <= c && c <= '9')

   230         if ('0' <= c && c <= '9')

   230             return Character.digit(c, base); //a fast common case

   231             return Character.digit(c, base); //a fast common case

   231         int codePoint = peekSurrogates();

   232         int codePoint = peekSurrogates();

   232         int result = codePoint >= 0 ? Character.digit(codePoint, base) : Character.digit(c, base);

   233         int result = codePoint >= 0 ? Character.digit(codePoint, base) : Character.digit(c, base);

   233         if (result >= 0 && c > 0x7f) {

   234         if (result >= 0 && c > 0x7f) {

   235             if (codePoint >= 0)

   236             if (codePoint >= 0)

   236                 scanChar();

   237                 scanChar();

   237             ch = "0123456789abcdef".charAt(result);

   238             ch = "0123456789abcdef".charAt(result);

   238         }

   239         }

   239         return result;

   240         return result;