Searched refs:buffer_size (Results 1 – 1 of 1) sorted by relevance
41 private int buffer_size = 256; field in Scanner.CharBuffer42 private char[] buffer = new char[buffer_size];46 char tmp[] = new char[buffer_size * 2]; in expand()47 System.arraycopy(buffer, 0, tmp, 0, buffer_size); in expand()48 buffer_size *= 2; in expand()55 if (cur_pos == buffer_size) expand(); in add()