Move TypeAttribute to SwiftSyntaxBuilder

Author: kimdv

CodeGeneration/Package.swift

@@ -9,6 +9,7 @@ let package = Package(
     ],
   products: [
     .executable(name: "generate-swiftbasicformat", targets: ["generate-swiftbasicformat"]),
+    .executable(name: "generate-swiftparser", targets: ["generate-swiftparser"]),
     .executable(name: "generate-swiftsyntaxbuilder", targets: ["generate-swiftsyntaxbuilder"]),
   ],
   dependencies: [
@@ -26,6 +27,16 @@ let package = Package(
         "Utils"
       ]
     ),
+    .executableTarget(
+      name: "generate-swiftparser",
+      dependencies: [
+        .product(name: "SwiftSyntax", package: "swift-syntax"),
+        .product(name: "SwiftSyntaxBuilder", package: "swift-syntax"),
+        .product(name: "ArgumentParser", package: "swift-argument-parser"),
+        "SyntaxSupport",
+        "Utils"
+      ]
+    ),
     .executableTarget(
       name: "generate-swiftsyntaxbuilder",
       dependencies: [

CodeGeneration/Sources/SyntaxSupport/AttributeKinds.swift.gyb

@@ -0,0 +1,240 @@
+//// Automatically Generated From AttributeNodes.swift.gyb.
+//// Do Not Edit Directly!
+//===----------------------------------------------------------------------===//
+//
+// This source file is part of the Swift.org open source project
+//
+// Copyright (c) 2014 - 2022 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
+//
+//===----------------------------------------------------------------------===//
+
+public class Attribute {
+  public let name: String
+  public let swiftName: String?
+  
+  public init(name: String, swiftName: String? = nil) {
+    self.name = name
+    self.swiftName = swiftName
+  }
+}
+
+public class TypeAttribute: Attribute {
+  public init(name: String) {
+    super.init(name: name)
+  }
+}
+
+public class DeclAttribute: Attribute {
+  public let className: String
+  public let options: [String]
+  public let code: Int
+  
+  public convenience init(name: String, className: String, options: String..., code: Int, swiftName: String? = nil) {
+    self.init(name: name, className: className, options: options, code: code, swiftName: swiftName)
+  }
+  
+  public init(name: String, className: String, options: [String], code: Int, swiftName: String? = nil) {
+    self.className = className
+    self.options = options
+    self.code = code
+    super.init(name: name, swiftName: swiftName)
+  }
+}
+
+public class SimpleDeclAttribute: DeclAttribute { }
+
+public class ContextualDeclAttribute: DeclAttribute {
+  public init(name: String, className: String, options: String..., code: Int) {
+    super.init(name: name, className: className, options: options, code: code)
+  }
+}
+
+public class ContextualSimpleDeclAttribute: SimpleDeclAttribute {
+  public init(name: String, className: String, options: String..., code: Int) {
+    super.init(name: name, className: className, options: options, code: code)
+  }
+}
+
+public class DeclAttributeAlias: Attribute {
+  public let className: String
+  
+  public init(name: String, className: String, swiftName: String? = nil) {
+    self.className = className
+    super.init(name: name, swiftName: swiftName)
+    
+  }
+}
+
+public class ContextualDeclAttributeAlias: DeclAttributeAlias { }
+
+public class BuiltinDeclModifier: Attribute { }
+
+// Abstract class aggregations for use in Attr.def.
+let onValue = "OnValue"
+let onTypeAlias = "OnTypeAlias"
+let onEnumElement = "OnEnumElement"
+let onSubscript = "OnSubscript"
+let onVar = "OnVar"
+let onExtension = "OnExtension"
+let onClass = "OnClass"
+let onFunc = "OnFunc"
+let onAccessor = "OnAccessor"
+let onEnum = "OnEnum"
+let onConstructor = "OnConstructor"
+let onStruct = "OnStruct"
+let onImport = "OnImport"
+let onAssociatedType = "OnAssociatedType"
+let onGenericTypeParam = "OnGenericTypeParam"
+let onParam = "OnParam"
+let onNominalType = "OnNominalType"
+let onProtocol = "OnProtocol"
+let onConcreteNominalType = "OnConcreteNominalType"
+let onGenericType = "OnGenericType"
+let onAbstractFunction = "OnAbstractFunction"
+let onOperator = "OnOperator"
+let onAnyDecl = "OnAnyDecl"
+
+// True if multiple instances of this attribute are allowed on a single
+// declaration.
+let allowMultipleAttributes = "AllowMultipleAttributes"
+
+// True if this is a decl modifier - i.e., that it should not be spelled
+// with an @.
+let declModifier = "DeclModifier"
+
+// True if this is a long attribute that should be printed on its own line.
+//
+// Currently has no effect on DeclModifier attributes.
+let longAttribute = "LongAttribute"
+
+// True if this shouldn't be serialized.
+let notSerialized = "NotSerialized"
+
+// True if this attribute is only valid when parsing a .sil file.
+let SILOnly = "SILOnly"
+
+// The attribute should be reported by parser as unknown.
+let rejectByParser = "RejectByParser"
+
+// Whether client code cannot use the attribute.
+let userInaccessible = "UserInaccessible"
+
+// Whether adding this attribute can break API
+let APIBreakingToAdd = "APIBreakingToAdd"
+
+// Whether removing this attribute can break API
+let APIBreakingToRemove = "APIBreakingToRemove"
+
+// Whether adding this attribute can break ABI
+let ABIBreakingToAdd = "ABIBreakingToAdd"
+
+// Whether removing this attribute can break ABI
+let ABIBreakingToRemove = "ABIBreakingToRemove"
+
+// The opposite of APIBreakingToAdd
+let APIStableToAdd = "APIStableToAdd"
+
+// The opposite of APIBreakingToRemove
+let APIStableToRemove = "APIStableToRemove"
+
+// The opposite of ABIBreakingToAdd
+let ABIStableToAdd = "ABIStableToAdd"
+
+// The opposite of ABIBreakingToRemove
+let ABIStableToRemove = "ABIStableToRemove"
+
+// Whether this attribute is only valid when concurrency is enabled.
+let concurrencyOnly = "ConcurrencyOnly"
+
+// Whether this attribute is valid on additional decls in ClangImporter.
+let onAnyClangDecl = "OnAnyClangDecl"
+
+// Type attributes
+public let TYPE_ATTR_KINDS = [
+  TypeAttribute(name: "autoclosure"),
+  TypeAttribute(name: "convention"),
+  TypeAttribute(name: "noescape"),
+  TypeAttribute(name: "escaping"),
+  TypeAttribute(name: "differentiable"),
+  TypeAttribute(name: "noDerivative"),
+  TypeAttribute(name: "async"),
+  TypeAttribute(name: "Sendable"),
+  TypeAttribute(name: "unchecked"),
+  TypeAttribute(name: "_local"),
+  TypeAttribute(name: "_noMetadata"),
+  
+  // Generated interface attributes
+  TypeAttribute(name: "_opaqueReturnTypeOf"),
+]
+
+/// Schema for `DeclAttribute`s:
+///
+/// - Attribute name.
+/// - C++ class name without the 'Attr' suffix
+/// - Options for the attribute, including:
+///    * the declarations the attribute can appear on
+///    * whether duplicates are allowed
+/// - Unique attribute identifier used for serialization. This
+///   can never be changed.
+///
+/// SimpleDeclAttribute is the same, but the class becomes
+/// SimpleDeclAttr<DAK_##NAME> on the C++ side.
+///
+/// Please help ease code review/audits:
+/// - Please place the "OnXYZ" flags together on the next line.
+/// - Please place the non-OnXYZ flags together on the next to last line.
+/// - Please place the unique code number on the last line.
+/// - Please sort attributes by serialization number.
+/// - Please create a "NOTE" comment if a unique number is skipped.
+///
+/// If you're adding a new kind of "attribute" that is spelled without a leading
+/// '@' symbol, add an entry to the `DECL_MODIFIER_KINDS` array instead.
+///
+/// If you're adding a new underscored attribute here, please document it in
+/// docs/ReferenceGuides/UnderscoredAttributes.md.
+public let DECL_ATTR_KINDS: [Attribute] = [
+    
+]
+
+/// Schema for declaration modifiers:
+///
+/// - Modifier name.
+/// - C++ class name without the 'Attr' suffix
+/// - Options for the attribute, including:
+///    * the declarations the attribute can appear on
+///    * whether duplicates are allowed
+/// - Unique attribute identifier used for serialization. This
+///   can never be changed.
+///
+/// SimpleDeclAttribute is the same, but the class becomes
+/// SimpleDeclAttr<DAK_##NAME> on the C++ side.
+///
+/// Please help ease code review/audits:
+/// - Please place the "OnXYZ" flags together on the next line.
+/// - Please place the non-OnXYZ flags together on the next to last line.
+/// - Please place the unique code number on the last line.
+/// - Please sort attributes by serialization number.
+/// - Please create a "NOTE" comment if a unique number is skipped.
+///
+/// If you're adding a new kind of attribute that is spelled with a leading
+/// '@' symbol, add an entry to the `DECL_ATTR_KINDS` array instead.
+public let DECL_MODIFIER_KINDS: [Attribute] = [
+    
+]
+
+public let DEPRECATED_MODIFIER_KINDS: [Attribute] = [
+
+]
+
+// def verify_attribute_serialization_codes(nodes):
+//     # Verify that no serialization code is used twice
+//     used_codes = set()
+//     for node in nodes:
+//         if isinstance(node, DeclAttribute):
+//             if node.code in used_codes:
+//                 error("Serialization code %d used twice" % node.code)
+//             used_codes.add(node.code)