diff options
Diffstat (limited to 'experimental/compensator/org.eclipse.fx.code.compensator.editor.java/src/org/eclipse/jdt/ui/text/IJavaPartitions.java')
-rw-r--r-- | experimental/compensator/org.eclipse.fx.code.compensator.editor.java/src/org/eclipse/jdt/ui/text/IJavaPartitions.java | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/experimental/compensator/org.eclipse.fx.code.compensator.editor.java/src/org/eclipse/jdt/ui/text/IJavaPartitions.java b/experimental/compensator/org.eclipse.fx.code.compensator.editor.java/src/org/eclipse/jdt/ui/text/IJavaPartitions.java new file mode 100644 index 000000000..f59ab396e --- /dev/null +++ b/experimental/compensator/org.eclipse.fx.code.compensator.editor.java/src/org/eclipse/jdt/ui/text/IJavaPartitions.java @@ -0,0 +1,49 @@ +/******************************************************************************* + * Copyright (c) 2000, 2005 IBM Corporation and others. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * IBM Corporation - initial API and implementation + *******************************************************************************/ +package org.eclipse.jdt.ui.text; + +/** + * Definition of Java partitioning and its partitions. + * + * @since 3.1 + */ +public interface IJavaPartitions { + + /** + * The identifier of the Java partitioning. + */ + String JAVA_PARTITIONING= "___java_partitioning"; //$NON-NLS-1$ + + /** + * The identifier of the single-line (JLS2: EndOfLineComment) end comment partition content type. + */ + String JAVA_SINGLE_LINE_COMMENT= "__java_singleline_comment"; //$NON-NLS-1$ + + /** + * The identifier multi-line (JLS2: TraditionalComment) comment partition content type. + */ + String JAVA_MULTI_LINE_COMMENT= "__java_multiline_comment"; //$NON-NLS-1$ + + /** + * The identifier of the Javadoc (JLS2: DocumentationComment) partition content type. + */ + String JAVA_DOC= "__java_javadoc"; //$NON-NLS-1$ + + /** + * The identifier of the Java string partition content type. + */ + String JAVA_STRING= "__java_string"; //$NON-NLS-1$ + + /** + * The identifier of the Java character partition content type. + */ + String JAVA_CHARACTER= "__java_character"; //$NON-NLS-1$ +} |