Home Explore Help
Sign In
tomteb
/
carbon-lang
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: bc63e6ae0a
Branches Tags
carbon-lang
/
toolchain
/
diagnostics
/
diagnostic_kind.def

diagnostic_kind.def 5.9 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144 
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
    2. 

  2. // Exceptions. See /LICENSE for license information.
    3. 

  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
    4. 

  4. //
    5. 

  5. // Note that this is an X-macro header.
    6. 

  6. //
    7. 

  7. // It does not use `#include` guards, and instead is designed to be `#include`ed
    8. 

  8. // after some set of x-macros are defined in order for its inclusion to expand
    9. 

  9. // to the desired output.
    10. 

  10. //
    11. 

  11. // The viable X-macros to define prior to including the header are:
    12. 

  12. //
    13. 

  13. // - `CARBON_DIAGNOSTIC_KIND`
    14. 

  14. 

  15. #ifndef CARBON_DIAGNOSTIC_KIND
    16. 

  16. #error "Must define the x-macro to use this file."
    17. 

  17. #endif
    18. 

  18. 

  19. // ============================================================================
    20. 

  20. // SourceBuffer diagnostics
    21. 

  21. // ============================================================================
    22. 

  22. 

  23. CARBON_DIAGNOSTIC_KIND(ErrorOpeningFile)
    24. 

  24. CARBON_DIAGNOSTIC_KIND(ErrorStattingFile)
    25. 

  25. CARBON_DIAGNOSTIC_KIND(FileTooLarge)
    26. 

  26. CARBON_DIAGNOSTIC_KIND(ErrorReadingFile)
    27. 

  27. 

  28. // ============================================================================
    29. 

  29. // Lexer diagnostics
    30. 

  30. // ============================================================================
    31. 

  31. 

  32. CARBON_DIAGNOSTIC_KIND(BinaryRealLiteral)
    33. 

  33. CARBON_DIAGNOSTIC_KIND(ContentBeforeStringTerminator)
    34. 

  34. CARBON_DIAGNOSTIC_KIND(DecimalEscapeSequence)
    35. 

  35. CARBON_DIAGNOSTIC_KIND(EmptyDigitSequence)
    36. 

  36. CARBON_DIAGNOSTIC_KIND(HexadecimalEscapeMissingDigits)
    37. 

  37. CARBON_DIAGNOSTIC_KIND(InvalidDigit)
    38. 

  38. CARBON_DIAGNOSTIC_KIND(InvalidDigitSeparator)
    39. 

  39. CARBON_DIAGNOSTIC_KIND(InvalidHorizontalWhitespaceInString)
    40. 

  40. CARBON_DIAGNOSTIC_KIND(IrregularDigitSeparators)
    41. 

  41. CARBON_DIAGNOSTIC_KIND(MismatchedClosing)
    42. 

  42. CARBON_DIAGNOSTIC_KIND(MismatchedIndentInString)
    43. 

  43. CARBON_DIAGNOSTIC_KIND(MultiLineStringWithDoubleQuotes)
    44. 

  44. CARBON_DIAGNOSTIC_KIND(NoWhitespaceAfterCommentIntroducer)
    45. 

  45. CARBON_DIAGNOSTIC_KIND(TooManyDigits)
    46. 

  46. CARBON_DIAGNOSTIC_KIND(TrailingComment)
    47. 

  47. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeMissingBracedDigits)
    48. 

  48. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeSurrogate)
    49. 

  49. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeTooLarge)
    50. 

  50. CARBON_DIAGNOSTIC_KIND(UnknownBaseSpecifier)
    51. 

  51. CARBON_DIAGNOSTIC_KIND(UnknownEscapeSequence)
    52. 

  52. CARBON_DIAGNOSTIC_KIND(UnmatchedClosing)
    53. 

  53. CARBON_DIAGNOSTIC_KIND(UnrecognizedCharacters)
    54. 

  54. CARBON_DIAGNOSTIC_KIND(UnterminatedString)
    55. 

  55. CARBON_DIAGNOSTIC_KIND(WrongRealLiteralExponent)
    56. 

  56. 

  57. // ============================================================================
    58. 

  58. // Parser diagnostics
    59. 

  59. // ============================================================================
    60. 

  60. 

  61. CARBON_DIAGNOSTIC_KIND(BinaryOperatorRequiresWhitespace)
    62. 

  62. CARBON_DIAGNOSTIC_KIND(ExpectedArraySemi)
    63. 

  63. CARBON_DIAGNOSTIC_KIND(ExpectedCloseSymbol)
    64. 

  64. CARBON_DIAGNOSTIC_KIND(ExpectedCodeBlock)
    65. 

  65. CARBON_DIAGNOSTIC_KIND(ExpectedExpression)
    66. 

  66. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterDotOrArrow)
    67. 

  67. CARBON_DIAGNOSTIC_KIND(ExpectedParameterName)
    68. 

  68. CARBON_DIAGNOSTIC_KIND(ExpectedParenAfter)
    69. 

  69. CARBON_DIAGNOSTIC_KIND(ExpectedExpressionSemi)
    70. 

  70. CARBON_DIAGNOSTIC_KIND(ExpectedStatementSemi)
    71. 

  71. CARBON_DIAGNOSTIC_KIND(ExpectedStructLiteralField)
    72. 

  72. CARBON_DIAGNOSTIC_KIND(ExpectedVariableDeclaration)
    73. 

  73. CARBON_DIAGNOSTIC_KIND(ExpectedVariableName)
    74. 

  74. CARBON_DIAGNOSTIC_KIND(OperatorRequiresParentheses)
    75. 

  75. CARBON_DIAGNOSTIC_KIND(StatementOperatorAsSubexpression)
    76. 

  76. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresParentheses)
    77. 

  77. CARBON_DIAGNOSTIC_KIND(UnaryOperatorHasWhitespace)
    78. 

  78. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresWhitespace)
    79. 

  79. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenAfterListElement)
    80. 

  80. CARBON_DIAGNOSTIC_KIND(UnrecognizedDeclaration)
    81. 

  81. 

  82. // Package-related diagnostics.
    83. 

  83. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterPackage)
    84. 

  84. CARBON_DIAGNOSTIC_KIND(ExpectedLibraryName)
    85. 

  85. CARBON_DIAGNOSTIC_KIND(MissingLibraryKeyword)
    86. 

  86. CARBON_DIAGNOSTIC_KIND(ExpectedApiOrImpl)
    87. 

  87. 

  88. // For-specific diagnostics.
    89. 

  89. CARBON_DIAGNOSTIC_KIND(ExpectedIn)
    90. 

  90. CARBON_DIAGNOSTIC_KIND(ExpectedInNotColon)
    91. 

  91. 

  92. // If-specific diagnostics.
    93. 

  93. CARBON_DIAGNOSTIC_KIND(ExpectedThenAfterIf)
    94. 

  94. CARBON_DIAGNOSTIC_KIND(ExpectedElseAfterIf)
    95. 

  95. 

  96. // Declaration diagnostics.
    97. 

  97. CARBON_DIAGNOSTIC_KIND(ExpectedDeclarationName)
    98. 

  98. CARBON_DIAGNOSTIC_KIND(ExpectedDeclarationSemi)
    99. 

  99. CARBON_DIAGNOSTIC_KIND(ExpectedDeclarationSemiOrDefinition)
    100. 

  100. CARBON_DIAGNOSTIC_KIND(MethodImplNotAllowed)
    101. 

  101. CARBON_DIAGNOSTIC_KIND(ParametersRequiredByIntroducer)
    102. 

  102. CARBON_DIAGNOSTIC_KIND(ParametersRequiredByDeduced)
    103. 

  103. 

  104. // ============================================================================
    105. 

  105. // Semantics diagnostics
    106. 

  106. // ============================================================================
    107. 

  107. 

  108. CARBON_DIAGNOSTIC_KIND(SemanticsTodo)
    109. 

  109. 

  110. CARBON_DIAGNOSTIC_KIND(AddressOfEphemeralReference)
    111. 

  111. CARBON_DIAGNOSTIC_KIND(AddressOfNonReference)
    112. 

  112. CARBON_DIAGNOSTIC_KIND(AssignmentToNonAssignable)
    113. 

  113. CARBON_DIAGNOSTIC_KIND(DereferenceOfNonPointer)
    114. 

  114. CARBON_DIAGNOSTIC_KIND(DereferenceOfType)
    115. 

  115. CARBON_DIAGNOSTIC_KIND(NameNotFound)
    116. 

  116. CARBON_DIAGNOSTIC_KIND(NameDeclarationDuplicate)
    117. 

  117. CARBON_DIAGNOSTIC_KIND(NameDeclarationPrevious)
    118. 

  118. CARBON_DIAGNOSTIC_KIND(NoMatchingCall)
    119. 

  119. CARBON_DIAGNOSTIC_KIND(CallArgCountMismatch)
    120. 

  120. CARBON_DIAGNOSTIC_KIND(CallArgTypeMismatch)
    121. 

  121. CARBON_DIAGNOSTIC_KIND(MissingReturnStatement)
    122. 

  122. CARBON_DIAGNOSTIC_KIND(RepeatedConst)
    123. 

  123. CARBON_DIAGNOSTIC_KIND(InvalidArrayExpression)
    124. 

  124. CARBON_DIAGNOSTIC_KIND(TypeNotIndexable)
    125. 

  125. CARBON_DIAGNOSTIC_KIND(IndexOutOfBounds)
    126. 

  126. CARBON_DIAGNOSTIC_KIND(TupleIndexIntegerLiteral)
    127. 

  127. CARBON_DIAGNOSTIC_KIND(ReturnStatementDisallowExpression)
    128. 

  128. CARBON_DIAGNOSTIC_KIND(ReturnStatementImplicitNote)
    129. 

  129. CARBON_DIAGNOSTIC_KIND(ReturnStatementMissingExpression)
    130. 

  130. CARBON_DIAGNOSTIC_KIND(ImplicitAsConversionFailure)
    131. 

  131. CARBON_DIAGNOSTIC_KIND(QualifiedDeclarationInNonScope)
    132. 

  132. CARBON_DIAGNOSTIC_KIND(QualifiedDeclarationNonScopeEntity)
    133. 

  133. CARBON_DIAGNOSTIC_KIND(QualifiedExpressionUnsupported)
    134. 

  134. CARBON_DIAGNOSTIC_KIND(QualifiedExpressionNameNotFound)
    135. 

  135. 

  136. // ============================================================================
    137. 

  137. // Other diagnostics
    138. 

  138. // ============================================================================
    139. 

  139. 

  140. // TestDiagnostic is only for unit tests.
    141. 

  141. CARBON_DIAGNOSTIC_KIND(TestDiagnostic)
    142. 

  142. CARBON_DIAGNOSTIC_KIND(TestDiagnosticNote)
    143. 

  143. 

  144. #undef CARBON_DIAGNOSTIC_KIND
    145.