/******************************************************************************* * Copyright (c) 2000, 2002 International Business Machines Corp. and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Common Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/cpl-v10.html * * Contributors: * IBM Corporation - initial API and implementation ******************************************************************************/ package net.sourceforge.phpdt.ui.text; /** * Color keys used for syntax highlighting Java * code and JavaDoc compliant comments. * A IColorManager is responsible for mapping * concrete colors to these keys. *

* This interface declares static final fields only; it is not intended to be * implemented. *

* * @see IColorManager */ public interface IJavaColorConstants { /** * Note: This constant is for internal use only. Clients should not use this constant. * The prefix all color constants start with. */ String PREFIX= "php_"; //$NON-NLS-1$ /** The color key for multi-line comments in Java code. */ String JAVA_MULTI_LINE_COMMENT= "php_multi_line_comment"; //$NON-NLS-1$ /** The color key for single-line comments in Java code. */ String JAVA_SINGLE_LINE_COMMENT= "php_single_line_comment"; //$NON-NLS-1$ /** The color key for Java keywords in Java code. */ String JAVA_KEYWORD= "php_keyword"; //$NON-NLS-1$ /** The color key for string and character literals in Java code. */ String JAVA_STRING= "php_string"; //$NON-NLS-1$ /** The color key for everthing in Java code for which no other color is specified. */ String JAVA_DEFAULT= "php_default"; //$NON-NLS-1$ /** * The color key for the Java built-in types such as int and char in Java code. * @deprecated no longer used, use JAVA_KEYWORD instead */ String JAVA_TYPE= "php_type"; //$NON-NLS-1$ /** The color key for JavaDoc keywords (@foo) in JavaDoc comments. */ String JAVADOC_KEYWORD= "php_doc_keyword"; //$NON-NLS-1$ /** The color key for HTML tags (<foo>) in JavaDoc comments. */ String JAVADOC_TAG= "php_doc_tag"; //$NON-NLS-1$ /** The color key for JavaDoc links ({foo}) in JavaDoc comments. */ String JAVADOC_LINK= "php_doc_link"; //$NON-NLS-1$ /** The color key for everthing in JavaDoc comments for which no other color is specified. */ String JAVADOC_DEFAULT= "php_doc_default"; //$NON-NLS-1$ }