Parse initializes and accesses specifiers in init accessors.

Author: hborla

Sources/SwiftParser/Declarations.swift

@@ -1538,6 +1538,7 @@ extension Parser {
  }
 
  let effectSpecifiers = self.parseAccessorEffectSpecifiers()
+ let initEffects = self.parseInitAccessorEffects()
 
  let body = self.parseOptionalCodeBlock()
  return RawAccessorDeclSyntax(
@@ -1547,6 +1548,7 @@ extension Parser {
  accessorKind: introducer.token,
  parameter: parameter,
  effectSpecifiers: effectSpecifiers,
+ initEffects: initEffects,
  body: body,
  arena: self.arena
  )

Sources/SwiftParser/Specifiers.swift

@@ -572,3 +572,74 @@ extension Parser {
  return RawUnexpectedNodesSyntax(unexpected, arena: self.arena)
  }
 }
+
+// MARK: - Parsing `initializes` and `accesses` specifiers in init accessors
+
+extension Parser {
+ mutating func parseInitAccessorEffects() -> RawAccessorInitEffectsSyntax? {
+ let initializes = self.parseInitializesSpecifier()
+ let accesses = self.parseAccessesSpecifier()
+
+ if initializes == nil, accesses == nil {
+ return nil
+ }
+
+ return RawAccessorInitEffectsSyntax(
+ initializesEffect: initializes,
+ accessesEffect: accesses,
+ arena: self.arena
+ )
+ }
+
+ mutating func parseInitializesSpecifier() -> RawInitializesEffectSyntax? {
+ guard let keyword = self.consume(if: .keyword(.initializes)) else {
+ return nil
+ }
+
+ let (unexpectedBeforeLeftParen, leftParen) = self.expect(.leftParen)
+
+ let args = parseArgumentListElements(pattern: .none)
+ let argumentList = RawTupleExprElementListSyntax(
+ elements: args,
+ arena: self.arena
+ )
+
+ let (unexpectedBeforeRightParen, rightParen) = self.expect(.rightParen)
+
+ return RawInitializesEffectSyntax(
+ initializesKeyword: keyword,
+ unexpectedBeforeLeftParen,
+ leftParen: leftParen,
+ propertyList: argumentList,
+ unexpectedBeforeRightParen,
+ rightParen: rightParen,
+ arena: self.arena
+ )
+ }
+
+ mutating func parseAccessesSpecifier() -> RawAccessesEffectSyntax? {
+ guard let keyword = self.consume(if: .keyword(.accesses)) else {
+ return nil
+ }
+
+ let (unexpectedBeforeLeftParen, leftParen) = self.expect(.leftParen)
+
+ let args = parseArgumentListElements(pattern: .none)
+ let argumentList = RawTupleExprElementListSyntax(
+ elements: args,
+ arena: self.arena
+ )
+
+ let (unexpectedBeforeRightParen, rightParen) = self.expect(.rightParen)
+
+ return RawAccessesEffectSyntax(
+ accessesKeyword: keyword,
+ unexpectedBeforeLeftParen,
+ leftParen: leftParen,
+ propertyList: argumentList,
+ unexpectedBeforeRightParen,
+ rightParen: rightParen,
+ arena: self.arena
+ )
+ }
+}

Tests/SwiftParserTest/DeclarationTests.swift

@@ -918,6 +918,48 @@ final class DeclarationTests: XCTestCase {
  )
  }
 
+ func testInitAccessorEffects() {
+ assertParse(
+ """
+ struct S {
+ var value: Int {
+ init initializes(x) {}
+ }
+ }
+ """
+ )
+
+ assertParse(
+ """
+ struct S {
+ var value: Int {
+ init accesses(x) {}
+ }
+ }
+ """
+ )
+
+ assertParse(
+ """
+ struct S {
+ var value: Int {
+ init initializes(x) accesses(y) {}
+ }
+ }
+ """
+ )
+
+ assertParse(
+ """
+ struct S {
+ var value: Int {
+ init initializes(x, y, z) accesses(x, y, z) {}
+ }
+ }
+ """
+ )
+ }
+
  func testExpressionMember() {
  assertParse(
  """