1 /*******************************************************************************
2  *  Copyright (c) 2005, 2015 IBM Corporation and others.
3  *
4  *  This program and the accompanying materials
5  *  are made available under the terms of the Eclipse Public License 2.0
6  *  which accompanies this distribution, and is available at
7  *  https://www.eclipse.org/legal/epl-2.0/
8  *
9  *  SPDX-License-Identifier: EPL-2.0
10  *
11  *  Contributors:
12  *     IBM Corporation - initial API and implementation
13  *******************************************************************************/
14 package org.eclipse.pde.internal.ui.editor.context;
15 
16 import org.eclipse.core.filebuffers.IDocumentSetupParticipant;
17 import org.eclipse.jface.text.*;
18 import org.eclipse.jface.text.rules.FastPartitioner;
19 import org.eclipse.pde.internal.ui.editor.text.XMLPartitionScanner;
20 import org.eclipse.pde.internal.ui.editor.text.XMLStringPartitionScanner;
21 
22 /**
23  * Creates and sets up the document partitioner
24  *
25  */
26 public class XMLDocumentSetupParticpant implements IDocumentSetupParticipant {
27 
28 	public static final String XML_PARTITIONING = "_pde_xml_partitioning"; //$NON-NLS-1$
29 
30 	@Override
setup(IDocument document)31 	public void setup(IDocument document) {
32 		IDocumentPartitioner partitioner = createDocumentPartitioner();
33 		if (partitioner != null) {
34 			partitioner.connect(document);
35 			if (document instanceof IDocumentExtension3) {
36 				IDocumentExtension3 de3 = (IDocumentExtension3) document;
37 				de3.setDocumentPartitioner(XML_PARTITIONING, partitioner);
38 				partitioner = new FastPartitioner(new XMLStringPartitionScanner(), XMLStringPartitionScanner.STRING_PARTITIONS);
39 				partitioner.connect(document);
40 				de3.setDocumentPartitioner(XMLStringPartitionScanner.XML_STRING, partitioner);
41 			} else {
42 				document.setDocumentPartitioner(partitioner);
43 			}
44 		}
45 	}
46 
createDocumentPartitioner()47 	private IDocumentPartitioner createDocumentPartitioner() {
48 		return new FastPartitioner(new XMLPartitionScanner(), XMLPartitionScanner.PARTITIONS);
49 	}
50 
51 }
52