private final void shiftIgnoredTokens() {
	if (streamPosition == getTokenStream().size()) {
	    return;
	}
	Token token = getTokenStream().get(streamPosition);
	while (token.getVisibility() == Visibility.IGNORED) {
	    streamPosition++;
	    if (streamPosition == getTokenStream().size()) {
		break;
	    }
	    token = getTokenStream().get(streamPosition);
	}
    }
private final void shiftIgnoredTokens ( ) { if ( streamPosition == getTokenStream ( ) . size ( ) ) { return ; } Token token = getTokenStream ( ) . get ( streamPosition ) ; while ( token . getVisibility ( ) == Visibility . IGNORED ) { streamPosition ++ ; if ( streamPosition == getTokenStream ( ) . size ( ) ) { break ; } token = getTokenStream ( ) . get ( streamPosition ) ; } }
This method treats all ignored tokens during a shift. The ignored tokens are
just skipped by moving the stream position variable forward.