Lines Matching refs:buffersize
258 int startcolumn, int buffersize)
264 available = bufsize = buffersize;
265 buffer = new char[buffersize];
266 bufline = new int[buffersize];
267 bufcolumn = new int[buffersize];
281 int startcolumn, int buffersize)
287 if (buffer == null || buffersize != buffer.length)
289 available = bufsize = buffersize;
290 buffer = new char[buffersize];
291 bufline = new int[buffersize];
292 bufcolumn = new int[buffersize];
310 int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
312 this(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
316 int startcolumn, int buffersize)
318 this(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
344 int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
346 ReInit(encoding == null ? new java.io.InputStreamReader(dstream) : new java.io.InputStreamReader(dstream, encoding), startline, startcolumn, buffersize);
350 int startcolumn, int buffersize)
352 ReInit(new java.io.InputStreamReader(dstream), startline, startcolumn, buffersize);
