KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > ui > text > IJavaPartitions


1 /*******************************************************************************
2  * Copyright (c) 2000, 2005 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.jdt.ui.text;
12
13 /**
14  * Definition of Java partitioning and its partitions.
15  *
16  * @since 3.1
17  */
18 public interface IJavaPartitions {
19
20     /**
21      * The identifier of the Java partitioning.
22      */
23     String JavaDoc JAVA_PARTITIONING= "___java_partitioning"; //$NON-NLS-1$
24
25     /**
26      * The identifier of the single-line (JLS2: EndOfLineComment) end comment partition content type.
27      */
28     String JavaDoc JAVA_SINGLE_LINE_COMMENT= "__java_singleline_comment"; //$NON-NLS-1$
29
30     /**
31      * The identifier multi-line (JLS2: TraditionalComment) comment partition content type.
32      */
33     String JavaDoc JAVA_MULTI_LINE_COMMENT= "__java_multiline_comment"; //$NON-NLS-1$
34
35     /**
36      * The identifier of the Javadoc (JLS2: DocumentationComment) partition content type.
37      */
38     String JavaDoc JAVA_DOC= "__java_javadoc"; //$NON-NLS-1$
39
40     /**
41      * The identifier of the Java string partition content type.
42      */
43     String JavaDoc JAVA_STRING= "__java_string"; //$NON-NLS-1$
44
45     /**
46      * The identifier of the Java character partition content type.
47      */
48     String JavaDoc JAVA_CHARACTER= "__java_character"; //$NON-NLS-1$
49 }
50
Popular Tags