/* Generated By:JavaCC: Do not edit this line. JavaCharStream.java Version 5.0 */

/* JavaCCOptions:STATIC=false,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */

package com.oracle.jmx.remote.rest.json.parser;

/**

 * An implementation of interface CharStream, where the stream is assumed to

 * contain only ASCII characters (with java-like unicode escape processing).

 */

public

class JavaCharStream

{

  /** Whether parser is static. */

  public static final boolean staticFlag = false;

  static final int hexval(char c) throws java.io.IOException {

    switch(c)

    {

       case '0' :

          return 0;

       case '1' :

          return 1;

       case '2' :

          return 2;

       case '3' :

          return 3;

       case '4' :

          return 4;

       case '5' :

          return 5;

       case '6' :

          return 6;

       case '7' :

          return 7;

       case '8' :

          return 8;

       case '9' :

          return 9;

       case 'a' :

       case 'A' :

          return 10;

       case 'b' :

       case 'B' :

          return 11;

       case 'c' :

       case 'C' :

          return 12;

       case 'd' :

       case 'D' :

          return 13;

       case 'e' :

       case 'E' :

          return 14;

       case 'f' :

       case 'F' :

          return 15;

    }

    throw new java.io.IOException(); // Should never come here

  }

/** Position in buffer. */

  public int bufpos = -1;

  int bufsize;

  int available;

  int tokenBegin;

  protected int bufline[];

  protected int bufcolumn[];

  protected int column = 0;

  protected int line = 1;

  protected boolean prevCharIsCR = false;

  protected boolean prevCharIsLF = false;

  protected java.io.Reader inputStream;

  protected char[] nextCharBuf;

  protected char[] buffer;

  protected int maxNextCharInd = 0;

  protected int nextCharInd = -1;

  protected int inBuf = 0;

  protected int tabSize = 8;

  protected void setTabSize(int i) { tabSize = i; }

  protected int getTabSize(int i) { return tabSize; }

  protected void ExpandBuff(boolean wrapAround)

  {

    char[] newbuffer = new char[bufsize + 2048];

    int newbufline[] = new int[bufsize + 2048];

    int newbufcolumn[] = new int[bufsize + 2048];

    try

    {

      if (wrapAround)

      {

        System.arraycopy(buffer, tokenBegin, newbuffer, 0, bufsize - tokenBegin);

        System.arraycopy(buffer, 0, newbuffer, bufsize - tokenBegin, bufpos);

        buffer = newbuffer;

        System.arraycopy(bufline, tokenBegin, newbufline, 0, bufsize - tokenBegin);

        System.arraycopy(bufline, 0, newbufline, bufsize - tokenBegin, bufpos);

        bufline = newbufline;

        System.arraycopy(bufcolumn, tokenBegin, newbufcolumn, 0, bufsize - tokenBegin);

        System.arraycopy(bufcolumn, 0, newbufcolumn, bufsize - tokenBegin, bufpos);

        bufcolumn = newbufcolumn;

        bufpos += (bufsize - tokenBegin);

    }

    else

    {

        System.arraycopy(buffer, tokenBegin, newbuffer, 0, bufsize - tokenBegin);

        buffer = newbuffer;

        System.arraycopy(bufline, tokenBegin, newbufline, 0, bufsize - tokenBegin);

        bufline = newbufline;

        System.arraycopy(bufcolumn, tokenBegin, newbufcolumn, 0, bufsize - tokenBegin);

        bufcolumn = newbufcolumn;

        bufpos -= tokenBegin;

      }

    }

    catch (Throwable t)

    {

      throw new Error(t.getMessage());

    }

    available = (bufsize += 2048);

    tokenBegin = 0;

  }

  protected void FillBuff() throws java.io.IOException

  {

    int i;

    if (maxNextCharInd == 4096)

      maxNextCharInd = nextCharInd = 0;

    try {

      if ((i = inputStream.read(nextCharBuf, maxNextCharInd,

                                          4096 - maxNextCharInd)) == -1)

      {

        inputStream.close();

        throw new java.io.IOException();

      }

      else

         maxNextCharInd += i;

      return;

    }

    catch(java.io.IOException e) {

      if (bufpos != 0)

      {

        --bufpos;

        backup(0);

      }

      else

      {

        bufline[bufpos] = line;

        bufcolumn[bufpos] = column;

      }

      throw e;

    }

  }

