01: /*******************************************************************************
02: * Copyright (c) 2000, 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.ui.examples.javaeditor;
11:
12: import org.eclipse.core.filebuffers.IDocumentSetupParticipant;
13:
14: import org.eclipse.jface.text.IDocument;
15: import org.eclipse.jface.text.IDocumentExtension3;
16: import org.eclipse.jface.text.IDocumentPartitioner;
17: import org.eclipse.jface.text.rules.FastPartitioner;
18:
19: /**
20: *
21: */
22: public class JavaDocumentSetupParticipant implements
23: IDocumentSetupParticipant {
24:
25: /**
26: */
27: public JavaDocumentSetupParticipant() {
28: }
29:
30: /*
31: * @see org.eclipse.core.filebuffers.IDocumentSetupParticipant#setup(org.eclipse.jface.text.IDocument)
32: */
33: public void setup(IDocument document) {
34: if (document instanceof IDocumentExtension3) {
35: IDocumentExtension3 extension3 = (IDocumentExtension3) document;
36: IDocumentPartitioner partitioner = new FastPartitioner(
37: JavaEditorExamplePlugin.getDefault()
38: .getJavaPartitionScanner(),
39: JavaPartitionScanner.JAVA_PARTITION_TYPES);
40: extension3.setDocumentPartitioner(
41: JavaEditorExamplePlugin.JAVA_PARTITIONING,
42: partitioner);
43: partitioner.connect(document);
44: }
45: }
46: }
|