yyIndex = yyStart + 1;
if (('\u0001' <= yyC) && (yyC <= '\ud7ff')) {
yyValue = null;
return new SemanticValue(yyValue, yyIndex, yyError);
}
}
// Alternative 2.
yyC = character(yyStart);
if (-1 != yyC) {
yyIndex = yyStart + 1;
if (('\ue000' <= yyC) && (yyC <= '\ufffd')) {
yyValue = null;
return new SemanticValue(yyValue, yyIndex, yyError);
}
}
// Done.
yyError = yyError.select("xml char expected", yyStart);