| public IgnorableWhitespace ( char ch, int start, int length ) : void | ||
| ch | char | an array of characters |
| start | int | the start position in the array |
| length | int | the number of characters to read from the array |
| return | void | |
public void IgnorableWhitespace(char[] ch, int start, int length) {
// do nothing: we handle white space ourselves in the characters method
}
