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.jdt.ui.text;
11:
12: /**
13: * Definition of Java partitioning and its partitions.
14: *
15: * @since 3.1
16: */
17: public interface IJavaPartitions {
18:
19: /**
20: * The identifier of the Java partitioning.
21: */
22: String JAVA_PARTITIONING = "___java_partitioning"; //$NON-NLS-1$
23:
24: /**
25: * The identifier of the single-line (JLS2: EndOfLineComment) end comment partition content type.
26: */
27: String JAVA_SINGLE_LINE_COMMENT = "__java_singleline_comment"; //$NON-NLS-1$
28:
29: /**
30: * The identifier multi-line (JLS2: TraditionalComment) comment partition content type.
31: */
32: String JAVA_MULTI_LINE_COMMENT = "__java_multiline_comment"; //$NON-NLS-1$
33:
34: /**
35: * The identifier of the Javadoc (JLS2: DocumentationComment) partition content type.
36: */
37: String JAVA_DOC = "__java_javadoc"; //$NON-NLS-1$
38:
39: /**
40: * The identifier of the Java string partition content type.
41: */
42: String JAVA_STRING = "__java_string"; //$NON-NLS-1$
43:
44: /**
45: * The identifier of the Java character partition content type.
46: */
47: String JAVA_CHARACTER = "__java_character"; //$NON-NLS-1$
48: }
|