blob: 11576f788adf0e4bb51b3e1df536c6157a1bc1f9 [file] [log] [blame]
Stephan Herrmannf3b02a42011-01-22 20:59:14 +00001##############################################################################
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
14880 = Null contract violation: returning null from a method declared as @{0}.
15881 = Null contract violation: return value can be null but method is declared as @{0}.
16882 = Potential null contract violation: insufficient nullness information regarding return value while the method is declared as @{0}.
17883 = Null contract violation: passing null to a parameter declared as @{0}.
18884 = Null contract violation: potentially passing null to a parameter declared as @{0}.
19885 = Potential null contract violation: insufficient nullness information regarding a value that is passed to a parameter declared as @{0}.
20886 = Null contract violation: assigning null to local variable {0}, which is declared as @{1}.
21887 = Null contract violation: potentially assigning null to local variable {0}, which is declared as @{1}.
22888 = Potential null contract violation: insufficient nullness information regarding a value that is assigned to local variable {0}, which is declared as @{1}.
23889 = Buildpath problem: emulation of type {0} is requested (for null annotations) but a type of this name exists on the build path.
24890 = Buildpath problem: the type {0} which is configured as a null annotation type cannot be resolved.
25891 = Cannot relax null contract for method return, inherited method from {0} is declared as @{1}.
26892 = Cannot tighten null contract for parameter {0}, inherited method from {1} declares this parameter as @{2}.
27893 = Cannot tighten null contract for parameter {0}, inherited method from {1} does not constrain this parameter.