/** * Create a scanner from the input array. This method might * modify the array. To avoid copying the input array, ensure * that {@code inputLength < input.length} or * {@code input[input.length -1]} is a white space character. * * @param fac the factory which created this Scanner * @param buf the input, might be modified * Must be positive and less than or equal to input.length. */ protected Scanner(ScannerFactory fac, CharBuffer buf) { this(fac, new JavaTokenizer(fac, buf)); }
/** * Create a scanner from the input array. This method might * modify the array. To avoid copying the input array, ensure * that {@code inputLength < input.length} or * {@code input[input.length -1]} is a white space character. * * @param fac the factory which created this Scanner * @param buf the input, might be modified * Must be positive and less than or equal to input.length. */ protected Scanner(ScannerFactory fac, CharBuffer buf) { this(fac, new JavaTokenizer(fac, buf)); }
protected Scanner(ScannerFactory fac, char[] buf, int inputLength) { this(fac, new JavaTokenizer(fac, buf, inputLength)); }
protected Scanner(ScannerFactory fac, char[] buf, int inputLength) { this(fac, new JavaTokenizer(fac, buf, inputLength)); }