Just remember to check separately for
* |'\u0009'|, HORIZONTAL TABULATION.
* |'\u000A'|, LINE FEED.
* |'\u000B'|, VERTICAL TABULATION.
* |'\u000C'|, FORM FEED.
* |'\u000D'|, CARRIAGE RETURN.
* |'\u001C'|, FILE SEPARATOR.
* |'\u001D'|, GROUP SEPARATOR.
* |'\u001E'|, RECORD SEPARATOR.
* |'\u001F'|, UNIT SEPARATOR.
that DO NOT belong to Unicode space characters.
Character.isSpaceChar('\t') returns false.
I don't know which one is faster and simpler ..
adding non-breaking space to isWhitespace or adding the above mentioned
9 characters to isSpaceChar ?
- rami
On 26.6.2011 18:04, Thomas Mueller wrote:
Hi,
I see. I will use isSpaceChar instead of isWhitespace.
Regards,
Thomas
--
You received this message because you are subscribed to the Google Groups "H2
Database" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/h2-database?hl=en.
