private static int skipPatternWhiteSpace ( String text , int pos ) { while ( pos < text . length ( ) ) { int c = UTF16 . charAt ( text , pos ) ; if ( ! PatternProps . isWhiteSpace ( c ) ) { break ; } pos += UTF16 . getCharCount ( c ) ; } return pos ; }
Skips over a run of zero or more Pattern_White_Space characters at pos in text .