Improved aml scanner for this bug
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / IPreferenceConstants.java
1 /**********************************************************************
2  Copyright (c) 2000, 2002 IBM Corp. and others.
3  All rights reserved. This program and the accompanying materials
4  are made available under the terms of the Common Public License v1.0
5  which accompanies this distribution, and is available at
6  http://www.eclipse.org/legal/cpl-v10.html
7
8  Contributors:
9  IBM Corporation - Initial implementation
10  www.phpeclipse.de
11  **********************************************************************/
12 package net.sourceforge.phpeclipse;
13
14
15 /**
16  * Predefined prference constants
17  */
18 public interface IPreferenceConstants {
19   /**
20    * Preference key suffix for bold text style preference keys.
21    * 
22    * @since 2.1
23    */
24   public static final String EDITOR_BOLD_SUFFIX = "_bold"; //$NON-NLS-1$
25
26   /**
27    * Preference key suffix for italic text style preference keys.
28    * 
29    * @since 3.0
30    */
31   public static final String EDITOR_ITALIC_SUFFIX = "_italic"; //$NON-NLS-1$
32
33   //  public static final String LOCALHOST_PREF = "_localhost";
34   //  public static final String DOCUMENTROOT_PREF = "_documentroot";
35   public static final String XAMPP_START_PREF = "_xampp_start_pref";
36
37   public static final String XAMPP_STOP_PREF = "_xampp_stop_pref";
38
39   public static final String MYSQL_RUN_PREF = "_mysql_run_pref";
40
41   public static final String MYSQL_START_BACKGROUND = "_mysql_start_background";
42
43   public static final String MYSQL_PREF = "__mysql_start";
44
45   public static final String APACHE_RUN_PREF = "_apache_run_pref";
46
47   public static final String APACHE_START_BACKGROUND = "_apache_start_background";
48
49   public static final String APACHE_START_PREF = "__apache_start";
50
51   public static final String APACHE_STOP_BACKGROUND = "_apache_stop_background";
52
53   public static final String APACHE_STOP_PREF = "__apache_stop";
54
55   public static final String APACHE_RESTART_BACKGROUND = "_apache_restart_background";
56
57   public static final String APACHE_RESTART_PREF = "__apache_restart";
58
59   public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
60
61   public static final String PHP_RUN_PREF = "_php_run_pref";
62
63   public static final String EXTERNAL_PARSER_PREF = "_external_parser";
64
65   public static final String PHP_EXTENSION_PREFS = "_php_parser_extensions";
66
67   public static final String PHP_PARSER_DEFAULT = "_php_parser_default";
68
69   //  public static final String PHP_INTERNAL_PARSER = "_php_internal_parser";
70   //  public static final String PHP_EXTERNAL_PARSER = "_php_external_parser";
71   // public static final String PHP_PARSE_ON_SAVE = "_php_parse_on_save";
72   public static final String PHP_MULTILINE_COMMENT = "_php_multilineComment";
73
74   public static final String PHP_MULTILINE_COMMENT_BOLD = "_php_multilineComment_bold";
75
76   public static final String PHP_MULTILINE_COMMENT_ITALIC = "_php_multilineComment_italic";
77
78   public static final String PHP_MULTILINE_COMMENT_UNDERLINE = "_php_multilineComment_underline";
79
80   /**
81    * The color key for operators and brackets in PHP code (value <code>"__php_operator"</code>).
82    * 
83    * @since 3.0
84    */
85   public static final String PHP_OPERATOR = "__php_operator"; //$NON-NLS-1$
86
87   /**
88    * The color key for {} in PHP code (value <code>"__php_brace_operator"</code>).
89    * 
90    * @since 3.0
91    */
92   public static final String PHP_BRACE_OPERATOR = "__php_brace_operator"; //$NON-NLS-1$
93
94   /**
95    * A named preference that holds the color used to render operators and brackets.
96    * <p>
97    * Value is of type <code>String</code>. A RGB color value encoded as a string using class <code>PreferenceConverter</code>
98    * </p>
99    * 
100    * @see org.eclipse.jface.resource.StringConverter
101    * @see org.eclipse.jface.preference.PreferenceConverter
102    * @since 3.0
103    */
104   public final static String EDITOR_PHP_OPERATOR_COLOR = PHP_OPERATOR;
105
106   /**
107    * A named preference that controls whether operators and brackets are rendered in bold.
108    * <p>
109    * Value is of type <code>Boolean</code>.
110    * </p>
111    * 
112    * @since 3.0
113    */
114   public final static String EDITOR_PHP_OPERATOR_BOLD = PHP_OPERATOR + EDITOR_BOLD_SUFFIX;
115
116   /**
117    * A named preference that controls whether operators and brackets are rendered in italic.
118    * <p>
119    * Value is of type <code>Boolean</code>.
120    * </p>
121    * 
122    * @since 3.0
123    */
124   public final static String EDITOR_PHP_OPERATOR_ITALIC = PHP_OPERATOR + EDITOR_ITALIC_SUFFIX;
125
126   /**
127    * A named preference that holds the color used to render operators and brackets.
128    * <p>
129    * Value is of type <code>String</code>. A RGB color value encoded as a string using class <code>PreferenceConverter</code>
130    * </p>
131    * 
132    * @see org.eclipse.jface.resource.StringConverter
133    * @see org.eclipse.jface.preference.PreferenceConverter
134    * @since 3.0
135    */
136   public final static String EDITOR_PHP_BRACE_OPERATOR_COLOR = PHP_BRACE_OPERATOR;
137
138   /**
139    * A named preference that controls whether operators and brackets are rendered in bold.
140    * <p>
141    * Value is of type <code>Boolean</code>.
142    * </p>
143    * 
144    * @since 3.0
145    */
146   public final static String EDITOR_PHP_BRACE_OPERATOR_BOLD = PHP_BRACE_OPERATOR + EDITOR_BOLD_SUFFIX;
147
148   /**
149    * A named preference that controls whether operators and brackets are rendered in italic.
150    * <p>
151    * Value is of type <code>Boolean</code>.
152    * </p>
153    * 
154    * @since 3.0
155    */
156   public final static String EDITOR_PHP_BRACE_OPERATOR_ITALIC = PHP_BRACE_OPERATOR + EDITOR_ITALIC_SUFFIX;
157
158   /**
159    * The color key for keyword 'return' in PHP code (value <code>"__php_keyword_return"</code>).
160    * 
161    * @since 3.0
162    */
163   public static final String PHP_KEYWORD_RETURN = "__php_keyword_return"; //$NON-NLS-1$
164
165   /**
166    * A named preference that holds the color used to render the 'return' keyword.
167    * <p>
168    * Value is of type <code>String</code>. A RGB color value encoded as a string using class <code>PreferenceConverter</code>
169    * </p>
170    * 
171    * @see org.eclipse.jface.resource.StringConverter
172    * @see org.eclipse.jface.preference.PreferenceConverter
173    * @since 3.0
174    */
175   public final static String EDITOR_PHP_KEYWORD_RETURN_COLOR = PHP_KEYWORD_RETURN;
176
177   /**
178    * A named preference that controls whether 'return' keyword is rendered in bold.
179    * <p>
180    * Value is of type <code>Boolean</code>.
181    * </p>
182    * 
183    * @since 3.0
184    */
185   public final static String EDITOR_PHP_KEYWORD_RETURN_BOLD = PHP_KEYWORD_RETURN + EDITOR_BOLD_SUFFIX;
186
187   /**
188    * A named preference that controls whether 'return' keyword is rendered in italic.
189    * <p>
190    * Value is of type <code>Boolean</code>.
191    * </p>
192    * 
193    * @since 3.0
194    */
195   public final static String EDITOR_PHP_KEYWORD_RETURN_ITALIC = PHP_KEYWORD_RETURN + EDITOR_ITALIC_SUFFIX;
196
197   public static final String PHP_SINGLELINE_COMMENT = "_php_singlelineComment";
198
199   public static final String PHP_SINGLELINE_COMMENT_BOLD = "_php_singlelineComment_bold";//$NON-NLS-1$
200
201   public static final String PHP_SINGLELINE_COMMENT_ITALIC = "_php_singlelineComment_italic";//$NON-NLS-1$
202
203   public static final String PHP_SINGLELINE_COMMENT_UNDERLINE = "_php_singlelineComment_underline";//$NON-NLS-1$
204
205   public static final String PHP_TAG = "_php_tag";//$NON-NLS-1$
206
207   public static final String PHP_TAG_BOLD = "_php_tag_bold";//$NON-NLS-1$
208
209   public static final String PHP_TAG_ITALIC = "_php_tag_italic";//$NON-NLS-1$
210
211   public static final String PHP_TAG_UNDERLINE = "_php_tag_underline";//$NON-NLS-1$
212
213   public static final String PHP_KEYWORD = "_php_keyword";//$NON-NLS-1$
214
215   public static final String PHP_KEYWORD_BOLD = "_php_keyword_bold";//$NON-NLS-1$
216
217   public static final String PHP_KEYWORD_ITALIC = "_php_keyword_italic";//$NON-NLS-1$
218
219   public static final String PHP_KEYWORD_UNDERLINE = "_php_keyword_underline";//$NON-NLS-1$
220
221   public static final String PHP_VARIABLE = "_php_variable";//$NON-NLS-1$
222
223   public static final String PHP_VARIABLE_BOLD = "_php_variable_bold";//$NON-NLS-1$
224
225   public static final String PHP_VARIABLE_ITALIC = "_php_variable_italic";//$NON-NLS-1$
226
227   public static final String PHP_VARIABLE_UNDERLINE = "_php_variable_underline";//$NON-NLS-1$
228
229   public static final String PHP_TYPE = "_php_type";//$NON-NLS-1$
230
231   public static final String PHP_TYPE_BOLD = "_php_type_bold";//$NON-NLS-1$
232
233   public static final String PHP_TYPE_ITALIC = "_php_type_italic";//$NON-NLS-1$
234
235   public static final String PHP_TYPE_UNDERLINE = "_php_type_underline";//$NON-NLS-1$
236
237   public static final String PHP_CONSTANT = "_php_constant";//$NON-NLS-1$
238
239   public static final String PHP_CONSTANT_BOLD = "_php_constant_bold";//$NON-NLS-1$
240
241   public static final String PHP_CONSTANT_ITALIC = "_php_constant_italic";//$NON-NLS-1$
242
243   public static final String PHP_CONSTANT_UNDERLINE = "_php_constant_underline";//$NON-NLS-1$
244
245   public static final String PHP_FUNCTIONNAME = "_php_functionname";//$NON-NLS-1$
246
247   public static final String PHP_FUNCTIONNAME_BOLD = "_php_functionname_bold";//$NON-NLS-1$
248
249   public static final String PHP_FUNCTIONNAME_ITALIC = "_php_functionname_italic";//$NON-NLS-1$
250
251   public static final String PHP_FUNCTIONNAME_UNDERLINE = "_php_functionname_underline";//$NON-NLS-1$
252
253   public static final String PHP_STRING = "_php_string";//$NON-NLS-1$
254
255   public static final String PHP_STRING_BOLD = "_php_string_bold";
256
257   public static final String PHP_STRING_ITALIC = "_php_string_italic";
258
259   public static final String PHP_STRING_UNDERLINE = "_php_string_underline";
260
261   public static final String PHP_DEFAULT = "_php_default";
262
263   public static final String PHP_DEFAULT_BOLD = "_php_default_bold";
264
265   public static final String PHP_DEFAULT_ITALIC = "_php_default_italic";
266
267   public static final String PHP_DEFAULT_UNDERLINE = "_php_default_underline";
268
269   public static final String TASK_TAG = "_php_comment_task_tag"; //$NON-NLS-1$
270
271   public static final String TASK_TAG_BOLD = "_php_comment_task_tag_bold"; //$NON-NLS-1$
272
273   /**
274    * The color key for PHPDoc keywords (<code>@foo</code>) in PHPDoc comments.
275    */
276   public static final String PHPDOC_KEYWORD = "_php_doc_keyword"; //$NON-NLS-1$
277
278   public static final String PHPDOC_KEYWORD_BOLD = "_php_doc_keyword_bold";
279
280   public static final String PHPDOC_KEYWORD_ITALIC = "_php_doc_keyword_italic";
281
282   public static final String PHPDOC_KEYWORD_UNDERLINE = "_php_doc_keyword_underline";
283
284   /** The color key for HTML tags (<code>&lt;foo&gt;</code>) in PHPDoc comments. */
285   public static final String PHPDOC_TAG = "_php_doc_tag"; //$NON-NLS-1$
286
287   public static final String PHPDOC_TAG_BOLD = "_php_doc_tag_bold";
288
289   public static final String PHPDOC_TAG_ITALIC = "_php_doc_tag_italic";
290
291   public static final String PHPDOC_TAG_UNDERLINE = "_php_doc_tag_underline";
292
293   /** The color key for PHPDoc links (<code>{foo}</code>) in PHPDoc comments. */
294   public static final String PHPDOC_LINK = "_php_doc_link"; //$NON-NLS-1$
295
296   public static final String PHPDOC_LINK_BOLD = "_php_doc_link_bold";
297
298   public static final String PHPDOC_LINK_ITALIC = "_php_doc_link_italic";
299
300   public static final String PHPDOC_LINK_UNDERLINE = "_php_doc_link_underline";
301
302   /** The color key for everthing in PHPDoc comments for which no other color is specified. */
303   public static final String PHPDOC_DEFAULT = "_php_doc_default"; //$NON-NLS-1$
304
305   public static final String PHPDOC_DEFAULT_BOLD = "_php_doc_default_bold";
306
307   public static final String PHPDOC_DEFAULT_ITALIC = "_php_doc_default_italic";
308
309   public static final String PHPDOC_DEFAULT_UNDERLINE = "_php_doc_default_underline";
310
311   //  public static final String LINKED_POSITION_COLOR = "_linkedPositionColor";
312   //  public static final String PHP_EDITOR_BACKGROUND = "_php_editor_background";
313   public static final String PHP_USERDEF_XMLFILE = "_userdef_xmlfile";
314
315   /** Preference key for showing the line number ruler */
316   // public final static String LINE_NUMBER_RULER = "_lineNumberRuler"; //$NON-NLS-1$
317   /** Preference key for the foreground color of the line numbers */
318   // public final static String LINE_NUMBER_COLOR = "_lineNumberColor"; //$NON-NLS-1$
319   //  public final static String PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT = "_defaultBackgroundColor"; //$NON-NLS-1$
320   //  public final static String PREFERENCE_COLOR_BACKGROUND = "backgroundColor"; //$NON-NLS-1$
321   /** Preference key for content assist proposal color */
322   public final static String PROPOSALS_FOREGROUND = "content_assist_proposals_foreground"; //$NON-NLS-1$
323
324   /** Preference key for content assist proposal color */
325   public final static String PROPOSALS_BACKGROUND = "content_assist_proposals_background"; //$NON-NLS-1$
326
327   public static final String EDITOR_EVALUTE_TEMPORARY_PROBLEMS = null;
328
329   public static final String EDITOR_CORRECTION_INDICATION = null;
330
331   public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default";
332   //  public static final String PHP_BOOKMARK_DEFAULT = "_php_bookmark_default";
333   //  public static final String PHP_LOCALHOST_PREF = "_php_localhost";
334   //  public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
335   //  
336   //  public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
337   //  public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
338   //  public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
339 }