Merge pull request #1132 from DougGregor/remove-special-case-pound-nodes

Author: DougGregor

CodeGeneration/Sources/SyntaxSupport/gyb_generated/ExprNodes.swift

@@ -1162,97 +1162,6 @@ public let EXPR_NODES: [Node] = [
                ])
        ]),
 
-  Node(name: "ObjcNamePiece",
-       nameForDiagnostics: nil,
-       kind: "Syntax",
-       children: [
-         Child(name: "Name",
-               kind: "IdentifierToken",
-               tokenChoices: [
-                 "Identifier"
-               ]),
-         Child(name: "Dot",
-               kind: "PeriodToken",
-               isOptional: true,
-               tokenChoices: [
-                 "Period"
-               ])
-       ]),
-
-  Node(name: "ObjcName",
-       nameForDiagnostics: nil,
-       kind: "SyntaxCollection",
-       element: "ObjcNamePiece"),
-
-  Node(name: "ObjcKeyPathExpr",
-       nameForDiagnostics: "'#keyPath' expression",
-       kind: "Expr",
-       traits: [
-         "Parenthesized"
-       ],
-       children: [
-         Child(name: "KeyPath",
-               kind: "PoundKeyPathToken",
-               tokenChoices: [
-                 "PoundKeyPath"
-               ]),
-         Child(name: "LeftParen",
-               kind: "LeftParenToken",
-               tokenChoices: [
-                 "LeftParen"
-               ]),
-         Child(name: "Name",
-               kind: "ObjcName",
-               collectionElementName: "NamePiece"),
-         Child(name: "RightParen",
-               kind: "RightParenToken",
-               tokenChoices: [
-                 "RightParen"
-               ])
-       ]),
-
-  Node(name: "ObjcSelectorExpr",
-       nameForDiagnostics: "'#selector' expression",
-       kind: "Expr",
-       traits: [
-         "Parenthesized"
-       ],
-       children: [
-         Child(name: "PoundSelector",
-               kind: "PoundSelectorToken",
-               tokenChoices: [
-                 "PoundSelector"
-               ]),
-         Child(name: "LeftParen",
-               kind: "LeftParenToken",
-               tokenChoices: [
-                 "LeftParen"
-               ]),
-         Child(name: "Kind",
-               kind: "ContextualKeywordToken",
-               isOptional: true,
-               tokenChoices: [
-                 "ContextualKeyword"
-               ],
-               textChoices: [
-                 "getter",
-                 "setter"
-               ]),
-         Child(name: "Colon",
-               kind: "ColonToken",
-               isOptional: true,
-               tokenChoices: [
-                 "Colon"
-               ]),
-         Child(name: "Name",
-               kind: "Expr"),
-         Child(name: "RightParen",
-               kind: "RightParenToken",
-               tokenChoices: [
-                 "RightParen"
-               ])
-       ]),
-
   Node(name: "MacroExpansionExpr",
        nameForDiagnostics: "pound literal expression",
        kind: "Expr",
@@ -1317,35 +1226,6 @@ public let EXPR_NODES: [Node] = [
                ])
        ]),
 