  protected char ReadByte() throws java.io.IOException

  {

    if (++nextCharInd >= maxNextCharInd)

      FillBuff();

    return nextCharBuf[nextCharInd];

  }

/** @return starting character for token. */

  public char BeginToken() throws java.io.IOException

  {

    if (inBuf > 0)

    {

      --inBuf;

      if (++bufpos == bufsize)

        bufpos = 0;

      tokenBegin = bufpos;

      return buffer[bufpos];

    }

    tokenBegin = 0;

    bufpos = -1;

    return readChar();

  }

  protected void AdjustBuffSize()

  {

    if (available == bufsize)

    {

      if (tokenBegin > 2048)

      {

        bufpos = 0;

        available = tokenBegin;

      }

      else

        ExpandBuff(false);

    }

    else if (available > tokenBegin)

      available = bufsize;

    else if ((tokenBegin - available) < 2048)

      ExpandBuff(true);

    else

      available = tokenBegin;

  }

  protected void UpdateLineColumn(char c)

  {

    column++;

    if (prevCharIsLF)

    {

      prevCharIsLF = false;

      line += (column = 1);

    }

    else if (prevCharIsCR)

    {

      prevCharIsCR = false;

      if (c == '\n')

      {

        prevCharIsLF = true;

      }

      else

        line += (column = 1);

    }

    switch (c)

    {

      case '\r' :

        prevCharIsCR = true;

        break;

      case '\n' :

        prevCharIsLF = true;

        break;

      case '\t' :

        column--;

        column += (tabSize - (column % tabSize));

        break;

      default :

        break;

    }

    bufline[bufpos] = line;

    bufcolumn[bufpos] = column;

  }

/** Read a character. */

  public char readChar() throws java.io.IOException

  {

    if (inBuf > 0)

    {

      --inBuf;

      if (++bufpos == bufsize)

        bufpos = 0;

      return buffer[bufpos];

    }

    char c;

    if (++bufpos == available)

      AdjustBuffSize();

    if ((buffer[bufpos] = c = ReadByte()) == '\\')

    {

      UpdateLineColumn(c);

      int backSlashCnt = 1;

      for (;;) // Read all the backslashes

      {

        if (++bufpos == available)

          AdjustBuffSize();

        try

        {

          if ((buffer[bufpos] = c = ReadByte()) != '\\')

          {

            UpdateLineColumn(c);

            // found a non-backslash char.

            if ((c == 'u') && ((backSlashCnt & 1) == 1))

            {

              if (--bufpos < 0)

                bufpos = bufsize - 1;

              break;

            }

            backup(backSlashCnt);

            return '\\';

          }

        }

        catch(java.io.IOException e)

        {

	  // We are returning one backslash so we should only backup (count-1)

          if (backSlashCnt > 1)

            backup(backSlashCnt-1);

          return '\\';

        }

        UpdateLineColumn(c);

        backSlashCnt++;

      }

      // Here, we have seen an odd number of backslash's followed by a 'u'

      try

      {

        while ((c = ReadByte()) == 'u')

          ++column;

        buffer[bufpos] = c = (char)(hexval(c) << 12 |

                                    hexval(ReadByte()) << 8 |

                                    hexval(ReadByte()) << 4 |

                                    hexval(ReadByte()));

        column += 4;

      }

      catch(java.io.IOException e)

      {

        throw new Error("Invalid escape character at line " + line +

                                         " column " + column + ".");

      }

      if (backSlashCnt == 1)

        return c;

      else

      {

        backup(backSlashCnt - 1);

        return '\\';

      }

    }

    else

    {

      UpdateLineColumn(c);

      return c;

    }

  }

  @Deprecated

  /**

   * @deprecated

   * @see #getEndColumn

   */

  public int getColumn() {

    return bufcolumn[bufpos];

  }

  @Deprecated

  /**

   * @deprecated

   * @see #getEndLine

   */

  public int getLine() {

    return bufline[bufpos];

  }

/** Get end column. */

