| Stephan Herrmann | f3b02a4 | 2011-01-22 20:59:14 +0000 | [diff] [blame^] | 1 | ############################################################################## |
| 2 | # Copyright (c) 2011 GK Software AG and others. |
| 3 | # All rights reserved. This program and the accompanying materials |
| 4 | # are made available under the terms of the Eclipse Public License v1.0 |
| 5 | # which accompanies this distribution, and is available at |
| 6 | # http://www.eclipse.org/legal/epl-v10.html |
| 7 | # |
| 8 | # Contributors: |
| 9 | # Stephan Herrmann - initial API and implementation |
| 10 | ############################################################################## |
| 11 | |
| 12 | ### addition for /org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/messages.properties |
| 13 | ### NULL ANNOTATIONS |
| 14 | 880 = Null contract violation: returning null from a method declared as @{0}. |
| 15 | 881 = Null contract violation: return value can be null but method is declared as @{0}. |
| 16 | 882 = Potential null contract violation: insufficient nullness information regarding return value while the method is declared as @{0}. |
| 17 | 883 = Null contract violation: passing null to a parameter declared as @{0}. |
| 18 | 884 = Null contract violation: potentially passing null to a parameter declared as @{0}. |
| 19 | 885 = Potential null contract violation: insufficient nullness information regarding a value that is passed to a parameter declared as @{0}. |
| 20 | 886 = Null contract violation: assigning null to local variable {0}, which is declared as @{1}. |
| 21 | 887 = Null contract violation: potentially assigning null to local variable {0}, which is declared as @{1}. |
| 22 | 888 = Potential null contract violation: insufficient nullness information regarding a value that is assigned to local variable {0}, which is declared as @{1}. |
| 23 | 889 = Buildpath problem: emulation of type {0} is requested (for null annotations) but a type of this name exists on the build path. |
| 24 | 890 = Buildpath problem: the type {0} which is configured as a null annotation type cannot be resolved. |
| 25 | 891 = Cannot relax null contract for method return, inherited method from {0} is declared as @{1}. |
| 26 | 892 = Cannot tighten null contract for parameter {0}, inherited method from {1} declares this parameter as @{2}. |
| 27 | 893 = Cannot tighten null contract for parameter {0}, inherited method from {1} does not constrain this parameter. |