XMLDocumentProvider.java
上传用户:fanxing
上传日期:2017-01-19
资源大小:36k
文件大小:1k
源码类别:

PlugIns编程

开发平台:

Java

  1. /*******************************************************************************
  2.  * Copyright (c) 2005 Prashant Deva.
  3.  
  4.  * All rights reserved. This program and the accompanying materials 
  5.  * are made available under the terms of the Eclipse Public License - v 1.0
  6.  * which is available at http://www.eclipse.org/legal/epl-v10.html
  7. *******************************************************************************/
  8. package projection_test.editors;
  9. import org.eclipse.core.runtime.CoreException;
  10. import org.eclipse.jface.text.IDocument;
  11. import org.eclipse.jface.text.IDocumentPartitioner;
  12. import org.eclipse.jface.text.rules.DefaultPartitioner;
  13. import org.eclipse.ui.editors.text.FileDocumentProvider;
  14. public class XMLDocumentProvider extends FileDocumentProvider {
  15. protected IDocument createDocument(Object element) throws CoreException {
  16. IDocument document = super.createDocument(element);
  17. if (document != null) {
  18. IDocumentPartitioner partitioner =
  19. new DefaultPartitioner(
  20. new XMLPartitionScanner(),
  21. new String[] {
  22. XMLPartitionScanner.XML_TAG,
  23. XMLPartitionScanner.XML_COMMENT });
  24. partitioner.connect(document);
  25. document.setDocumentPartitioner(partitioner);
  26. }
  27. return document;
  28. }
  29. }