-  Node(name: "ObjectLiteralExpr",
-       nameForDiagnostics: "object literal",
-       kind: "Expr",
-       traits: [
-         "Parenthesized"
-       ],
-       children: [
-         Child(name: "Identifier",
-               kind: "Token",
-               tokenChoices: [
-                 "PoundColorLiteral",
-                 "PoundFileLiteral",
-                 "PoundImageLiteral"
-               ]),
-         Child(name: "LeftParen",
-               kind: "LeftParenToken",
-               tokenChoices: [
-                 "LeftParen"
-               ]),
-         Child(name: "Arguments",
-               kind: "TupleExprElementList",
-               collectionElementName: "Argument"),
-         Child(name: "RightParen",
-               kind: "RightParenToken",
-               tokenChoices: [
-                 "RightParen"
-               ])
-       ]),
-
   Node(name: "YieldExprList",
        nameForDiagnostics: "yield list",
        kind: "SyntaxCollection",

Sources/SwiftParser/Expressions.swift

@@ -973,8 +973,6 @@ extension Parser {
   ///     primary-expression → implicit-member-expression
   ///     primary-expression → wildcard-expression
   ///     primary-expression → key-path-expression
-  ///     primary-expression → selector-expression
-  ///     primary-expression → key-path-string-expression
   ///     primary-expression → macro-expansion-expression
   @_spi(RawSyntax)
   public mutating func parsePrimaryExpression(
@@ -1081,11 +1079,6 @@ extension Parser {
         self.parseMacroExpansionExpr(pattern: pattern, flavor: flavor)
       )
 
-    case (.poundSelectorKeyword, _)?:
-      return RawExprSyntax(self.parseObjectiveCSelectorLiteral())
-    case (.poundKeyPathKeyword, _)?:
-      return RawExprSyntax(self.parseObjectiveCKeyPathExpression())
-
     case (.leftBrace, _)?:     // expr-closure
       return RawExprSyntax(self.parseClosureExpression())
     case (.period, let handle)?,              //=.foo
@@ -1653,53 +1646,6 @@ extension Parser {
   }
 }
 
-extension Parser {
-  /// Parse an Objective-C #keypath literal.
-  ///
-  /// Grammar
-  /// =======
-  ///
-  ///     key-path-string-expression → '#keyPath' '(' expression ')'
-  @_spi(RawSyntax)
-  public mutating func parseObjectiveCKeyPathExpression() -> RawObjcKeyPathExprSyntax {
-    let (unexpectedBeforeKeyword, keyword) = self.expect(.poundKeyPathKeyword)
-    // Parse the leading '('.
-    let (unexpectedBeforeLParen, lparen) = self.expect(.leftParen)
-
-    // Parse the sequence of unqualified-names.
-    var elements = [RawObjcNamePieceSyntax]()
-    do {
-      var flags: DeclNameOptions = []
-      var keepGoing: RawTokenSyntax? = nil
-      var loopProgress = LoopProgressCondition()
-      repeat {
-        // Parse the next name.
-        let (name, args) = self.parseDeclNameRef(flags)
-        assert(args == nil, "Found arguments but did not pass argument flag?")
-
-        // After the first component, we can start parsing keywords.
-        flags.formUnion(.keywords)
-
-        // Parse the next period to continue the path.
-        keepGoing = self.consume(if: .period)
-        elements.append(RawObjcNamePieceSyntax(
-          name: name, dot: keepGoing, arena: self.arena))
-      } while keepGoing != nil && loopProgress.evaluate(currentToken)
-    }
-
-    // Parse the closing ')'.
-    let (unexpectedBeforeRParen, rparen) = self.expect(.rightParen)
-    return RawObjcKeyPathExprSyntax(
-      unexpectedBeforeKeyword,
-      keyPath: keyword,
-      unexpectedBeforeLParen,
-      leftParen: lparen,
-      name: RawObjcNameSyntax(elements: elements, arena: self.arena),
-      unexpectedBeforeRParen,
-      rightParen: rparen, arena: self.arena)
-  }
-}
-
 extension Parser {
   /// Parse a 'super' reference to the superclass instance of a class.
   ///
@@ -1925,48 +1871,6 @@ extension Parser {
   }
 }
 
-extension Parser {
-  /// Parse a #selector expression.
-  ///
-  /// Grammar
-  /// =======
-  ///
-  ///     selector-expression → '#selector' '(' expression )
-  ///     selector-expression → '#selector' '(' 'getter' ':' expression ')'
-  ///     selector-expression → '#selector' '(' 'setter' ':' expression ')'
-  @_spi(RawSyntax)
-  public mutating func parseObjectiveCSelectorLiteral() -> RawObjcSelectorExprSyntax {
-    // Consume '#selector'.
-    let (unexpectedBeforeSelector, selector) = self.expect(.poundSelectorKeyword)
-    // Parse the leading '('.
-    let (unexpectedBeforeLParen, lparen) = self.expect(.leftParen)
-
-    // Parse possible 'getter:' or 'setter:' modifiers, and determine
-    // the kind of selector we're working with.
-    let kindAndColon = self.consume(
-      if: { $0.isContextualKeyword(["getter", "setter"])},
-      followedBy: { $0.tokenKind == .colon }
-    )
-    let (kind, colon) = (kindAndColon?.0, kindAndColon?.1)
-
-    // Parse the subexpression.
-    let subexpr = self.parseExpression()
-    // Parse the closing ')'.
-    let (unexpectedBeforeRParen, rparen) = self.expect(.rightParen)
-    return RawObjcSelectorExprSyntax(
-      unexpectedBeforeSelector,
-      poundSelector: selector,
-      unexpectedBeforeLParen,
-      leftParen: lparen,
-      kind: kind,
-      colon: colon,
-      name: subexpr,
-      unexpectedBeforeRParen,
-      rightParen: rparen,
-      arena: self.arena)
-  }
-}
-
 extension Parser {
   /// Parse a closure expression.
   ///

Sources/SwiftParser/Lexer.swift

@@ -1565,8 +1565,6 @@ extension Lexer.Cursor {
 
     let kind: RawTokenKind
     switch literal {
-    case "keyPath": kind = .poundKeyPathKeyword
-    case "selector": kind = .poundSelectorKeyword
     case "assert": kind = .poundAssertKeyword
     case "sourceLocation": kind = .poundSourceLocationKeyword
     case "warning": kind = .poundWarningKeyword

Sources/SwiftParser/RawTokenKindSubset.swift

@@ -700,8 +700,6 @@ enum PrimaryExpressionStart: RawTokenKindSubset {
   case nilKeyword
   case period
   case pound
-  case poundKeyPathKeyword
-  case poundSelectorKeyword
   case prefixPeriod
   case regexLiteral
   case selfKeyword
@@ -731,8 +729,6 @@ enum PrimaryExpressionStart: RawTokenKindSubset {
     case .nilKeyword: self = .nilKeyword
     case .period: self = .period
     case .pound: self = .pound
-    case .poundKeyPathKeyword: self = .poundKeyPathKeyword
-    case .poundSelectorKeyword: self = .poundSelectorKeyword
     case .prefixPeriod: self = .prefixPeriod
     case .regexLiteral: self = .regexLiteral
     case .selfKeyword: self = .selfKeyword
@@ -765,8 +761,6 @@ enum PrimaryExpressionStart: RawTokenKindSubset {
     case .nilKeyword: return .nilKeyword
     case .period: return .period
     case .pound: return .pound
-    case .poundKeyPathKeyword: return .poundKeyPathKeyword
-    case .poundSelectorKeyword: return .poundSelectorKeyword
     case .prefixPeriod: return .prefixPeriod
     case .regexLiteral: return .regexLiteral
     case .selfKeyword: return .selfKeyword

Sources/SwiftSyntax/Documentation.docc/gyb_generated/SwiftSyntax.md

@@ -154,12 +154,9 @@ allows Swift tools to parse, inspect, generate, and transform Swift source code.
 - <doc:SwiftSyntax/StringLiteralExprSyntax>
 - <doc:SwiftSyntax/RegexLiteralExprSyntax>
 - <doc:SwiftSyntax/KeyPathExprSyntax>
-- <doc:SwiftSyntax/ObjcKeyPathExprSyntax>
-- <doc:SwiftSyntax/ObjcSelectorExprSyntax>
 - <doc:SwiftSyntax/MacroExpansionExprSyntax>
 - <doc:SwiftSyntax/PostfixIfConfigExprSyntax>
 - <doc:SwiftSyntax/EditorPlaceholderExprSyntax>
-- <doc:SwiftSyntax/ObjectLiteralExprSyntax>
 
 ### Types
 
@@ -220,8 +217,6 @@ allows Swift tools to parse, inspect, generate, and transform Swift source code.
 - <doc:SwiftSyntax/MultipleTrailingClosureElementSyntax>
 - <doc:SwiftSyntax/KeyPathComponentListSyntax>
 - <doc:SwiftSyntax/KeyPathComponentSyntax>
-- <doc:SwiftSyntax/ObjcNameSyntax>
-- <doc:SwiftSyntax/ObjcNamePieceSyntax>
 - <doc:SwiftSyntax/YieldExprListSyntax>
 - <doc:SwiftSyntax/YieldExprListElementSyntax>
 - <doc:SwiftSyntax/FunctionParameterListSyntax>
@@ -311,8 +306,6 @@ allows Swift tools to parse, inspect, generate, and transform Swift source code.
 - <doc:SwiftSyntax/KeyPathPropertyComponentSyntax>
 - <doc:SwiftSyntax/KeyPathSubscriptComponentSyntax>
 - <doc:SwiftSyntax/KeyPathOptionalComponentSyntax>
-- <doc:SwiftSyntax/ObjcNamePieceSyntax>
-- <doc:SwiftSyntax/ObjcNameSyntax>
 - <doc:SwiftSyntax/YieldExprListSyntax>
 - <doc:SwiftSyntax/YieldExprListElementSyntax>
 - <doc:SwiftSyntax/TypeInitializerClauseSyntax>