diff options
| author | Eike Stepper | 2011-01-22 12:21:44 +0000 |
|---|---|---|
| committer | Eike Stepper | 2011-01-22 12:21:44 +0000 |
| commit | d0b0dea13f5ba5d76f00aecafdcd414394d548ce (patch) | |
| tree | 7826773edb1ef08e0b7a6237f0bba522a2eed5d5 | |
| parent | 047a6f8a27acdbf9a7b5db1d59a1114ed01c787f (diff) | |
| download | cdo-d0b0dea13f5ba5d76f00aecafdcd414394d548ce.tar.gz cdo-d0b0dea13f5ba5d76f00aecafdcd414394d548ce.tar.xz cdo-d0b0dea13f5ba5d76f00aecafdcd414394d548ce.zip | |
more deprecation warnings
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.common.db/.settings/org.eclipse.jdt.core.prefs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.emf.cdo.common.db/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.emf.cdo.common.db/.settings/org.eclipse.jdt.core.prefs index f6c5987344..e38d2c1767 100644 --- a/plugins/org.eclipse.emf.cdo.common.db/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.emf.cdo.common.db/.settings/org.eclipse.jdt.core.prefs @@ -25,7 +25,7 @@ org.eclipse.jdt.core.compiler.problem.comparingIdentical=warning org.eclipse.jdt.core.compiler.problem.deadCode=warning org.eclipse.jdt.core.compiler.problem.deprecation=warning org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled -org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=disabled +org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=enabled org.eclipse.jdt.core.compiler.problem.discouragedReference=warning org.eclipse.jdt.core.compiler.problem.emptyStatement=warning org.eclipse.jdt.core.compiler.problem.enumIdentifier=error @@ -46,7 +46,7 @@ org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=disabled org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsVisibility=public org.eclipse.jdt.core.compiler.problem.localVariableHiding=ignore org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=warning -org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=ignore +org.eclipse.jdt.core.compiler.problem.missingDeprecatedAnnotation=warning org.eclipse.jdt.core.compiler.problem.missingHashCodeMethod=warning org.eclipse.jdt.core.compiler.problem.missingJavadocComments=ignore org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=disabled |