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

   1 /**********************************************************************
   2 Copyright (c) 2000, 2003 IBM Corp. 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 implementation
  10 **********************************************************************/
  11 package net.sourceforge.phpeclipse.phpeditor;
  12
  13 import net.sourceforge.phpdt.internal.ui.text.IPHPPartitions;
  14 import net.sourceforge.phpdt.ui.text.JavaTextTools;
  15 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
  16
  17 import org.eclipse.jface.text.IDocument;
  18 import org.eclipse.ui.editors.text.StorageDocumentProvider;
  19
  20 /**
  21  * @since 3.0
  22  */
  23 public class JavaStorageDocumentProvider extends StorageDocumentProvider {
  24
  25         public JavaStorageDocumentProvider() {
  26                 super();
  27         }
  28
  29         /*
  30          * @see org.eclipse.ui.editors.text.StorageDocumentProvider#setupDocument(java.lang.Object, org.eclipse.jface.text.IDocument)
  31          */
  32         protected void setupDocument(Object element, IDocument document) {
  33
  34                 if (document != null) {
  35                         JavaTextTools tools= PHPeclipsePlugin.getDefault().getJavaTextTools();
  36                         tools.setupJavaDocumentPartitioner(document, IPHPPartitions.HTML, element);
  37                 }
  38         }
  39 }