[jdom-interest] Character escaping

[Bradley S. Huffman]

"Alex Rosen" writes:

> P.S. Hmm, I just noticed that TODO says that Brad has a suggested
> solution. Didn't mean to step on anyone's toes. Was this on the mailing

Looks like we have basically the same thing.

Brad

package org.jdom.output;

/**
 * Mapping of characters that should be formatted as character entities.
 */
public interface CharFormat {

    /**
     * Test whether the supplied character should be formatted literally
     * or as a character entity.
     */
    public boolean asEntity(char ch);
}