/** | |
* Copyright (c) 2005, 2010, Werner Keil, Ikayzo and others. | |
* All rights reserved. This program and the accompanying materials | |
* are made available under the terms of the Eclipse Public License v1.0 | |
* which accompanies this distribution, and is available at | |
* http://www.eclipse.org/legal/epl-v10.html | |
* | |
* Contributors: | |
* Werner Keil, Ikayzo and others - initial API and implementation | |
*/ | |
/* Generated By:JavaCC: Do not edit this line. SimpleCharStream.java Version 5.0 */ | |
/* JavaCCOptions:STATIC=false,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */ | |
package org.eclipse.uomo.units.impl.format; | |
/** | |
* An implementation of interface CharStream, where the stream is assumed to | |
* contain only ASCII characters (without unicode processing). | |
*/ | |
class SimpleCharStream | |
{ | |
/** Whether parser is static. */ | |
static final boolean staticFlag = false; | |
int bufsize; | |
int available; | |
int tokenBegin; | |
/** Position in buffer. */ | |
private int bufpos = -1; | |
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[] buffer; | |
protected int maxNextCharInd = 0; | |
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; | |
maxNextCharInd = (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; | |
maxNextCharInd = (bufpos -= tokenBegin); | |
} | |
} | |
catch (Throwable t) | |
{ | |
throw new Error(t.getMessage()); | |
} | |
bufsize += 2048; | |
available = bufsize; | |
tokenBegin = 0; | |
} | |
protected void fillBuff() throws java.io.IOException | |
{ | |
if (maxNextCharInd == available) | |
{ | |
if (available == bufsize) | |
{ | |
if (tokenBegin > 2048) | |
{ | |
bufpos = maxNextCharInd = 0; | |
available = tokenBegin; | |
} | |
else if (tokenBegin < 0) | |
bufpos = maxNextCharInd = 0; | |
else | |
expandBuff(false); | |
} | |
else if (available > tokenBegin) | |
available = bufsize; | |
else if ((tokenBegin - available) < 2048) | |
expandBuff(true); | |
else | |
available = tokenBegin; | |
} | |
int i; | |
try { | |
if ((i = inputStream.read(buffer, maxNextCharInd, available - maxNextCharInd)) == -1) | |
{ | |
inputStream.close(); | |
throw new java.io.IOException(); | |
} | |
else | |
maxNextCharInd += i; | |
return; | |
} | |
catch(java.io.IOException e) { | |
--bufpos; | |
backup(0); | |
if (tokenBegin == -1) | |
tokenBegin = bufpos; | |
throw e; | |
} | |
} | |
/** Start. */ | |
protected char beginToken() throws java.io.IOException | |
{ | |
tokenBegin = -1; | |
char c = readChar(); | |
tokenBegin = bufpos; | |
return c; | |
} | |
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. */ | |
protected char readChar() throws java.io.IOException | |
{ | |
if (inBuf > 0) | |
{ | |
--inBuf; | |
if (++bufpos == bufsize) | |
bufpos = 0; | |
return buffer[bufpos]; | |
} | |
if (++bufpos >= maxNextCharInd) | |
fillBuff(); | |
char c = buffer[bufpos]; | |
updateLineColumn(c); | |
return c; | |
} | |
@Deprecated | |
/** | |
* @deprecated | |
* @see #getEndColumn | |
*/ | |
protected int getColumn() { | |
return bufcolumn[bufpos]; | |
} | |
@Deprecated | |
/** | |
* @deprecated | |
* @see #getEndLine | |
*/ | |
protected int getLine() { | |
return bufline[bufpos]; | |
} | |
/** Get token end column number. */ | |
protected int getEndColumn() { | |
return bufcolumn[bufpos]; | |
} | |
/** Get token end line number. */ | |
protected int getEndLine() { | |
return bufline[bufpos]; | |
} | |
/** Get token beginning column number. */ | |
protected int getBeginColumn() { | |
return bufcolumn[tokenBegin]; | |
} | |
/** Get token beginning line number. */ | |
protected int getBeginLine() { | |
return bufline[tokenBegin]; | |
} | |
/** Backup a number of characters. */ | |
protected void backup(int amount) { | |
inBuf += amount; | |
if ((bufpos -= amount) < 0) | |
bufpos += bufsize; | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(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]; | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(java.io.Reader dstream, int startline, | |
int startcolumn) | |
{ | |
this(dstream, startline, startcolumn, 4096); | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(java.io.Reader dstream) | |
{ | |
this(dstream, 1, 1, 4096); | |
} | |
/** Reinitialise. */ | |
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]; | |
} | |
prevCharIsLF = prevCharIsCR = false; | |
tokenBegin = inBuf = maxNextCharInd = 0; | |
bufpos = -1; | |
} | |
/** Reinitialise. */ | |
protected void reInit(java.io.Reader dstream, int startline, | |
int startcolumn) | |
{ | |
reInit(dstream, startline, startcolumn, 4096); | |
} | |
/** Reinitialise. */ | |
protected void reInit(java.io.Reader dstream) | |
{ | |
reInit(dstream, 1, 1, 4096); | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(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. */ | |
protected SimpleCharStream(java.io.InputStream dstream, int startline, | |
int startcolumn, int buffersize) | |
{ | |
this(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize); | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(java.io.InputStream dstream, String encoding, int startline, | |
int startcolumn) throws java.io.UnsupportedEncodingException | |
{ | |
this(dstream, encoding, startline, startcolumn, 4096); | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(java.io.InputStream dstream, int startline, | |
int startcolumn) | |
{ | |
this(dstream, startline, startcolumn, 4096); | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException | |
{ | |
this(dstream, encoding, 1, 1, 4096); | |
} | |
/** Constructor. */ | |
protected SimpleCharStream(java.io.InputStream dstream) | |
{ | |
this(dstream, 1, 1, 4096); | |
} | |
/** Reinitialise. */ | |
protected 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. */ | |
protected void reInit(java.io.InputStream dstream, int startline, | |
int startcolumn, int buffersize) | |
{ | |
reInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize); | |
} | |
/** Reinitialise. */ | |
protected void reInit(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException | |
{ | |
reInit(dstream, encoding, 1, 1, 4096); | |
} | |
/** Reinitialise. */ | |
protected void reInit(java.io.InputStream dstream) | |
{ | |
reInit(dstream, 1, 1, 4096); | |
} | |
/** Reinitialise. */ | |
protected void reInit(java.io.InputStream dstream, String encoding, int startline, | |
int startcolumn) throws java.io.UnsupportedEncodingException | |
{ | |
reInit(dstream, encoding, startline, startcolumn, 4096); | |
} | |
/** Reinitialise. */ | |
protected void reInit(java.io.InputStream dstream, int startline, | |
int startcolumn) | |
{ | |
reInit(dstream, startline, startcolumn, 4096); | |
} | |
/** Get token literal value. */ | |
protected 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); | |
} | |
/** Get the suffix. */ | |
protected 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; | |
} | |
/** Reset buffer when finished. */ | |
protected void done() | |
{ | |
buffer = null; | |
bufline = null; | |
bufcolumn = null; | |
} | |
/** | |
* Method to adjust line and column numbers for the start of a token. | |
*/ | |
protected 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]; | |
} | |
} | |
/* JavaCC - OriginalChecksum=ec4e178f3ccf05ea2ca32d15e09312ca (do not edit this line) */ |