/*

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.  Oracle designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Oracle in the LICENSE file that accompanied this code.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

/*

 * Copyright (C) 2004-2011

 *

 * Permission is hereby granted, free of charge, to any person obtaining a copy

 * of this software and associated documentation files (the "Software"), to deal

 * in the Software without restriction, including without limitation the rights

 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell

 * copies of the Software, and to permit persons to whom the Software is

 * furnished to do so, subject to the following conditions:

 *

 * The above copyright notice and this permission notice shall be included in

 * all copies or substantial portions of the Software.

 *

 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR

 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,

 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE

 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER

 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,

 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN

 * THE SOFTWARE.

 */

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

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

package com.sun.xml.internal.rngom.parse.compact;

/**

 * 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. */