| ############################################################################## |
| # Copyright (c) 2011 GK Software AG and others. |
| # All rights reserved. This program and the accompanying materials |
| # are made available under the terms of the Eclipse Public License v1.0 |
| # which accompanies this distribution, and is available at |
| # http://www.eclipse.org/legal/epl-v10.html |
| # |
| # Contributors: |
| # Stephan Herrmann - initial API and implementation |
| ############################################################################## |
| |
| ### addition for /org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/messages.properties |
| ### NULL ANNOTATIONS |
| 910 = Type mismatch: required '@{0} {1}' but the provided value is null |
| 911 = Type mismatch: required '@{0} {1}' but the provided value can be null |
| 912 = Potential type mismatch: required '@{0} {1}' but nullness of the provided value is unknown |
| 913 = Buildpath problem: the type {0} which is configured as a null annotation type cannot be resolved |
| 914 = The return type is incompatible with the @{1} return from {0} |
| 915 = Illegal redefinition of parameter {0}, inherited method from {1} declares this parameter as @{2} |
| 916 = Illegal redefinition of parameter {0}, inherited method from {1} does not constrain this parameter |
| 917 = Missing null annotation: inherited method from {1} declares this parameter as @{2} |
| 918 = Missing null annotation: inherited method from {1} declares this parameter as @{2} |
| 919 = Potential null pointer access: The method {0} may return null |
| 920 = Redundant null check: The method {0} cannot return null |
| 921 = The method {0} from class {1} cannot implement the corresponding method from type {2} due to incompatible nullness constraints |
| 922 = Cannot use the unqualified name ''{0}'' as an annotation name for null specification |
| 923 = The nullness annotation is redundant with a default that applies to this location |