Coverage Report

Coverage Report - org.apache.commons.configuration.plist.SimpleCharStream

Classes in this File

Line Coverage

Branch Coverage

Complexity

SimpleCharStream

36%

70/194

32%

20/62

2,083

 /* Generated By:JavaCC: Do not edit this line. SimpleCharStream.java Version 5.0 */
 /* JavaCCOptions:STATIC=false,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
 package org.apache.commons.configuration.plist;
 
 /**
  * An implementation of interface CharStream, where the stream is assumed to
  * contain only ASCII characters (without unicode processing).
  */
 
 public class SimpleCharStream
 {
 /** Whether parser is static. */
   public static final boolean staticFlag = false;
   int bufsize;
   int available;
   int tokenBegin;
 /** Position in buffer. */
   public 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. */
   public 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. */
   public 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
    */
 
   public int getColumn() {
     return bufcolumn[bufpos];
   }
 
   @Deprecated
   /**
    * @deprecated
    * @see #getEndLine
    */
 
   public int getLine() {
     return bufline[bufpos];
   }
 
   /** Get token end column number. */
   public int getEndColumn() {
     return bufcolumn[bufpos];
   }
 
   /** Get token end line number. */
   public int getEndLine() {
      return bufline[bufpos];
   }
 
   /** Get token beginning column number. */
   public int getBeginColumn() {
     return bufcolumn[tokenBegin];
   }
 
   /** Get token beginning line number. */
   public int getBeginLine() {
     return bufline[tokenBegin];
   }
 
 /** Backup a number of characters. */
   public void backup(int amount) {
 
     inBuf += amount;
     if ((bufpos -= amount) < 0)
       bufpos += bufsize;
   }
 
   /** Constructor. */
   public 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. */
   public SimpleCharStream(java.io.Reader dstream, int startline,
                           int startcolumn)
   {
     this(dstream, startline, startcolumn, 4096);
   }
 
   /** Constructor. */
   public SimpleCharStream(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];
     }
     prevCharIsLF = prevCharIsCR = false;
     tokenBegin = inBuf = maxNextCharInd = 0;
     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 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. */
   public SimpleCharStream(java.io.InputStream dstream, int startline,
   int startcolumn, int buffersize)
   {
     this(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
   }
 
   /** Constructor. */
   public SimpleCharStream(java.io.InputStream dstream, String encoding, int startline,
                           int startcolumn) throws java.io.UnsupportedEncodingException
   {
     this(dstream, encoding, startline, startcolumn, 4096);
   }
 
   /** Constructor. */
   public SimpleCharStream(java.io.InputStream dstream, int startline,
                           int startcolumn)
   {
     this(dstream, startline, startcolumn, 4096);
   }
 
   /** Constructor. */
   public SimpleCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
   {
     this(dstream, encoding, 1, 1, 4096);
   }
 
   /** Constructor. */
   public SimpleCharStream(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) throws java.io.UnsupportedEncodingException
   {
     ReInit(dstream, encoding, 1, 1, 4096);
   }
 
   /** Reinitialise. */
   public void ReInit(java.io.InputStream dstream)
   {
     ReInit(dstream, 1, 1, 4096);
   }
   /** 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);
   }
   /** Get token literal value. */
   public 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. */
   public 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. */
   public void Done()
   {
     buffer = null;
     bufline = null;
     bufcolumn = null;
   }
 
   /**
    * Method to adjust line and column numbers for the start of a token.
    */
   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];
   }
 
 }
 /* JavaCC - OriginalChecksum=cd1a6fa91b0b3f3bb75dea41829e8ab4 (do not edit this line) */

