mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
002d7d7cdf
There is no reson to make a AST node for '#error' and '#warning' directives. Parser knows the diagnostics should be emitted or not.
286 lines
12 KiB
C++
286 lines
12 KiB
C++
//===--- DiagnosticsCommon.def - Diagnostics Text ---------------*- C++ -*-===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines diagnostics that can be emitted across the whole compiler.
|
|
// Each diagnostic is described using one of three kinds (error, warning, or
|
|
// note) along with a unique identifier, category, options, and text, and is
|
|
// followed by a signature describing the diagnostic argument kinds.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#define DEFINE_DIAGNOSTIC_MACROS
|
|
#include "DefineDiagnosticMacros.h"
|
|
|
|
ERROR(invalid_diagnostic,none,
|
|
"INTERNAL ERROR: this diagnostic should not be produced", ())
|
|
|
|
ERROR(not_implemented,none,
|
|
"INTERNAL ERROR: feature not implemented: %0", (StringRef))
|
|
|
|
ERROR(error_opening_output,none,
|
|
"error opening '%0' for output: %1", (StringRef, StringRef))
|
|
|
|
ERROR(error_closing_output,none,
|
|
"error closing '%0' for output: %1", (StringRef, StringRef))
|
|
|
|
ERROR(error_mccas,none,
|
|
"error trying to materialize MCCAS object file: %0", (StringRef))
|
|
|
|
ERROR(cannot_find_group_info_file,none,
|
|
"cannot find group info file at path: '%0'", (StringRef))
|
|
|
|
ERROR(cannot_parse_group_info_file,none,
|
|
"cannot parse group info file at path: '%0'", (StringRef))
|
|
|
|
ERROR(error_no_group_info,none,
|
|
"no group info found for file: '%0'", (StringRef))
|
|
|
|
NOTE(brace_stmt_suggest_do,none,
|
|
"did you mean to use a 'do' statement?", ())
|
|
|
|
// This does not have a group because warnings of this kind inherit the group
|
|
// from the wrapped error.
|
|
WARNING(error_in_swift_lang_mode,none,
|
|
"%0; this is an error in the Swift %1 language mode",
|
|
(DiagnosticInfo *, unsigned))
|
|
|
|
// This does not have a group because warnings of this kind inherit the group
|
|
// from the wrapped error.
|
|
WARNING(error_in_a_future_swift_lang_mode,none,
|
|
"%0; this will be an error in a future Swift language mode",
|
|
(DiagnosticInfo *))
|
|
|
|
// Generic disambiguation
|
|
NOTE(while_parsing_as_left_angle_bracket,none,
|
|
"while parsing this '<' as a type parameter bracket", ())
|
|
|
|
// Generic determinism-forcing override.
|
|
REMARK(remark_max_determinism_overriding,none,
|
|
"SWIFTC_MAXIMUM_DETERMINISM overriding %0", (StringRef))
|
|
|
|
ERROR(class_func_not_in_class,none,
|
|
"class methods are only allowed within classes; "
|
|
"use 'static' to declare a %select{static|requirement fulfilled by either a static or class}0 method", (bool))
|
|
ERROR(class_var_not_in_class,none,
|
|
"class properties are only allowed within classes; "
|
|
"use 'static' to declare a %select{static|requirement fulfilled by either a static or class}0 property", (bool))
|
|
ERROR(class_subscript_not_in_class,none,
|
|
"class subscripts are only allowed within classes; "
|
|
"use 'static' to declare a %select{static|requirement fulfilled by either a static or class}0 subscript", (bool))
|
|
|
|
ERROR(require_static_for_const,none,
|
|
"'static' is required for _const variable declaration", ())
|
|
|
|
ERROR(require_let_for_const,none,
|
|
"let is required for a _const variable declaration", ())
|
|
|
|
ERROR(require_const_initializer_for_const,none,
|
|
"_const let should be initialized with a compile-time literal", ())
|
|
|
|
// FIXME: Used by both the parser and the type-checker.
|
|
ERROR(func_decl_without_brace,PointsToFirstBadToken,
|
|
"expected '{' in body of function declaration", ())
|
|
|
|
ERROR(func_decl_no_body_expected,PointsToFirstBadToken,
|
|
"unexpected body of function declaration", ())
|
|
|
|
NOTE(convert_let_to_var,none,
|
|
"change 'let' to 'var' to make it mutable", ())
|
|
|
|
NOTE(note_typo_candidate,none,
|
|
"did you mean '%0'?", (StringRef))
|
|
|
|
NOTE(profile_read_error,none,
|
|
"failed to load profile data '%0': '%1'", (StringRef, StringRef))
|
|
|
|
ERROR(attr_only_on_parameters, none,
|
|
"'%0' may only be used on parameters", (StringRef))
|
|
|
|
ERROR(function_type_no_parens,none,
|
|
"single argument function types require parentheses", ())
|
|
|
|
// Used by both the Frontend and Sema.
|
|
ERROR(error_underlying_module_not_found,none,
|
|
"underlying Objective-C module %0 not found", (Identifier))
|
|
|
|
// Used by -verify-generic-signatures
|
|
ERROR(generic_signature_not_minimal,none,
|
|
"generic requirement '%0' is redundant in %1", (StringRef, StringRef))
|
|
ERROR(generic_signature_not_valid,none,
|
|
"generic signature %0 is invalid", (StringRef))
|
|
ERROR(generic_signature_not_equal,none,
|
|
"generic signature %0 is not equal to new signature %1",
|
|
(StringRef, StringRef))
|
|
|
|
// FIXME: Used by swift-api-digester. Don't want to set up a separate diagnostics
|
|
// file just for a few errors.
|
|
ERROR(sdk_node_unrecognized_key,none,
|
|
"unrecognized key '%0' in SDK node", (StringRef))
|
|
ERROR(sdk_node_unrecognized_node_kind,none,
|
|
"unrecognized SDK node kind '%0'", (StringRef))
|
|
ERROR(sdk_node_unrecognized_type_attr_kind,none,
|
|
"unrecognized type attribute '%0' in SDK node", (StringRef))
|
|
ERROR(sdk_node_unrecognized_decl_attr_kind,none,
|
|
"unrecognized declaration attribute '%0' in SDK node", (StringRef))
|
|
ERROR(sdk_node_unrecognized_decl_kind,none,
|
|
"unrecognized declaration kind '%0' in SDK node", (StringRef))
|
|
ERROR(sdk_node_unrecognized_accessor_kind,none,
|
|
"unrecognized accessor kind '%0' in SDK node", (StringRef))
|
|
|
|
// Emitted from ModuleDecl::computeFileIDMap()
|
|
WARNING(source_location_creates_file_id_conflicts,none,
|
|
"'#sourceLocation' directive produces '#fileID' string of '%0', which "
|
|
"conflicts with '#fileID' strings produced by other paths in the "
|
|
"module", (StringRef))
|
|
NOTE(fixit_correct_source_location_file,none,
|
|
"change file in '#sourceLocation' to '%0'", (StringRef))
|
|
|
|
// Usually, but not always, emitted from the driver
|
|
ERROR(error_two_files_same_name,none,
|
|
"filename \"%0\" used twice: '%1' and '%2'",
|
|
(StringRef, StringRef, StringRef))
|
|
NOTE(note_explain_two_files_same_name,none,
|
|
"filenames are used to distinguish private declarations with the same "
|
|
"name", ())
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: Circular reference diagnostics
|
|
//------------------------------------------------------------------------------
|
|
ERROR(circular_reference, none,
|
|
"circular reference", ())
|
|
|
|
NOTE(circular_reference_through, none,
|
|
"through reference here", ())
|
|
|
|
ERROR(circular_class_inheritance,none,
|
|
"%0 inherits from itself", (Identifier))
|
|
|
|
ERROR(circular_enum_inheritance,none,
|
|
"%0 has a raw type that depends on itself", (Identifier))
|
|
|
|
ERROR(circular_protocol_def,none,
|
|
"protocol %0 refines itself", (Identifier))
|
|
|
|
NOTE(kind_declname_declared_here,none,
|
|
"%0 %1 declared here", (DescriptiveDeclKind, DeclName))
|
|
|
|
WARNING(warn_property_wrapper_module_scope,none,
|
|
"ignoring associated type %0 in favor of module-scoped property "
|
|
"wrapper %0; please qualify the reference with %1",
|
|
(DeclNameRef, Identifier))
|
|
|
|
NOTE(circular_type_resolution_note,none,
|
|
"while resolving type %0", (TypeRepr *))
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: Cross-import overlay loading diagnostics
|
|
//------------------------------------------------------------------------------
|
|
ERROR(cannot_load_swiftoverlay_file, none,
|
|
"cannot load cross-import overlay for '%0' and '%1': %2 (declared by '%3')",
|
|
(StringRef, StringRef, StringRef, StringRef))
|
|
ERROR(cannot_list_swiftcrossimport_dir, none,
|
|
"cannot list cross-import overlays for '%0': %1 (declared in '%2')",
|
|
(StringRef, StringRef, StringRef))
|
|
WARNING(cross_imported_by_both_modules, none,
|
|
"modules %0 and %1 both declare module %2 as a cross-import overlay, "
|
|
"which may cause paradoxical behavior when looking up names in them; "
|
|
"please report this bug to the maintainers of these modules",
|
|
(Identifier, Identifier, Identifier))
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: dependencies scanner diagnostics
|
|
//------------------------------------------------------------------------------
|
|
|
|
ERROR(scanner_find_cycle, none,
|
|
"module dependency cycle: '%0'", (StringRef))
|
|
|
|
NOTE(scanner_find_cycle_swift_overlay_path, none,
|
|
"Swift Overlay dependency of '%0' on '%1' via Clang module dependency: '%2'", (StringRef, StringRef, StringRef))
|
|
|
|
ERROR(scanner_arguments_invalid, none,
|
|
"dependencies scanner cannot be configured with arguments: '%0'", (StringRef))
|
|
|
|
ERROR(error_scanner_extra, none,
|
|
"failed inside dependency scanner: '%0'", (StringRef))
|
|
|
|
REMARK(warn_scanner_deserialize_failed, none,
|
|
"Incremental module scan: Failed to load module scanning dependency cache from: '%0', re-building scanner cache from scratch.", (StringRef))
|
|
|
|
REMARK(remark_reuse_cache, none,
|
|
"Incremental module scan: Re-using serialized module scanning dependency cache from: '%0'.", (StringRef))
|
|
|
|
REMARK(remark_scanner_uncached_lookups, none,
|
|
"Module Dependency Scanner queries executed: '%0'.", (unsigned))
|
|
|
|
REMARK(remark_save_cache, none,
|
|
"Incremental module scan: Serializing module scanning dependency cache to: '%0'.", (StringRef))
|
|
|
|
REMARK(remark_scanner_stale_result_invalidate, none,
|
|
"Incremental module scan: Dependency info for module '%0' invalidated due to a modified input"
|
|
" since last scan: '%1'.", (StringRef, StringRef))
|
|
|
|
REMARK(remark_scanner_invalidate_upstream, none,
|
|
"Incremental module scan: Dependency info for module '%0' invalidated due to an out-of-date"
|
|
" dependency.", (StringRef))
|
|
|
|
REMARK(remark_scanner_invalidate_configuration, none,
|
|
"Incremental module scan: Dependency info for module '%0' invalidated due to wrong configuration.", (StringRef))
|
|
|
|
REMARK(remark_scanner_invalidate_cas_error, none,
|
|
"Incremental module scan: Dependency info for module '%0' invalidated due to cas error: %1", (StringRef, StringRef))
|
|
|
|
REMARK(remark_scanner_invalidate_missing_cas, none,
|
|
"Incremental module scan: Dependency info for module '%0' invalidated due to missing CAS input '%1'.", (StringRef, StringRef))
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: custom attribute diagnostics
|
|
//------------------------------------------------------------------------------
|
|
|
|
ERROR(unknown_attribute,none,
|
|
"unknown attribute '%0'", (StringRef))
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: macro diagnostics
|
|
//------------------------------------------------------------------------------
|
|
NOTE(in_macro_expansion,none,
|
|
"in expansion of macro %0%select{| on %kind1}1 here", (DeclName, const Decl *))
|
|
ERROR(macro_experimental,none,
|
|
"%0 macros are an experimental feature that is not enabled %select{|(%1)}1",
|
|
(StringRef, StringRef))
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: lexical lookup diagnostics
|
|
//------------------------------------------------------------------------------
|
|
|
|
ERROR(lookup_outputs_dont_match,none,
|
|
"Unqualified lookup output from ASTScope and SwiftLexicalLookup don't match", ())
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: bridged diagnostics
|
|
//------------------------------------------------------------------------------
|
|
|
|
NOTE(bridged_note, none, "%0", (StringRef))
|
|
WARNING(bridged_warning, none,"%0", (StringRef))
|
|
ERROR(bridged_error, none, "%0", (StringRef))
|
|
ERROR(bridged_fatal_error, Fatal, "%0", (StringRef))
|
|
REMARK(bridged_remark, none, "%0", (StringRef))
|
|
|
|
//------------------------------------------------------------------------------
|
|
// MARK: #warning and #error
|
|
//------------------------------------------------------------------------------
|
|
|
|
WARNING(pound_warning, none, "%0", (StringRef))
|
|
ERROR(pound_error, none, "%0", (StringRef))
|
|
|
|
#define UNDEFINE_DIAGNOSTIC_MACROS
|
|
#include "DefineDiagnosticMacros.h"
|