* Signals that an I/O exception has occurred.
*/
@SuppressWarnings("null")
public void write(@Nonnull Frame frame, @Nonnull BufferedWriter writer,
@Nullable NameProvider nameProvider) throws IOException {
StringComparator comparator = null;
if (frame.getType() == FrameType.TERM) {
writeLine("[Term]", writer);
comparator = TermsTagsComparator.INSTANCE;
} else if (frame.getType() == FrameType.TYPEDEF) {
writeLine("[Typedef]", writer);