1		/* Generated By:JavaCC: Do not edit this line. SimpleCharStream.java Version 5.0 */
2		/* JavaCCOptions:STATIC=false,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
3		package org.apache.commons.configuration.plist;
4
5		/**
6		* An implementation of interface CharStream, where the stream is assumed to
7		* contain only ASCII characters (without unicode processing).
8		*/
9
10		public class SimpleCharStream
11		{
12		/** Whether parser is static. */
13		public static final boolean staticFlag = false;
14		int bufsize;
15		int available;
16		int tokenBegin;
17		/** Position in buffer. */
18	32	public int bufpos = -1;
19		protected int bufline[];
20		protected int bufcolumn[];
21
22	32	protected int column = 0;
23	32	protected int line = 1;
24
25	32	protected boolean prevCharIsCR = false;
26	32	protected boolean prevCharIsLF = false;
27
28		protected java.io.Reader inputStream;
29
30		protected char[] buffer;
31	32	protected int maxNextCharInd = 0;
32	32	protected int inBuf = 0;
33	32	protected int tabSize = 8;
34
35	0	protected void setTabSize(int i) { tabSize = i; }
36	0	protected int getTabSize(int i) { return tabSize; }
37
38
39		protected void ExpandBuff(boolean wrapAround)
40		{
41	0	char[] newbuffer = new char[bufsize + 2048];
42	0	int newbufline[] = new int[bufsize + 2048];
43	0	int newbufcolumn[] = new int[bufsize + 2048];
44
45		try
46		{
47	0	if (wrapAround)
48		{
49	0	System.arraycopy(buffer, tokenBegin, newbuffer, 0, bufsize - tokenBegin);
50	0	System.arraycopy(buffer, 0, newbuffer, bufsize - tokenBegin, bufpos);
51	0	buffer = newbuffer;
52
53	0	System.arraycopy(bufline, tokenBegin, newbufline, 0, bufsize - tokenBegin);
54	0	System.arraycopy(bufline, 0, newbufline, bufsize - tokenBegin, bufpos);
55	0	bufline = newbufline;
56
57	0	System.arraycopy(bufcolumn, tokenBegin, newbufcolumn, 0, bufsize - tokenBegin);
58	0	System.arraycopy(bufcolumn, 0, newbufcolumn, bufsize - tokenBegin, bufpos);
59	0	bufcolumn = newbufcolumn;
60
61	0	maxNextCharInd = (bufpos += (bufsize - tokenBegin));
62		}
63		else
64		{
65	0	System.arraycopy(buffer, tokenBegin, newbuffer, 0, bufsize - tokenBegin);
66	0	buffer = newbuffer;
67
68	0	System.arraycopy(bufline, tokenBegin, newbufline, 0, bufsize - tokenBegin);
69	0	bufline = newbufline;
70
71	0	System.arraycopy(bufcolumn, tokenBegin, newbufcolumn, 0, bufsize - tokenBegin);
72	0	bufcolumn = newbufcolumn;
73
74	0	maxNextCharInd = (bufpos -= tokenBegin);
75		}
76		}
77	0	catch (Throwable t)
78		{
79	0	throw new Error(t.getMessage());
80	0	}
81
82
83	0	bufsize += 2048;
84	0	available = bufsize;
85	0	tokenBegin = 0;
86	0	}
87
88		protected void FillBuff() throws java.io.IOException
89		{
90	78	if (maxNextCharInd == available)
91		{
92	0	if (available == bufsize)
93		{
94	0	if (tokenBegin > 2048)
95		{
96	0	bufpos = maxNextCharInd = 0;
97	0	available = tokenBegin;
98		}
99	0	else if (tokenBegin < 0)
100	0	bufpos = maxNextCharInd = 0;
101		else
102	0	ExpandBuff(false);
103		}
104	0	else if (available > tokenBegin)
105	0	available = bufsize;
106	0	else if ((tokenBegin - available) < 2048)
107	0	ExpandBuff(true);
108		else
109	0	available = tokenBegin;
110		}
111
112		int i;
113		try {
114	78	if ((i = inputStream.read(buffer, maxNextCharInd, available - maxNextCharInd)) == -1)
115		{
116	28	inputStream.close();
117	28	throw new java.io.IOException();
118		}
119		else
120	27	maxNextCharInd += i;
121	27	return;
122		}
123	51	catch(java.io.IOException e) {
124	51	--bufpos;
125	51	backup(0);
126	51	if (tokenBegin == -1)
127	51	tokenBegin = bufpos;
128	51	throw e;
129		}
130		}
131
132		/** Start. */
133		public char BeginToken() throws java.io.IOException
134		{
135	11257	tokenBegin = -1;
136	11257	char c = readChar();
137	11206	tokenBegin = bufpos;
138
139	11206	return c;
140		}
141
142		protected void UpdateLineColumn(char c)
143		{
144	38863	column++;
145
146	38863	if (prevCharIsLF)
147		{
148	1445	prevCharIsLF = false;
149	1445	line += (column = 1);
150		}
151	37418	else if (prevCharIsCR)
152		{
153	1468	prevCharIsCR = false;
154	1468	if (c == '\n')
155		{
156	1468	prevCharIsLF = true;
157		}
158		else
159	0	line += (column = 1);
160		}
161
162	38863	switch (c)
163		{
164		case '\r' :
165	1468	prevCharIsCR = true;
166	1468	break;
167		case '\n' :
168	1468	prevCharIsLF = true;
169	1468	break;
170		case '\t' :
171	0	column--;
172	0	column += (tabSize - (column % tabSize));
173	0	break;
174		default :
175		break;
176		}
177
178	38863	bufline[bufpos] = line;
179	38863	bufcolumn[bufpos] = column;
180	38863	}
181
182		/** Read a character. */
183		public char readChar() throws java.io.IOException
184		{
185	40004	if (inBuf > 0)
186		{
187	1090	--inBuf;
188
189	1090	if (++bufpos == bufsize)
190	0	bufpos = 0;
191
192	1090	return buffer[bufpos];
193		}
194
195	38914	if (++bufpos >= maxNextCharInd)
196	78	FillBuff();
197
198	38863	char c = buffer[bufpos];
199
200	38863	UpdateLineColumn(c);
201	38863	return c;
202		}
203
204		@Deprecated
205		/**
206		* @deprecated
207		* @see #getEndColumn
208		*/
209
210		public int getColumn() {
211	0	return bufcolumn[bufpos];
212		}
213
214		@Deprecated
215		/**
216		* @deprecated
217		* @see #getEndLine
218		*/
219
220		public int getLine() {
221	0	return bufline[bufpos];
222		}
223
224		/** Get token end column number. */
225		public int getEndColumn() {
226	2794	return bufcolumn[bufpos];
227		}
228
229		/** Get token end line number. */
230		public int getEndLine() {
231	2794	return bufline[bufpos];
232		}
233
234		/** Get token beginning column number. */
235		public int getBeginColumn() {
236	2794	return bufcolumn[tokenBegin];
237		}
238
239		/** Get token beginning line number. */
240		public int getBeginLine() {
241	2794	return bufline[tokenBegin];
242		}
243
244		/** Backup a number of characters. */
245		public void backup(int amount) {
246
247	3953	inBuf += amount;
248	3953	if ((bufpos -= amount) < 0)
249	1	bufpos += bufsize;
250	3953	}
251
252		/** Constructor. */
253		public SimpleCharStream(java.io.Reader dstream, int startline,
254		int startcolumn, int buffersize)
255	32	{
256	32	inputStream = dstream;
257	32	line = startline;
258	32	column = startcolumn - 1;
259
260	32	available = bufsize = buffersize;
261	32	buffer = new char[buffersize];
262	32	bufline = new int[buffersize];
263	32	bufcolumn = new int[buffersize];
264	32	}
265
266		/** Constructor. */
267		public SimpleCharStream(java.io.Reader dstream, int startline,
268		int startcolumn)
269		{
270	32	this(dstream, startline, startcolumn, 4096);
271	32	}
272
273		/** Constructor. */
274		public SimpleCharStream(java.io.Reader dstream)
275		{
276	0	this(dstream, 1, 1, 4096);
277	0	}
278
279		/** Reinitialise. */
280		public void ReInit(java.io.Reader dstream, int startline,
281		int startcolumn, int buffersize)
282		{
283	0	inputStream = dstream;
284	0	line = startline;
285	0	column = startcolumn - 1;
286
287	0	if (buffer == null \|\| buffersize != buffer.length)
288		{
289	0	available = bufsize = buffersize;
290	0	buffer = new char[buffersize];
291	0	bufline = new int[buffersize];
292	0	bufcolumn = new int[buffersize];
293		}
294	0	prevCharIsLF = prevCharIsCR = false;
295	0	tokenBegin = inBuf = maxNextCharInd = 0;
296	0	bufpos = -1;
297	0	}
298
299		/** Reinitialise. */
300		public void ReInit(java.io.Reader dstream, int startline,
301		int startcolumn)
302		{
303	0	ReInit(dstream, startline, startcolumn, 4096);
304	0	}
305
306		/** Reinitialise. */
307		public void ReInit(java.io.Reader dstream)
308		{
309	0	ReInit(dstream, 1, 1, 4096);
310	0	}
311		/** Constructor. */
312		public SimpleCharStream(java.io.InputStream dstream, String encoding, int startline,
313		int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
314		{
315	0	this(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
316	0	}
317
318		/** Constructor. */
319		public SimpleCharStream(java.io.InputStream dstream, int startline,
320		int startcolumn, int buffersize)
321		{
322	0	this(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
323	0	}
324
325		/** Constructor. */
326		public SimpleCharStream(java.io.InputStream dstream, String encoding, int startline,
327		int startcolumn) throws java.io.UnsupportedEncodingException
328		{
329	0	this(dstream, encoding, startline, startcolumn, 4096);
330	0	}
331
332		/** Constructor. */
333		public SimpleCharStream(java.io.InputStream dstream, int startline,
334		int startcolumn)
335		{
336	0	this(dstream, startline, startcolumn, 4096);
337	0	}
338
339		/** Constructor. */
340		public SimpleCharStream(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
341		{
342	0	this(dstream, encoding, 1, 1, 4096);
343	0	}
344
345		/** Constructor. */
346		public SimpleCharStream(java.io.InputStream dstream)
347		{
348	0	this(dstream, 1, 1, 4096);
349	0	}
350
351		/** Reinitialise. */
352		public void ReInit(java.io.InputStream dstream, String encoding, int startline,
353		int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
354		{
355	0	ReInit(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
356	0	}
357
358		/** Reinitialise. */
359		public void ReInit(java.io.InputStream dstream, int startline,
360		int startcolumn, int buffersize)
361		{
362	0	ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
363	0	}
364
365		/** Reinitialise. */
366		public void ReInit(java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException
367		{
368	0	ReInit(dstream, encoding, 1, 1, 4096);
369	0	}
370
371		/** Reinitialise. */
372		public void ReInit(java.io.InputStream dstream)
373		{
374	0	ReInit(dstream, 1, 1, 4096);
375	0	}
376		/** Reinitialise. */
377		public void ReInit(java.io.InputStream dstream, String encoding, int startline,
378		int startcolumn) throws java.io.UnsupportedEncodingException
379		{
380	0	ReInit(dstream, encoding, startline, startcolumn, 4096);
381	0	}
382		/** Reinitialise. */
383		public void ReInit(java.io.InputStream dstream, int startline,
384		int startcolumn)
385		{
386	0	ReInit(dstream, startline, startcolumn, 4096);
387	0	}
388		/** Get token literal value. */
389		public String GetImage()
390		{
391	1027	if (bufpos >= tokenBegin)
392	1027	return new String(buffer, tokenBegin, bufpos - tokenBegin + 1);
393		else
394	0	return new String(buffer, tokenBegin, bufsize - tokenBegin) +
395		new String(buffer, 0, bufpos + 1);
396		}
397
398		/** Get the suffix. */
399		public char[] GetSuffix(int len)
400		{
401	0	char[] ret = new char[len];
402
403	0	if ((bufpos + 1) >= len)
404	0	System.arraycopy(buffer, bufpos - len + 1, ret, 0, len);
405		else
406		{
407	0	System.arraycopy(buffer, bufsize - (len - bufpos - 1), ret, 0,
408		len - bufpos - 1);
409	0	System.arraycopy(buffer, 0, ret, len - bufpos - 1, bufpos + 1);
410		}
411
412	0	return ret;
413		}
414
415		/** Reset buffer when finished. */
416		public void Done()
417		{
418	0	buffer = null;
419	0	bufline = null;
420	0	bufcolumn = null;
421	0	}
422
423		/**
424		* Method to adjust line and column numbers for the start of a token.
425		*/
426		public void adjustBeginLineColumn(int newLine, int newCol)
427		{
428	0	int start = tokenBegin;
429		int len;
430
431	0	if (bufpos >= tokenBegin)
432		{
433	0	len = bufpos - tokenBegin + inBuf + 1;
434		}
435		else
436		{
437	0	len = bufsize - tokenBegin + bufpos + 1 + inBuf;
438		}
439
440	0	int i = 0, j = 0, k = 0;
441	0	int nextColDiff = 0, columnDiff = 0;
442
443	0	while (i < len && bufline[j = start % bufsize] == bufline[k = ++start % bufsize])
444		{
445	0	bufline[j] = newLine;
446	0	nextColDiff = columnDiff + bufcolumn[k] - bufcolumn[j];
447	0	bufcolumn[j] = newCol + columnDiff;
448	0	columnDiff = nextColDiff;
449	0	i++;
450		}
451
452	0	if (i < len)
453		{
454	0	bufline[j] = newLine++;
455	0	bufcolumn[j] = newCol + columnDiff;
456
457	0	while (i++ < len)
458		{
459	0	if (bufline[j = start % bufsize] != bufline[++start % bufsize])
460	0	bufline[j] = newLine++;
461		else
462	0	bufline[j] = newLine;
463		}
464		}
465
466	0	line = bufline[j];
467	0	column = bufcolumn[j];
468	0	}
469
470		}
471		/* JavaCC - OriginalChecksum=cd1a6fa91b0b3f3bb75dea41829e8ab4 (do not edit this line) */