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.