KeywordFile.swift

//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2023 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
//
//===----------------------------------------------------------------------===//

import SwiftSyntax
import SwiftSyntaxBuilder
import SyntaxSupport
import Utils

let lookupTable = ArrayExprSyntax(leftSquare: .leftSquareToken(trailingTrivia: .newline)) {
  for keyword in Keyword.allCases {
    ArrayElementSyntax(expression: ExprSyntax("\(literal: keyword.spec.name)"), trailingComma: .commaToken())
  }
}

let keywordFile = SourceFileSyntax(leadingTrivia: copyrightHeader) {
  try! EnumDeclSyntax(
    """
    public enum Keyword: UInt8, Hashable, Sendable
    """
  ) {
    for keyword in Keyword.allCases {
      DeclSyntax(
        """
        \(keyword.spec.apiAttributes)\
        case \(keyword.spec.varOrCaseName.backtickedIfNeeded)
        """
      )
    }

    try! InitializerDeclSyntax("@_spi(RawSyntax) public init?(_ text: SyntaxText)") {
      try! SwitchExprSyntax("switch text.count") {
        for (length, keywords) in keywordsByLength() {
          SwitchCaseSyntax("case \(raw: length):") {
            try! SwitchExprSyntax("switch text") {
              for keyword in keywords {
                SwitchCaseSyntax("case \(literal: keyword.name):") {
                  ExprSyntax("self = .\(keyword.varOrCaseName)")
                }
              }
              SwitchCaseSyntax("default: return nil")
            }
          }
        }
        SwitchCaseSyntax("default: return nil")
      }
    }

    try! InitializerDeclSyntax(
      """
        @_spi(RawSyntax) 
        public init?(falseFriendText text: SyntaxText)
      """
    ) {
      try! SwitchExprSyntax("switch text.count") {
        for (length, falseFriendKeywords) in falseFriendKeywordsByLength() {
          SwitchCaseSyntax("case \(raw: length):") {
            try! SwitchExprSyntax("switch text") {
              for (falseFriend, keyword) in falseFriendKeywords {
                SwitchCaseSyntax("case \(literal: falseFriend.text.description): // \(raw: falseFriend.remark)") {
                  ExprSyntax("self = .\(keyword.varOrCaseName)")
                }
              }
              SwitchCaseSyntax("default: return nil")
            }
          }
        }
        SwitchCaseSyntax("default: return nil")
      }
    }

    DeclSyntax(
      """
      /// This is really unfortunate. Really, we should have a `switch` in
      /// `Keyword.defaultText` to return the keyword's kind but the constant lookup
      /// table is significantly faster. Ideally, we could also get the compiler to
      /// constant-evaluate `Keyword.spi.defaultText` to a ``SyntaxText`` but I don't
      /// see how that's possible right now.
      private static let keywordTextLookupTable: [SyntaxText] = \(lookupTable)
      """
    )

    DeclSyntax(
      """
      @_spi(RawSyntax)
      public var defaultText: SyntaxText {
        return Keyword.keywordTextLookupTable[Int(self.rawValue)]
      }
      """
    )
  }
}