WodDocumentUtils.java

package org.objectstyle.wolips.wodclipse.core.util;

import java.util.List;

import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.DocumentRewriteSession;
import org.eclipse.jface.text.DocumentRewriteSessionType;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IDocumentExtension4;
import org.eclipse.text.edits.MalformedTreeException;
import org.eclipse.text.edits.MultiTextEdit;
import org.eclipse.text.edits.TextEdit;

public class WodDocumentUtils {
  public static void applyEdits(IDocument document, List<TextEdit> edits) throws MalformedTreeException, BadLocationException {
    IDocumentExtension4 doc4 = (IDocumentExtension4) document;
    DocumentRewriteSession rewriteSession = doc4.startRewriteSession(DocumentRewriteSessionType.UNRESTRICTED);
    try {
      MultiTextEdit multiEdit = new MultiTextEdit();
      for (TextEdit edit : edits) {
        multiEdit.addChild(edit);
      }
      multiEdit.apply(document);
    }
    finally {
      doc4.stopRewriteSession(rewriteSession);
    }

  }
}