diff options
| author | Martin Aeschlimann | 2006-02-16 17:24:21 +0000 |
|---|---|---|
| committer | Martin Aeschlimann | 2006-02-16 17:24:21 +0000 |
| commit | 61b8d536d052f5570479e04d4777750ea34002c8 (patch) | |
| tree | 45731b9f704f4b6557fb56056300d9110ba01ec3 /org.eclipse.search/.settings | |
| parent | f21869c0fa353262e405687b1f4d874a86bc09e1 (diff) | |
| download | eclipse.platform.text-61b8d536d052f5570479e04d4777750ea34002c8.tar.gz eclipse.platform.text-61b8d536d052f5570479e04d4777750ea34002c8.tar.xz eclipse.platform.text-61b8d536d052f5570479e04d4777750ea34002c8.zip | |
enabled null reference check and fall through
Diffstat (limited to 'org.eclipse.search/.settings')
| -rw-r--r-- | org.eclipse.search/.settings/org.eclipse.jdt.core.prefs | 6 | ||||
| -rw-r--r-- | org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs index 7bb8267ac19..4c9c876d728 100644 --- a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,4 @@ -#Sun Jan 29 20:07:41 CET 2006
+#Thu Feb 16 18:18:02 CET 2006
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -22,6 +22,7 @@ org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=disabled
org.eclipse.jdt.core.compiler.problem.emptyStatement=warning
org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning
+org.eclipse.jdt.core.compiler.problem.fallthroughCase=warning
org.eclipse.jdt.core.compiler.problem.fieldHiding=warning
org.eclipse.jdt.core.compiler.problem.finalParameterBound=ignore
org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning
@@ -45,6 +46,7 @@ org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning org.eclipse.jdt.core.compiler.problem.noEffectAssignment=error
org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=error
org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=warning
+org.eclipse.jdt.core.compiler.problem.nullReference=warning
org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=error
org.eclipse.jdt.core.compiler.problem.possibleAccidentalBooleanAssignment=error
org.eclipse.jdt.core.compiler.problem.specialParameterHidingField=disabled
@@ -122,6 +124,7 @@ org.eclipse.jdt.core.formatter.compact_else_if=false org.eclipse.jdt.core.formatter.continuation_indentation=2
org.eclipse.jdt.core.formatter.continuation_indentation_for_array_initializer=2
org.eclipse.jdt.core.formatter.format_guardian_clause_on_one_line=false
+org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_annotation_declaration_header=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_constant_header=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_declaration_header=true
org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_type_header=true
@@ -140,6 +143,7 @@ org.eclipse.jdt.core.formatter.insert_new_line_before_closing_brace_in_array_ini org.eclipse.jdt.core.formatter.insert_new_line_before_else_in_if_statement=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_finally_in_try_statement=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_while_in_do_statement=do not insert
+org.eclipse.jdt.core.formatter.insert_new_line_in_empty_annotation_declaration=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_anonymous_type_declaration=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_block=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_enum_constant=insert
diff --git a/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs index 06084349bb2..7b7d85240f4 100644 --- a/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.search/.settings/org.eclipse.jdt.ui.prefs @@ -1,7 +1,7 @@ -#Sun Jan 29 19:31:13 CET 2006 +#Fri Feb 10 16:45:33 CET 2006 eclipse.preferences.version=1 formatter_profile=_Search Code Style Conventions -formatter_settings_version=9 +formatter_settings_version=10 org.eclipse.jdt.ui.ignorelowercasenames=true org.eclipse.jdt.ui.importorder=java;javax;org.eclipse.core;org.eclipse.core.runtime;org.eclipse.core.resources;org.eclipse.swt;org.eclipse.jface;org.eclipse.jface.text;org.eclipse.ui;org.eclipse.ui.editors;org.eclipse.ui.workbench;org.eclipse.ui.workbench.texteditor;org.eclipseui.ide;org.eclipse.search.ui;org.eclipse.search.internal;org.eclipse.search2.internal; org.eclipse.jdt.ui.ondemandthreshold=99 |