void (String message) { DocumentEx document = getDocument(); RangeMarkerTree.RMNode<RangeMarkerEx> node = myHighlighter instanceof RangeHighlighterImpl ? ((RangeHighlighterImpl)myHighlighter).myNode : null; LOG.error(message, new Attachment("document.txt", document instanceof DocumentImpl ? ((DocumentImpl)document).dumpState() : "" ), new Attachment("originalTree.txt", node == null ? "" : node.getTree().dumpState()), new Attachment("mirrorTree.txt", myNode.getTree().dumpState())); }