net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/WorkingCopyManager.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2003 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Common Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11
  12 package net.sourceforge.phpeclipse.phpeditor;
  13
  14
  15 import java.util.HashMap;
  16 import java.util.Map;
  17
  18 import org.eclipse.core.runtime.CoreException;
  19
  20 import org.eclipse.jface.text.Assert;
  21
  22 import org.eclipse.ui.IEditorInput;
  23
  24 import net.sourceforge.phpdt.core.ICompilationUnit;
  25
  26 import net.sourceforge.phpdt.ui.IWorkingCopyManager;
  27 import net.sourceforge.phpdt.ui.IWorkingCopyManagerExtension;
  28
  29
  30 /**
  31  * This working copy manager works together with a given compilation unit document provider and
  32  * additionally offers to "overwrite" the working copy provided by this document provider.
  33  */
  34 public class WorkingCopyManager implements IWorkingCopyManager, IWorkingCopyManagerExtension {
  35
  36         private PHPDocumentProvider fDocumentProvider;
  37         private Map fMap;
  38         private boolean fIsShuttingDown;
  39
  40         /**
  41          * Creates a new working copy manager that co-operates with the given
  42          * compilation unit document provider.
  43          *
  44          * @param provider the provider
  45          */
  46         public WorkingCopyManager(PHPDocumentProvider provider) {
  47                 Assert.isNotNull(provider);
  48                 fDocumentProvider= provider;
  49         }
  50
  51         /*
  52          * @see org.eclipse.jdt.ui.IWorkingCopyManager#connect(org.eclipse.ui.IEditorInput)
  53          */
  54         public void connect(IEditorInput input) throws CoreException {
  55                 fDocumentProvider.connect(input);
  56         }
  57
  58         /*
  59          * @see org.eclipse.jdt.ui.IWorkingCopyManager#disconnect(org.eclipse.ui.IEditorInput)
  60          */
  61         public void disconnect(IEditorInput input) {
  62                 fDocumentProvider.disconnect(input);
  63         }
  64
  65         /*
  66          * @see org.eclipse.jdt.ui.IWorkingCopyManager#shutdown()
  67          */
  68         public void shutdown() {
  69                 if (!fIsShuttingDown) {
  70                         fIsShuttingDown= true;
  71                         try {
  72                                 if (fMap != null) {
  73                                         fMap.clear();
  74                                         fMap= null;
  75                                 }
  76                                 fDocumentProvider.shutdown();
  77                         } finally {
  78                                 fIsShuttingDown= false;
  79                         }
  80                 }
  81         }
  82
  83         /*
  84          * @see org.eclipse.jdt.ui.IWorkingCopyManager#getWorkingCopy(org.eclipse.ui.IEditorInput)
  85          */
  86         public ICompilationUnit getWorkingCopy(IEditorInput input) {
  87                 ICompilationUnit unit= fMap == null ? null : (ICompilationUnit) fMap.get(input);
  88                 return unit != null ? unit : fDocumentProvider.getWorkingCopy(input);
  89         }
  90
  91         /*
  92          * @see org.eclipse.jdt.internal.ui.javaeditor.IWorkingCopyManagerExtension#setWorkingCopy(org.eclipse.ui.IEditorInput, org.eclipse.jdt.core.ICompilationUnit)
  93          */
  94         public void setWorkingCopy(IEditorInput input, ICompilationUnit workingCopy) {
  95                 if (fDocumentProvider.getDocument(input) != null) {
  96                         if (fMap == null)
  97                                 fMap= new HashMap();
  98                         fMap.put(input, workingCopy);
  99                 }
 100         }
 101         /*
 102          * @see org.eclipse.jdt.internal.ui.javaeditor.IWorkingCopyManagerExtension#removeWorkingCopy(org.eclipse.ui.IEditorInput)
 103          */
 104         public void removeWorkingCopy(IEditorInput input) {
 105                 fMap.remove(input);
 106                 if (fMap.isEmpty())
 107                         fMap= null;
 108         }
 109 }