diagnostic_kind.def 5.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // Note that this is an X-macro header.
  6. //
  7. // It does not use `#include` guards, and instead is designed to be `#include`ed
  8. // after some set of x-macros are defined in order for its inclusion to expand
  9. // to the desired output.
  10. //
  11. // The viable X-macros to define prior to including the header are:
  12. //
  13. // - `CARBON_DIAGNOSTIC_KIND`
  14. #ifndef CARBON_DIAGNOSTIC_KIND
  15. #error "Must define the x-macro to use this file."
  16. #endif
  17. // ============================================================================
  18. // Lexer diagnostics
  19. // ============================================================================
  20. CARBON_DIAGNOSTIC_KIND(BinaryRealLiteral)
  21. CARBON_DIAGNOSTIC_KIND(ContentBeforeStringTerminator)
  22. CARBON_DIAGNOSTIC_KIND(DecimalEscapeSequence)
  23. CARBON_DIAGNOSTIC_KIND(EmptyDigitSequence)
  24. CARBON_DIAGNOSTIC_KIND(HexadecimalEscapeMissingDigits)
  25. CARBON_DIAGNOSTIC_KIND(InvalidDigit)
  26. CARBON_DIAGNOSTIC_KIND(InvalidDigitSeparator)
  27. CARBON_DIAGNOSTIC_KIND(InvalidHorizontalWhitespaceInString)
  28. CARBON_DIAGNOSTIC_KIND(IrregularDigitSeparators)
  29. CARBON_DIAGNOSTIC_KIND(MismatchedClosing)
  30. CARBON_DIAGNOSTIC_KIND(MismatchedIndentInString)
  31. CARBON_DIAGNOSTIC_KIND(MultiLineStringWithDoubleQuotes)
  32. CARBON_DIAGNOSTIC_KIND(NoWhitespaceAfterCommentIntroducer)
  33. CARBON_DIAGNOSTIC_KIND(TooManyDigits)
  34. CARBON_DIAGNOSTIC_KIND(TrailingComment)
  35. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeMissingBracedDigits)
  36. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeSurrogate)
  37. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeTooLarge)
  38. CARBON_DIAGNOSTIC_KIND(UnknownBaseSpecifier)
  39. CARBON_DIAGNOSTIC_KIND(UnknownEscapeSequence)
  40. CARBON_DIAGNOSTIC_KIND(UnmatchedClosing)
  41. CARBON_DIAGNOSTIC_KIND(UnrecognizedCharacters)
  42. CARBON_DIAGNOSTIC_KIND(UnterminatedString)
  43. CARBON_DIAGNOSTIC_KIND(WrongRealLiteralExponent)
  44. // ============================================================================
  45. // Parser diagnostics
  46. // ============================================================================
  47. CARBON_DIAGNOSTIC_KIND(BinaryOperatorRequiresWhitespace)
  48. CARBON_DIAGNOSTIC_KIND(ExpectedArraySemi)
  49. CARBON_DIAGNOSTIC_KIND(ExpectedCloseSymbol)
  50. CARBON_DIAGNOSTIC_KIND(ExpectedCodeBlock)
  51. CARBON_DIAGNOSTIC_KIND(ExpectedExpression)
  52. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterDotOrArrow)
  53. CARBON_DIAGNOSTIC_KIND(ExpectedParameterName)
  54. CARBON_DIAGNOSTIC_KIND(ExpectedParenAfter)
  55. CARBON_DIAGNOSTIC_KIND(ExpectedExpressionSemi)
  56. CARBON_DIAGNOSTIC_KIND(ExpectedStatementSemi)
  57. CARBON_DIAGNOSTIC_KIND(ExpectedStructLiteralField)
  58. CARBON_DIAGNOSTIC_KIND(ExpectedVariableDeclaration)
  59. CARBON_DIAGNOSTIC_KIND(ExpectedVariableName)
  60. CARBON_DIAGNOSTIC_KIND(OperatorRequiresParentheses)
  61. CARBON_DIAGNOSTIC_KIND(StatementOperatorAsSubexpression)
  62. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresParentheses)
  63. CARBON_DIAGNOSTIC_KIND(UnaryOperatorHasWhitespace)
  64. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresWhitespace)
  65. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenAfterListElement)
  66. CARBON_DIAGNOSTIC_KIND(UnrecognizedDeclaration)
  67. // Package-related diagnostics.
  68. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterPackage)
  69. CARBON_DIAGNOSTIC_KIND(ExpectedLibraryName)
  70. CARBON_DIAGNOSTIC_KIND(MissingLibraryKeyword)
  71. CARBON_DIAGNOSTIC_KIND(ExpectedApiOrImpl)
  72. // For-specific diagnostics.
  73. CARBON_DIAGNOSTIC_KIND(ExpectedIn)
  74. CARBON_DIAGNOSTIC_KIND(ExpectedInNotColon)
  75. // If-specific diagnostics.
  76. CARBON_DIAGNOSTIC_KIND(ExpectedThenAfterIf)
  77. CARBON_DIAGNOSTIC_KIND(ExpectedElseAfterIf)
  78. // Declaration diagnostics.
  79. CARBON_DIAGNOSTIC_KIND(ExpectedDeclarationName)
  80. CARBON_DIAGNOSTIC_KIND(ExpectedDeclarationSemi)
  81. CARBON_DIAGNOSTIC_KIND(ExpectedDeclarationSemiOrDefinition)
  82. CARBON_DIAGNOSTIC_KIND(MethodImplNotAllowed)
  83. CARBON_DIAGNOSTIC_KIND(ParametersRequiredByIntroducer)
  84. CARBON_DIAGNOSTIC_KIND(ParametersRequiredByDeduced)
  85. // ============================================================================
  86. // Semantics diagnostics
  87. // ============================================================================
  88. CARBON_DIAGNOSTIC_KIND(SemanticsTodo)
  89. CARBON_DIAGNOSTIC_KIND(AddressOfEphemeralReference)
  90. CARBON_DIAGNOSTIC_KIND(AddressOfNonReference)
  91. CARBON_DIAGNOSTIC_KIND(AssignmentToNonAssignable)
  92. CARBON_DIAGNOSTIC_KIND(DereferenceOfNonPointer)
  93. CARBON_DIAGNOSTIC_KIND(DereferenceOfType)
  94. CARBON_DIAGNOSTIC_KIND(NameNotFound)
  95. CARBON_DIAGNOSTIC_KIND(NameDeclarationDuplicate)
  96. CARBON_DIAGNOSTIC_KIND(NameDeclarationPrevious)
  97. CARBON_DIAGNOSTIC_KIND(NoMatchingCall)
  98. CARBON_DIAGNOSTIC_KIND(CallArgCountMismatch)
  99. CARBON_DIAGNOSTIC_KIND(CallArgTypeMismatch)
  100. CARBON_DIAGNOSTIC_KIND(MissingReturnStatement)
  101. CARBON_DIAGNOSTIC_KIND(RepeatedConst)
  102. CARBON_DIAGNOSTIC_KIND(InvalidArrayExpression)
  103. CARBON_DIAGNOSTIC_KIND(InvalidIndexExpression)
  104. CARBON_DIAGNOSTIC_KIND(NondeterministicType)
  105. CARBON_DIAGNOSTIC_KIND(OutOfBoundsAccess)
  106. CARBON_DIAGNOSTIC_KIND(ReturnStatementDisallowExpression)
  107. CARBON_DIAGNOSTIC_KIND(ReturnStatementImplicitNote)
  108. CARBON_DIAGNOSTIC_KIND(ReturnStatementMissingExpression)
  109. CARBON_DIAGNOSTIC_KIND(ImplicitAsConversionFailure)
  110. CARBON_DIAGNOSTIC_KIND(QualifiedDeclarationInNonScope)
  111. CARBON_DIAGNOSTIC_KIND(QualifiedDeclarationNonScopeEntity)
  112. CARBON_DIAGNOSTIC_KIND(QualifiedExpressionUnsupported)
  113. CARBON_DIAGNOSTIC_KIND(QualifiedExpressionNameNotFound)
  114. // ============================================================================
  115. // Other diagnostics
  116. // ============================================================================
  117. // TestDiagnostic is only for unit tests.
  118. CARBON_DIAGNOSTIC_KIND(TestDiagnostic)
  119. CARBON_DIAGNOSTIC_KIND(TestDiagnosticNote)
  120. #undef CARBON_DIAGNOSTIC_KIND