blob: a4b09187cafee65805dc03bcabbb08dae2d70a78 [file] [log] [blame]
##############################################################################
# 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.