XMLDocumentProvider.java
上传用户:fanxing
上传日期:2017-01-19
资源大小:36k
文件大小:1k
- /*******************************************************************************
- * Copyright (c) 2005 Prashant Deva.
-
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License - v 1.0
- * which is available at http://www.eclipse.org/legal/epl-v10.html
- *******************************************************************************/
- package projection_test.editors;
- import org.eclipse.core.runtime.CoreException;
- import org.eclipse.jface.text.IDocument;
- import org.eclipse.jface.text.IDocumentPartitioner;
- import org.eclipse.jface.text.rules.DefaultPartitioner;
- import org.eclipse.ui.editors.text.FileDocumentProvider;
- public class XMLDocumentProvider extends FileDocumentProvider {
- protected IDocument createDocument(Object element) throws CoreException {
- IDocument document = super.createDocument(element);
- if (document != null) {
- IDocumentPartitioner partitioner =
- new DefaultPartitioner(
- new XMLPartitionScanner(),
- new String[] {
- XMLPartitionScanner.XML_TAG,
- XMLPartitionScanner.XML_COMMENT });
- partitioner.connect(document);
- document.setDocumentPartitioner(partitioner);
- }
- return document;
- }
- }