public class DecimalCharacterReferenceGenerator extends java.lang.Object implements CharacterReferenceGenerator
Modifier and Type | Field and Description |
---|---|
static DecimalCharacterReferenceGenerator |
THE_INSTANCE |
Modifier and Type | Method and Description |
---|---|
void |
outputCharacterReference(int charval,
java.io.Writer writer)
Generate a character reference
|
public static final DecimalCharacterReferenceGenerator THE_INSTANCE
public void outputCharacterReference(int charval, java.io.Writer writer) throws java.io.IOException
CharacterReferenceGenerator
outputCharacterReference
in interface CharacterReferenceGenerator
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-2018 Saxonica Limited. All rights reserved.