public interface CharacterReferenceGenerator
| Modifier and Type | Method and Description |
|---|---|
void |
outputCharacterReference(int charval,
java.io.Writer writer)
Generate a character reference
|
void outputCharacterReference(int charval,
java.io.Writer writer)
throws java.io.IOException
charval - the unicode code point of the character concernedwriter - the Writer to which the character reference is to be writtenjava.io.IOException - if the Writer reports an errorCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.