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.internal.ui.propertiesfileeditor;
11:
12: /**
13: * Properties file partitioning definition.
14: * <p>
15: * A property key is represented by the {@link org.eclipse.jface.text.IDocument#DEFAULT_CONTENT_TYPE default partition}.
16: * </p>
17: *
18: * @since 3.1
19: */
20: public interface IPropertiesFilePartitions {
21:
22: /**
23: * The name of the properties file partitioning.
24: * Value: {@value}
25: */
26: String PROPERTIES_FILE_PARTITIONING = "___pf_partitioning"; //$NON-NLS-1$
27:
28: /**
29: * The name of a comment partition.
30: * Value: {@value}
31: */
32: String COMMENT = "__pf_comment"; //$NON-NLS-1$
33:
34: /**
35: * The name of a property value partition.
36: * <p>
37: * Note: The value partition may contain assignment characters at their beginning
38: * </p>
39: * Value: {@value}
40: */
41: String PROPERTY_VALUE = "__pf_roperty_value"; //$NON-NLS-1$
42:
43: /**
44: * Array with properties file partitions.
45: * Value: {@value}
46: */
47: String[] PARTITIONS = new String[] { COMMENT, PROPERTY_VALUE };
48:
49: }
|