Extended the builder with an index file generator for PHP class- and function-names.

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / builder / ExternalStorageDocumentProvider.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/builder/ExternalStorageDocumentProvider.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/builder/ExternalStorageDocumentProvider.java
new file mode 100644 (file)
index 0000000..ea8aae0
--- /dev/null
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/builder/ExternalStorageDocumentProvider.java
@@ -0,0 +1,59 @@
+/*
+ * Created on 06.09.2003
+ *
+ */
+package net.sourceforge.phpeclipse.builder;
+
+import java.io.ByteArrayInputStream;
+import java.io.IOException;
+import java.io.InputStream;
+
+import net.sourceforge.phpeclipse.PHPeclipsePlugin;
+
+import org.eclipse.core.runtime.CoreException;
+import org.eclipse.core.runtime.IProgressMonitor;
+import org.eclipse.core.runtime.IStatus;
+import org.eclipse.core.runtime.Status;
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.ui.editors.text.StorageDocumentProvider;
+
+/**
+ * @author ed
+ * @version 1.0, May 19, 2003
+ */
+public class ExternalStorageDocumentProvider extends StorageDocumentProvider {
+
+        /* (non-Javadoc)
+               * @see org.eclipse.ui.texteditor.AbstractDocumentProvider#doSaveDocument(org.eclipse.core.runtime.IProgressMonitor, java.lang.Object, org.eclipse.jface.text.IDocument, boolean)
+               */
+        protected void doSaveDocument(IProgressMonitor monitor, Object element, IDocument document, boolean overwrite)
+                       throws CoreException {
+                       if (element instanceof ExternalEditorInput) {
+                                ExternalEditorInput external = (ExternalEditorInput) element;
+                                FileStorage storage = (FileStorage)external.getStorage();
+                                String encoding = getEncoding(element);
+                                if (encoding == null)
+                                               encoding = getDefaultEncoding();
+                                try {
+                                               InputStream stream = new ByteArrayInputStream(document.get().getBytes(encoding));
+                                               try {
+                                                        // inform about the upcoming content change
+                                                        fireElementStateChanging(element);
+                                                        storage.setContents(stream, overwrite, true, monitor);
+                                               } catch (RuntimeException e) {
+                                                        // inform about failure
+                                                        fireElementStateChangeFailed(element);
+                                                        throw e;
+                                               }
+                                } catch (IOException e) {
+                                               IStatus s = new Status(IStatus.ERROR, PHPeclipsePlugin.PLUGIN_ID, IStatus.OK, e.getMessage(), e);
+                                               throw new CoreException(s);
+                                }
+
+                       } else {
+                                super.doSaveDocument(monitor, element, document, overwrite);
+                       }
+        }
+
+}
+