/** Inserts content from the given stream. */ public void read(Reader in, Document doc, int pos) throws IOException, BadLocationException { if (doc instanceof BaseDocument) { ((BaseDocument) doc).read(in, pos); // delegate it to document } else { super.read(in, doc, pos); } }
/** Inserts content from the given stream. */ public void read(Reader in, Document doc, int pos) throws IOException, BadLocationException { if (doc instanceof BaseDocument) { ((BaseDocument)doc).read(in, pos); // delegate it to document } else { super.read(in, doc, pos); } }