Docjar: com/port80/eclipse/xml/editors/XMLDocumentProvider.java

Home >> All >> com >> port80 >> eclipse >> xml >> [ editors Javadoc ]

Source code: com/port80/eclipse/xml/editors/XMLDocumentProvider.java

1   package com.port80.eclipse.xml.editors;
2   
3   import org.eclipse.core.runtime.CoreException;
4   import org.eclipse.jface.text.IDocument;
5   import org.eclipse.jface.text.IDocumentPartitioner;
6   import org.eclipse.jface.text.rules.DefaultPartitioner;
7   import org.eclipse.ui.editors.text.FileDocumentProvider;
8   
9   import com.port80.eclipse.editors.EditorsPlugin;
10  import com.port80.eclipse.editors.ThemeManager;
11  
12  public class XMLDocumentProvider extends FileDocumentProvider {
13  
14    /**
15     * Constructor for XMLDocumentProvider.
16     */
17    public XMLDocumentProvider() {
18      super();
19    }
20  
21    /* (non-Javadoc)
22     * Method declared on AbstractDocumentProvider
23     */
24    protected IDocument createDocument(Object element) throws CoreException {
25      IDocument document = super.createDocument(element);
26      ThemeManager manager = EditorsPlugin.getThemeManager();
27      if (document != null) {
28        IDocumentPartitioner partitioner =
29          new DefaultPartitioner(
30            new XMLPartitionScanner(manager),
31            XMLEditorConfiguration.PARITION_TYPES);
32        partitioner.connect(document);
33        document.setDocumentPartitioner(partitioner);
34      }
35      return document;
36    }
37  }