📄 javafiles.java
字号:
ostr.println(" bufsize += 2048;"); ostr.println(" available = bufsize;"); ostr.println(" tokenBegin = 0;"); ostr.println(" }"); ostr.println(""); ostr.println(prefix + "protected void FillBuff() throws java.io.IOException"); ostr.println(" {"); ostr.println(" if (maxNextCharInd == available)"); ostr.println(" {"); ostr.println(" if (available == bufsize)"); ostr.println(" {"); ostr.println(" if (tokenBegin > 2048)"); ostr.println(" {"); ostr.println(" bufpos = maxNextCharInd = 0;"); ostr.println(" available = tokenBegin;"); ostr.println(" }"); ostr.println(" else if (tokenBegin < 0)"); ostr.println(" bufpos = maxNextCharInd = 0;"); ostr.println(" else"); ostr.println(" ExpandBuff(false);"); ostr.println(" }"); ostr.println(" else if (available > tokenBegin)"); ostr.println(" available = bufsize;"); ostr.println(" else if ((tokenBegin - available) < 2048)"); ostr.println(" ExpandBuff(true);"); ostr.println(" else"); ostr.println(" available = tokenBegin;"); ostr.println(" }"); ostr.println(""); ostr.println(" int i;"); ostr.println(" try {"); ostr.println(" if ((i = inputStream.read(buffer, maxNextCharInd,"); ostr.println(" available - maxNextCharInd)) == -1)"); ostr.println(" {"); ostr.println(" inputStream.close();"); ostr.println(" throw new java.io.IOException();"); ostr.println(" }"); ostr.println(" else"); ostr.println(" maxNextCharInd += i;"); ostr.println(" return;"); ostr.println(" }"); ostr.println(" catch(java.io.IOException e) {"); ostr.println(" --bufpos;"); ostr.println(" backup(0);"); ostr.println(" if (tokenBegin == -1)"); ostr.println(" tokenBegin = bufpos;"); ostr.println(" throw e;"); ostr.println(" }"); ostr.println(" }"); ostr.println(""); ostr.println(prefix + "public char BeginToken() throws java.io.IOException"); ostr.println(" {"); ostr.println(" tokenBegin = -1;"); ostr.println(" char c = readChar();"); ostr.println(" tokenBegin = bufpos;"); ostr.println(""); ostr.println(" return c;"); ostr.println(" }"); if (OtherFilesGen.keepLineCol) { ostr.println(""); ostr.println(prefix + "protected void UpdateLineColumn(char c)"); ostr.println(" {"); ostr.println(" column++;"); ostr.println(""); ostr.println(" if (prevCharIsLF)"); ostr.println(" {"); ostr.println(" prevCharIsLF = false;"); ostr.println(" line += (column = 1);"); ostr.println(" }"); ostr.println(" else if (prevCharIsCR)"); ostr.println(" {"); ostr.println(" prevCharIsCR = false;"); ostr.println(" if (c == '\\n')"); ostr.println(" {"); ostr.println(" prevCharIsLF = true;"); ostr.println(" }"); ostr.println(" else"); ostr.println(" line += (column = 1);"); ostr.println(" }"); ostr.println(""); ostr.println(" switch (c)"); ostr.println(" {"); ostr.println(" case '\\r' :"); ostr.println(" prevCharIsCR = true;"); ostr.println(" break;"); ostr.println(" case '\\n' :"); ostr.println(" prevCharIsLF = true;"); ostr.println(" break;"); ostr.println(" case '\\t' :"); ostr.println(" column--;"); ostr.println(" column += (8 - (column & 07));"); ostr.println(" break;"); ostr.println(" default :"); ostr.println(" break;"); ostr.println(" }"); ostr.println(""); ostr.println(" bufline[bufpos] = line;"); ostr.println(" bufcolumn[bufpos] = column;"); ostr.println(" }"); } ostr.println(""); ostr.println(prefix + "public char readChar() throws java.io.IOException"); ostr.println(" {"); ostr.println(" if (inBuf > 0)"); ostr.println(" {"); ostr.println(" --inBuf;"); ostr.println(""); ostr.println(" if (++bufpos == bufsize)"); ostr.println(" bufpos = 0;"); ostr.println(""); ostr.println(" return buffer[bufpos];"); ostr.println(" }"); ostr.println(""); ostr.println(" if (++bufpos >= maxNextCharInd)"); ostr.println(" FillBuff();"); ostr.println(""); ostr.println(" char c = buffer[bufpos];"); ostr.println(""); if (OtherFilesGen.keepLineCol) { ostr.println(" UpdateLineColumn(c);"); } ostr.println(" return (c);"); ostr.println(" }"); ostr.println(""); ostr.println(" /**"); ostr.println(" * @deprecated "); ostr.println(" * @see #getEndColumn"); ostr.println(" */"); ostr.println(""); ostr.println(prefix + "public int getColumn() {"); if (OtherFilesGen.keepLineCol) { ostr.println(" return bufcolumn[bufpos];"); } else { ostr.println(" return -1;"); } ostr.println(" }"); ostr.println(""); ostr.println(" /**"); ostr.println(" * @deprecated "); ostr.println(" * @see #getEndLine"); ostr.println(" */"); ostr.println(""); ostr.println(prefix + "public int getLine() {"); if (OtherFilesGen.keepLineCol) { ostr.println(" return bufline[bufpos];"); } else { ostr.println(" return -1;"); } ostr.println(" }"); ostr.println(""); ostr.println(prefix + "public int getEndColumn() {"); if (OtherFilesGen.keepLineCol) { ostr.println(" return bufcolumn[bufpos];"); } else { ostr.println(" return -1;"); } ostr.println(" }"); ostr.println(""); ostr.println(prefix + "public int getEndLine() {"); if (OtherFilesGen.keepLineCol) { ostr.println(" return bufline[bufpos];"); } else { ostr.println(" return -1;"); } ostr.println(" }"); ostr.println(""); ostr.println(prefix + "public int getBeginColumn() {"); if (OtherFilesGen.keepLineCol) { ostr.println(" return bufcolumn[tokenBegin];"); } else { ostr.println(" return -1;"); } ostr.println(" }"); ostr.println(""); ostr.println(prefix + "public int getBeginLine() {"); if (OtherFilesGen.keepLineCol) { ostr.println(" return bufline[tokenBegin];"); } else { ostr.println(" return -1;"); } ostr.println(" }"); ostr.println(""); ostr.println(prefix + "public void backup(int amount) {"); ostr.println(""); ostr.println(" inBuf += amount;"); ostr.println(" if ((bufpos -= amount) < 0)"); ostr.println(" bufpos += bufsize;"); ostr.println(" }"); ostr.println(""); ostr.println(" public SimpleCharStream(java.io.Reader dstream, int startline,"); ostr.println(" int startcolumn, int buffersize)"); ostr.println(" {"); if (Options.B("STATIC")) { ostr.println(" if (inputStream != null)"); ostr.println(" throw new Error(\"\\n ERROR: Second call to the constructor of a static SimpleCharStream. You must\\n\" +"); ostr.println(" \" either use ReInit() or set the JavaCC option STATIC to false\\n\" +"); ostr.println(" \" during the generation of this class.\");"); } ostr.println(" inputStream = dstream;"); if (OtherFilesGen.keepLineCol) { ostr.println(" line = startline;"); ostr.println(" column = startcolumn - 1;"); } ostr.println(""); ostr.println(" available = bufsize = buffersize;"); ostr.println(" buffer = new char[buffersize];"); if (OtherFilesGen.keepLineCol) { ostr.println(" bufline = new int[buffersize];"); ostr.println(" bufcolumn = new int[buffersize];"); } ostr.println(" }"); ostr.println(""); ostr.println(" public SimpleCharStream(java.io.Reader dstream, int startline,"); ostr.println(" int startcolumn)"); ostr.println(" {"); ostr.println(" this(dstream, startline, startcolumn, 4096);"); ostr.println(" }"); ostr.println(""); ostr.println(" public SimpleCharStream(java.io.Reader dstream)"); ostr.println(" {"); ostr.println(" this(dstream, 1, 1, 4096);"); ostr.println(" }"); ostr.println(" public void ReInit(java.io.Reader dstream, int startline,"); ostr.println(" int startcolumn, int buffersize)"); ostr.println(" {"); ostr.println(" inputStream = dstream;"); if (OtherFilesGen.keepLineCol) { ostr.println(" line = startline;"); ostr.println(" column = startcolumn - 1;"); } ostr.println(""); ostr.println(" if (buffer == null || buffersize != buffer.length)"); ostr.println(" {"); ostr.println(" available = bufsize = buffersize;"); ostr.println(" buffer = new char[buffersize];"); if (OtherFilesGen.keepLineCol) { ostr.println(" bufline = new int[buffersize];"); ostr.println(" bufcolumn = new int[buffersize];"); } ostr.println(" }"); if (OtherFilesGen.keepLineCol) { ostr.println(" prevCharIsLF = prevCharIsCR = false;"); } ostr.println(" tokenBegin = inBuf = maxNextCharInd = 0;"); ostr.println(" bufpos = -1;"); ostr.println(" }"); ostr.println(""); ostr.println(" public void ReInit(java.io.Reader dstream, int startline,"); ostr.println(" int startcolumn)"); ostr.println(" {"); ostr.println(" ReInit(dstream, startline, startcolumn, 4096);"); ostr.println(" }"); ostr.println(""); ostr.println(" public void ReInit(java.io.Reader dstream)"); ostr.println(" {"); ostr.println(" ReInit(dstream, 1, 1, 4096);"); ostr.println(" }"); ostr.println(" public SimpleCharStream(java.io.InputStream dstream, int startline,"); ostr.println(" int startcolumn, int buffersize)"); ostr.println(" {"); ostr.println(" this(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);"); ostr.println(" }"); ostr.println(""); ostr.println(" public SimpleCharStream(java.io.InputStream dstream, int startline,"); ostr.println(" int startcolumn)"); ostr.println(" {"); ostr.println(" this(dstream, startline, startcolumn, 4096);"); ostr.println(" }"); ostr.println(""); ostr.println(" public SimpleCharStream(java.io.InputStream dstream)"); ostr.println(" {"); ostr.println(" this(dstream, 1, 1, 4096);"); ostr.println(" }"); ostr.println(""); ostr.println(" public void ReInit(java.io.InputStream dstream, int startline,"); ostr.println(" int startcolumn, int buffersize)"); ostr.println(" {"); ostr.println(" ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, 4096);"); ostr.println(" }"); ostr.println(""); ostr.println(" public void ReInit(java.io.InputStream dstream)"); ostr.println(" {"); ostr.println(" ReInit(dstream, 1, 1, 4096);");
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -