[ASTGen] Utilize base specific SyntaxEnum and start Pattern generation #69829
Conversation
rintaro requested review from CodaFi, hborla, slavapestov, xedin and zoecarver as code owners 
| @swift-ci Please smoke test |
rintaro changed the title 
| } | ||
| | ||
| return self.generate(node) | ||
| return self.generate(type: node) |
There was a problem hiding this comment.
If we're going to give these argument labels, should the optional variants also get them? Or is the intention to avoid the risk of recursion?
There was a problem hiding this comment.
Yes, I will add argument labels to all the existing generate(_:) functions in follow-ups.
| | ||
| default: | ||
| fatalError("case does not correspond to an ASTNode") | ||
| // CodeBlockItem -> BraceStmt or IfStmt. |
There was a problem hiding this comment.
Did you mean
| // CodeBlockItem -> BraceStmt or IfStmt. | |
| // CodeBlockSyntax -> BraceStmt or IfStmt. |
Also, if this can become an IfStmt, can it also become a SwitchStmt?
There was a problem hiding this comment.
IfStmt was wrong. just CodeBlockSyntax -> BraceStmt
| } | ||
| if let type = node.as(TypeSyntax.self) { | ||
| return .type(self.generate(type: type)) | ||
| } |
There was a problem hiding this comment.
Don’t we need to also check for PatternSyntax here?
There was a problem hiding this comment.
BridgedPattern is not an ASTNode at this point
test/ASTGen/types.swift Outdated
| // -enable-experimental-feature requires an asserts build | ||
| // REQUIRES: asserts | ||
| // REQUIRES: rdar116686158 | ||
| // rdar//116686158 |
There was a problem hiding this comment.
Nit
| // rdar//116686158 | |
| // rdar://116686158 |
test/ASTGen/verify-parse.swift Outdated
| // -enable-experimental-feature requires an asserts build | ||
| // REQUIRES: asserts | ||
| // REQUIRES: rdar116686158 | ||
| // rdar//116686158 |
There was a problem hiding this comment.
Nit
| // rdar//116686158 | |
| // rdar://116686158 |
rintaro force-pushed the astgen-node-syntaxenum branch from 2eb5116 to 215abe6 Compare | @swift-ci Please smoke test |
3 participants
{Decl|Stmt|Expr|Type|Pattern}SyntaxEnumintroduced in Add SyntaxEnum per base syntax kind swift-syntax#2351generate(_: Syntax)intogenerate(decl: DeclSyntax),generate(expr: ExprSyntax)etc.Patterns.swiftto generate Patterns as the same scheme as other kinds. (C++ parser ping-pong is not implmented)