⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 ucode_charstream.java

📁 derby database source code.good for you.
💻 JAVA
字号:
/*   Derby - Class org.apache.derby.impl.tools.ij.UCode_CharStream   Copyright 2000, 2004 The Apache Software Foundation or its licensors, as applicable.   Licensed under the Apache License, Version 2.0 (the "License");   you may not use this file except in compliance with the License.   You may obtain a copy of the License at      http://www.apache.org/licenses/LICENSE-2.0   Unless required by applicable law or agreed to in writing, software   distributed under the License is distributed on an "AS IS" BASIS,   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.   See the License for the specific language governing permissions and   limitations under the License. *//* Generated By:JavaCC: Do not edit this line. UCode_CharStream.java Version 0.7pre6 */package org.apache.derby.impl.tools.ij;/** * An implementation of interface CharStream, where the stream is assumed to * contain only Unicode characters. */public final class UCode_CharStream implements CharStream{  public static final boolean staticFlag = false;  public int bufpos = -1;  int bufsize;  int available;  int tokenBegin;  private int bufline[];  private int bufcolumn[];  private int column = 0;  private int line = 1;  private boolean prevCharIsCR = false;  private boolean prevCharIsLF = false;  private java.io.Reader inputStream;  private char[] nextCharBuf;  private char[] buffer;  private int maxNextCharInd = 0;  private int nextCharInd = -1;  private final 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;  }  private final void FillBuff() throws java.io.IOException  {     if (maxNextCharInd == 4096)        maxNextCharInd = nextCharInd = 0;     int i;     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;        }        if (tokenBegin == -1)           tokenBegin = bufpos;        throw e;     }  }  private final char ReadChar() throws java.io.IOException  {     if (++nextCharInd >= maxNextCharInd)        FillBuff();     return nextCharBuf[nextCharInd];  }       public char BeginToken() throws java.io.IOException  {          tokenBegin = -1;     char c = readChar();     tokenBegin = bufpos;     return c;  }       private final 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 += (8 - (column & 07));           break;        default :           break;     }  }  private int inBuf = 0;  public final char readChar() throws java.io.IOException  {     if (inBuf > 0)     {        --inBuf;        return (char)buffer[(bufpos == bufsize - 1) ? (bufpos = 0) : ++bufpos];     }	 bufpos++;     char c = ReadChar();     UpdateLineColumn(c);     if (bufpos == available)     {        if (available == bufsize)        {           if (tokenBegin > 2048)           {              bufpos = 0;              available = tokenBegin;           }           else if (tokenBegin < 0)              bufpos = 0;           else              ExpandBuff(false);        }        else if (available > tokenBegin)           available = bufsize;        else if ((tokenBegin - available) < 2048)           ExpandBuff(true);        else           available = tokenBegin;     }     return (buffer[bufpos] = c);  }  /**   * @deprecated    * @see #getEndColumn   */  public final int getColumn() {     return bufcolumn[bufpos];  }  /**   * @deprecated    * @see #getEndLine   */  public final int getLine() {     return bufline[bufpos];  }  public final int getEndColumn() {     return bufcolumn[bufpos];  }  public final int getEndLine() {     return bufline[bufpos];  }  public final int getBeginColumn() {     return bufcolumn[tokenBegin];  }  public final int getBeginLine() {     return bufline[tokenBegin];  }  public final void backup(int amount) {    inBuf += amount;    if ((bufpos -= amount) < 0)       bufpos += bufsize;  }  public UCode_CharStream(java.io.Reader dstream,                 int startline, int startcolumn, int buffersize)  {    inputStream = dstream;    line = startline;    column = startcolumn - 1;    available = bufsize = buffersize;    buffer = new char[buffersize];    nextCharBuf = new char[buffersize];    bufline = new int[buffersize];    bufcolumn = new int[buffersize];  }		  public UCode_CharStream(java.io.Reader dstream,                                        int startline, int startcolumn)  {     this(dstream, startline, startcolumn, 4096);  }  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];      nextCharBuf = new char[buffersize];      bufline = new int[buffersize];      bufcolumn = new int[buffersize];    }  	tokenBegin = inBuf = maxNextCharInd = 0; 	nextCharInd = bufpos = -1;   }  public void ReInit(java.io.Reader dstream,                                        int startline, int startcolumn)  {     ReInit(dstream, startline, startcolumn, 4096);  }  public UCode_CharStream(java.io.InputStream dstream, int startline,  int startcolumn, int buffersize)  {     this(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);  }  public UCode_CharStream(java.io.InputStream dstream, int startline,                                                           int startcolumn)  {     this(dstream, startline, startcolumn, 4096);  }  public void ReInit(java.io.InputStream dstream, int startline,  int startcolumn, int buffersize)  {     ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);  }  public void ReInit(java.io.InputStream dstream, int startline,                                                           int startcolumn)  {     ReInit(dstream, startline, startcolumn, 4096);  }  public final String GetImage()  {     if (bufpos >= tokenBegin)        return new String(buffer, tokenBegin, bufpos - tokenBegin + 1);     else        return new String(buffer, tokenBegin, bufsize - tokenBegin) +                              new String(buffer, 0, bufpos + 1);  }  public final char[] GetSuffix(int len)  {     char[] ret = new char[len];     if ((bufpos + 1) >= len)        System.arraycopy(buffer, bufpos - len + 1, ret, 0, len);     else     {        System.arraycopy(buffer, bufsize - (len - bufpos - 1), ret, 0,                                                          len - bufpos - 1);        System.arraycopy(buffer, 0, ret, len - bufpos - 1, bufpos + 1);     }     return ret;  }  public void Done()  {     nextCharBuf = null;     buffer = null;     bufline = null;     bufcolumn = null;  }  /**   * Method to adjust line and column numbers for the start of a token.<BR>   */  public void adjustBeginLineColumn(int newLine, int newCol)  {     int start = tokenBegin;     int len;     if (bufpos >= tokenBegin)     {        len = bufpos - tokenBegin + inBuf + 1;     }     else     {        len = bufsize - tokenBegin + bufpos + 1 + inBuf;     }     int i = 0, j = 0, k = 0;     int nextColDiff = 0, columnDiff = 0;     while (i < len &&            bufline[j = start % bufsize] == bufline[k = ++start % bufsize])     {        bufline[j] = newLine;        nextColDiff = columnDiff + bufcolumn[k] - bufcolumn[j];        bufcolumn[j] = newCol + columnDiff;        columnDiff = nextColDiff;        i++;     }      if (i < len)     {        bufline[j] = newLine++;        bufcolumn[j] = newCol + columnDiff;        while (i++ < len)        {           if (bufline[j = start % bufsize] != bufline[++start % bufsize])              bufline[j] = newLine++;           else              bufline[j] = newLine;        }     }     line = bufline[j];     column = bufcolumn[j];  }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -