Add new syntax nodes for initializes and accesses effects in init accessors.

Author: hborla

CodeGeneration/Sources/SyntaxSupport/DeclNodes.swift

@@ -63,6 +63,74 @@ public let DECL_NODES: [Node] = [
     ]
   ),
 
+  Node(
+    name: "AccessesEffect",
+    nameForDiagnostics: "accesses effect",
+    kind: "Syntax",
+    children: [
+      Child(
+        name: "AccessesKeyword",
+        kind: .token(choices: [.keyword(text: "accesses")])
+      ),
+      Child(
+        name: "LeftParen",
+        kind: .token(choices: [.token(tokenKind: "LeftParenToken")])
+      ),
+      Child(
+        name: "PropertyList",
+        kind: .collection(kind: "TupleExprElementList", collectionElementName: "Property"),
+        nameForDiagnostics: "properties"
+      ),
+      Child(
+        name: "RightParen",
+        kind: .token(choices: [.token(tokenKind: "RightParenToken")])
+      ),
+    ]
+  ),
+
+  Node(
+    name: "InitializesEffect",
+    nameForDiagnostics: "initializes effect",
+    kind: "Syntax",
+    children: [
+      Child(
+        name: "InitializesKeyword",
+        kind: .token(choices: [.keyword(text: "initializes")])
+      ),
+      Child(
+        name: "LeftParen",
+        kind: .token(choices: [.token(tokenKind: "LeftParenToken")])
+      ),
+      Child(
+        name: "PropertyList",
+        kind: .collection(kind: "TupleExprElementList", collectionElementName: "Property"),
+        nameForDiagnostics: "properties"
+      ),
+      Child(
+        name: "RightParen",
+        kind: .token(choices: [.token(tokenKind: "RightParenToken")])
+      ),
+    ]
+  ),
+
+  Node(
+    name: "AccessorInitEffects",
+    nameForDiagnostics: "init accessor effects",
+    kind: "Syntax",
+    children: [
+      Child(
+        name: "InitializesEffect",
+        kind: .node(kind: "InitializesEffect"),
+        isOptional: true
+      ),
+      Child(
+        name: "AccessesEffect",
+        kind: .node(kind: "AccessesEffect"),
+        isOptional: true
+      ),
+    ]
+  ),
+
   Node(
     name: "AccessorDecl",
     nameForDiagnostics: "accessor",
@@ -99,6 +167,11 @@ public let DECL_NODES: [Node] = [
         kind: .node(kind: "AccessorEffectSpecifiers"),
         isOptional: true
       ),
+      Child(
+        name: "InitEffects",
+        kind: .node(kind: "AccessorInitEffects"),
+        isOptional: true
+      ),
       Child(
         name: "Body",
         kind: .node(kind: "CodeBlock"),

CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift

@@ -83,6 +83,7 @@ public let KEYWORDS: [KeywordSpec] = [
   KeywordSpec("_typeEraser"),
   KeywordSpec("_unavailableFromAsync"),
   KeywordSpec("_UnknownLayout"),
+  KeywordSpec("accesses"),
   KeywordSpec("actor"),
   KeywordSpec("addressWithNativeOwner"),
   KeywordSpec("addressWithOwner"),
@@ -148,6 +149,7 @@ public let KEYWORDS: [KeywordSpec] = [
   KeywordSpec("indirect"),
   KeywordSpec("infix"),
   KeywordSpec("init", isLexerClassified: true),
+  KeywordSpec("initializes"),
   KeywordSpec("inline"),
   KeywordSpec("inout", isLexerClassified: true, requiresTrailingSpace: true),
   KeywordSpec("internal", isLexerClassified: true, requiresTrailingSpace: true),