  public int getEndColumn() {

    return bufcolumn[bufpos];

  }

/** Get end line. */

  public int getEndLine() {

    return bufline[bufpos];

  }

/** @return column of token start */

  public int getBeginColumn() {

    return bufcolumn[tokenBegin];

  }

/** @return line number of token start */

  public int getBeginLine() {

    return bufline[tokenBegin];

  }

/** Retreat. */

  public void backup(int amount) {

    inBuf += amount;

    if ((bufpos -= amount) < 0)

      bufpos += bufsize;

  }

/** Constructor. */

  public JavaCharStream(java.io.Reader dstream,

                 int startline, int startcolumn, int buffersize)

  {

    inputStream = dstream;

    line = startline;

    column = startcolumn - 1;

    available = bufsize = buffersize;

    buffer = new char[buffersize];

    bufline = new int[buffersize];

    bufcolumn = new int[buffersize];

    nextCharBuf = new char[4096];

  }

/** Constructor. */

  public JavaCharStream(java.io.Reader dstream,

                                        int startline, int startcolumn)

  {

    this(dstream, startline, startcolumn, 4096);

  }

/** Constructor. */

  public JavaCharStream(java.io.Reader dstream)

  {

    this(dstream, 1, 1, 4096);

  }

/** Reinitialise. */

  public void ReInit(java.io.Reader dstream,

                 int startline, int startcolumn, int buffersize)

  {

    inputStream = dstream;

    line = startline;

    column = startcolumn - 1;

    if (buffer == null || buffersize != buffer.length)

    {

      available = bufsize = buffersize;

      buffer = new char[buffersize];

      bufline = new int[buffersize];

      bufcolumn = new int[buffersize];

      nextCharBuf = new char[4096];

    }

    prevCharIsLF = prevCharIsCR = false;

    tokenBegin = inBuf = maxNextCharInd = 0;

    nextCharInd = bufpos = -1;

  }

/** Reinitialise. */

  public void ReInit(java.io.Reader dstream,

                                        int startline, int startcolumn)

  {

    ReInit(dstream, startline, startcolumn, 4096);

  }

/** Reinitialise. */

  public void ReInit(java.io.Reader dstream)

  {

    ReInit(dstream, 1, 1, 4096);

  }

/** Constructor. */

  public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,

  int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException

  {

    this(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);

  }

/** Constructor. */

  public JavaCharStream(java.io.InputStream dstream, int startline,

  int startcolumn, int buffersize)

  {

    this(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);

  }

/** Constructor. */

  public JavaCharStream(java.io.InputStream dstream, String encoding, int startline,

                        int startcolumn) throws java.io.UnsupportedEncodingException

  {

    this(dstream, encoding, startline, startcolumn, 4096);

  }

/** Constructor. */

  public JavaCharStream(java.io.InputStream dstream, int startline,

                        int startcolumn)

  {

    this(dstream, startline, startcolumn, 4096);

  }

/** Constructor. */

  public JavaCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException

  {

    this(dstream, encoding, 1, 1, 4096);

  }

/** Constructor. */

  public JavaCharStream(java.io.InputStream dstream)

  {

    this(dstream, 1, 1, 4096);

  }

/** Reinitialise. */

  public void ReInit(java.io.InputStream dstream, String encoding, int startline,

  int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException

  {

    ReInit(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);

  }

/** Reinitialise. */

  public void ReInit(java.io.InputStream dstream, int startline,

  int startcolumn, int buffersize)

  {

    ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);

  }

/** Reinitialise. */

  public void ReInit(java.io.InputStream dstream, String encoding, int startline,

                     int startcolumn) throws java.io.UnsupportedEncodingException

  {

    ReInit(dstream, encoding, startline, startcolumn, 4096);

  }

/** Reinitialise. */

  public void ReInit(java.io.InputStream dstream, int startline,

                     int startcolumn)

  {

    ReInit(dstream, startline, startcolumn, 4096);

  }

/** Reinitialise. */

  public void ReInit(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException

  {

    ReInit(dstream, encoding, 1, 1, 4096);

  }

/** Reinitialise. */

  public void ReInit(java.io.InputStream dstream)

  {