/******************************************************************************* * Copyright (c) 2000, 2010 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.che.ide.ext.java.jdt.refactoring; import org.eclipse.che.ide.ext.java.jdt.text.Document; import org.eclipse.che.ide.ext.java.jdt.text.edits.MalformedTreeException; import org.eclipse.che.ide.ext.java.jdt.text.edits.TextEdit; import org.eclipse.che.ide.ext.java.jdt.text.edits.UndoEdit; import org.eclipse.che.ide.runtime.CoreException; import org.eclipse.che.ide.api.text.BadLocationException; public class UndoDocumentChange extends Change { private String fName; private UndoEdit fUndo; private Document fDocument; private int fLength; public UndoDocumentChange(String name, Document document, UndoEdit undo) { fName = name; fUndo = undo; fDocument = document; } /** {@inheritDoc} */ public String getName() { return fName; } /** {@inheritDoc} */ public Object getModifiedElement() { return null; } /** {@inheritDoc} */ public void initializeValidationData() { fLength = fDocument.getLength(); } /** {@inheritDoc} */ public RefactoringStatus isValid() throws CoreException { RefactoringStatus result = TextChanges.isValid(fDocument, fLength); return result; } /** {@inheritDoc} */ public Change perform() throws CoreException { try { UndoEdit redo = performEdits(); Change result = new UndoDocumentChange(getName(), fDocument, redo); return result; } catch (MalformedTreeException e) { throw Changes.asCoreException(e); } catch (BadLocationException e) { throw Changes.asCoreException(e); } } private UndoEdit performEdits() throws BadLocationException, MalformedTreeException { // ITextFileBufferManager fileBufferManager= FileBuffers.getTextFileBufferManager(); // // ITextFileBuffer fileBuffer= fileBufferManager.getTextFileBuffer(fDocument); // if (fileBuffer == null || ! fileBuffer.isSynchronizationContextRequested()) { //TODO return fUndo.apply(fDocument, TextEdit.CREATE_UNDO); // } // // /** The lock for waiting for computation in the UI thread to complete. */ // final Lock completionLock= new Lock(); // final UndoEdit[] result= new UndoEdit[1]; // final BadLocationException[] exception= new BadLocationException[1]; // Runnable runnable= new Runnable() { // public void run() { // synchronized (completionLock) { // try { // result[0]= fUndo.apply(fDocument, TextEdit.CREATE_UNDO); // } catch (BadLocationException e) { // exception[0]= e; // } finally { // completionLock.fDone= true; // completionLock.notifyAll(); // } // } // } // }; // // synchronized (completionLock) { // fileBufferManager.execute(runnable); // while (! completionLock.fDone) { // try { // completionLock.wait(500); // } catch (InterruptedException x) { // } // } // } // // if (exception[0] != null) { // throw exception[0]; // } // // return result[0]; } }