Mastering SwiftSyntax

- Introduction
- SwiftSyntax Overview
- Anatomy of Syntax Tree
- SwiftSyntax API
- Exercises
- Swift Macros
- SwiftLint
- Source Editor Extensions

Transcript

1. .BTUFSJOH
   4XJGU4ZOUBY LJTIJLBXB
   LBUTVNJ !LJTIJLBXBLBUTVNJ!IBDIZEFSNJP LJTIJLBXBLBUTVNJ
2. r 4XJGUιʔείʔυͷߏจղੳɺݕࠪɺॻ͖׵͑ɺιʔείʔυͷੜ੒Λ͓͜ͳ ͏4XJGUϥΠϒϥϦ
   r 4XJGUϓϩδΣΫτͷҰ෦ͱͯ͠"QQMF͔Βఏڙ͞Ε͍ͯΔެࣜπʔϧ
   IUUQTHJUIVCDPNBQQMFTXJGUTZOUBY
   r Φʔϓϯιʔειϑτ΢ΣΞ 8IBU
   JT
   4XJGU4ZOUBY 4XJGU4ZOUBYͱ͸Կ͔
3. r SFBMN4XJGU-JOU
   IUUQTHJUIVCDPNSFBMN4XJGU-JOU
   r BQQMFTXJGUGPSNBU
   IUUQTHJUIVCDPNBQQMFTXJGUGPSNBU
   r LS[ZT[UPG[BCMPDLJ4PVSDFSZ
   IUUQTHJUIVCDPNLS[ZT[UPG[BCMPDLJ4PVSDFSZ
   r VCFSNPDLPMP
   IUUQTHJUIVCDPNVCFSNPDLPMP 8IP
   VTF
   4XJGU4ZOUBY 4XJGU4ZOUBYͷར༻ྫ
4. r 4XJGU
   ͔Βಋೖ༧ఆ
   r ίϯύΠϧ࣌ʹίʔυͷੜ੒Λͨ͠Γ ಠࣗͷݕࠪΛ௥ՃͰ͖Δ
   r ϚΫϩͷ࣮૷ʹ͸4XJGU4ZOUBYΛ࢖༻ ͢Δ
   r ϚΫϩͷྫ
   #Previewɺ @Observableɺ@ModelͳͲ 4XJGU
   .BDSPT 4XJGUϚΫϩ
5. r *OUSPEVDUJPO
   r 4XJGU4ZOUBY
   0WFSWJFX
   r "OBUPNZ
   PG
   4ZOUBY
   5SFF
   r 4XJGU4ZOUBY
   "1*
   r &YFSDJTFT
   ‣ 4XJGU
   .BDSPT
   ‣ 4XJGU-JOU
   ‣ 4PVSDF
   &EJUPS
   &YUFOTJPOT 0VUMJOF ໨࣍
6. 4XJGU4ZOUBY
   0WFSWJFX
7. let number = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let 4ZOUBY
   5SFF
8. let sourceFile = Parser.parse(source: "let number = 100") print(sourceFile.debugDescription) import SwiftParser 4XJGU
   1BSTFS 4PVSDF
   $PEF
   UP
   4ZOUBY
   5SFF
9. SourceFileSyntax ├─statements: CodeBlockItemListSyntax │ ╰─[0]: CodeBlockItemSyntax │ ╰─item: VariableDeclSyntax │ ├─attributes: AttributeListSyntax │ ├─modifiers: DeclModifierListSyntax │ ├─bindingSpecifier: keyword(SwiftSyntax.Keyword.let) │ ╰─bindings: PatternBindingListSyntax │ ╰─[0]: PatternBindingSyntax │ ├─pattern: IdentifierPatternSyntax │ │ ╰─identifier: identifier("number") │ ╰─initializer: InitializerClauseSyntax │ ├─equal: equal │ ╰─value: IntegerLiteralExprSyntax │ ╰─literal: integerLiteral("100") ╰─endOfFileToken: endOfFile let sourceFile = Parser.parse(source: "let number = 100") print(sourceFile.debugDescription) // 509.0.0 or later
10. let number = 100 let amount = 100 3FXSJUF
    4PVSDF
    $PEF 3FQMBDF
    4ZOUBY
    5SFF
    /PEF
    XJUI
    /FX
    /PEF
11. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
12. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
13. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile amount = 100 let SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
14.  4ZOUBY
    5SFFΛஔ͖׵͍͑ͨϊʔυ·ͰͨͲΔ
     ॻ͖׵͑ͨ݁ՌΛද͢৽͍͠ϊʔυΛ༻ҙ͢Δ
     ৽͍͠ϊʔυͰஔ͖׵͍͑ͨϊʔυΛஔ׵͢Δ 4UFQT
    UP
    3FXSJUF
    4PVSDF
    $PEF ιʔείʔυͷॻ͖׵͑ʹඞཁͳखॱ
15. let number = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
16. let number = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
17. let number = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
18. πϦʔߏ଄ΛԼํ޲ʹͨͲΔ SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken let sourceFile = Parser.parse(source: "let number = 100")
19. SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken let statements = sourceFile.statements SourceFileSyntax
20. let statements = Array(sourceFile.statements) SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken
21. let statements = Array(sourceFile.statements) let codeBlock = statements[0] CodeBlockItemSyntax SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken
22. let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken
23. SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item print(item.syntaxNodeType) print(item.syntaxNodeType)
24. let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item print(item.syntaxNodeType) SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken VariableDeclSyntax
25. SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item if let decl = item.as(VariableDeclSyntax.self) { } item.as(VariableDeclSyntax.self)
26. SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item if let decl = item.as(VariableDeclSyntax.self) { let bindings = Array(decl.bindings) }
27. let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item if let decl = item.as(VariableDeclSyntax.self) { let bindings = Array(decl.bindings) let binding = bindings[0] } SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken
28. let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item if let decl = item.as(VariableDeclSyntax.self) { let bindings = Array(decl.bindings) let binding = bindings[0] if let pattern = binding.pattern.as( IdentifierPatternSyntax.self ) { } } SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken
29. let statements = Array(sourceFile.statements) let codeBlock = statements[0] let item = codeBlock.item if let decl = item.as(VariableDeclSyntax.self) { let bindings = Array(decl.bindings) let binding = bindings[0] if let pattern = binding.pattern.as( IdentifierPatternSyntax.self ) { let identifier = pattern.identifier } } SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken if let pattern = binding.pattern.as( IdentifierPatternSyntax.self ) { let identifier = pattern.identifier }
30. let number = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
31. let number = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let
32. if let number = number { } ؔ਺ͷҾ਺ ϩʔΧϧม਺ 0QUJPOBM
    #JOEJOH func () { let number = 0 } CodeBlockItem PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax number VariableDeclSyntax OptionalBindingConditionSyntax let IdentifierPatternSyntax number ConditionElementSyntax func round(number: Int) { ... } FunctionParameterSyntax number FunctionParameterListSyntax πϦʔͷܗΛߏ଄తʹϚονϯά͢Δ
33. 4XJGU
    "45
    &YQMPSFS IUUQTTXJGUBTUFYQMPSFSDPN
34. 4XJGU
    "45
    &YQMPSFS IUUQTTXJGUBTUFYQMPSFSDPN
36. πϦʔߏ଄Λ্ํ޲ʹͨͲΔ if let pattern = identifier.parent?.as( IdentifierPatternSyntax.self ) { if let binding = pattern.parent?.as( PatternBindingSyntax.self ) { } } SourceFileSyntax ├─statements │ ╰─[0] │ ╰─item │ ├─attributes │ ├─modifiers │ ├─bindingSpecifier │ ╰─bindings │ ╰─[0] │ ├─pattern │ │ ╰─identifier: "number" │ ╰─initializer │ ├─equal: equal │ ╰─value │ ╰─literal: "100" ╰─endOfFileToken
37. ιʔείʔυͷॻ͖׵͑ identifier.with(\.tokenKind, .identifier("amount"))
38. ιʔείʔυͷॻ͖׵͑ identifier.with(\.tokenKind, .identifier("amount")) amount number
39. identifier.with(\.tokenKind, .identifier("amount")) IdentifierPatternSyntax number IdentifierPatternSyntax amount ผͷ৽͍͠5SFFΛฦ͢
40. let result = decl.with( \.bindings, [ binding.with( \.pattern, PatternSyntax( pattern.with( \.identifier, identifier.with( \.tokenKind, .identifier("amount") ) ) ) ) ] ) let number = 100 let amount = 100
41. let result = decl.with( \.bindings, [ binding.with( \.pattern, PatternSyntax( pattern.with( \.identifier, identifier.with( \.tokenKind, .identifier("amount") ) ) ) ) ] ) let number = 100 let amount = 100 ݩͷཁૉ ݩͷཁૉ ݩͷཁૉ ͜ͷཁૉ͚ͩม͑Δ
42. print(result.description) let amount = 100 4ZOUBY
    5SFF͔ΒιʔείʔυΛੜ੒
43. let number = 100 WT
    3FHVMBS
    &YQSFTTJPO
44. let number = 100 WT
    3FHVMBS
    &YQSFTTJPO /\s*let\s+(number)\s*/
45. let /* let number defines a constant. */ number = 100 WT
    3FHVMBS
    &YQSFTTJPO /\s*let\s+(number)\s*/
46. let /* let number defines a constant. */ number = 100 WT
    3FHVMBS
    &YQSFTTJPO /\s*let\s+(number)\s*/
47. VariableDeclSyntax ├─attributes: AttributeListSyntax ├─modifiers: DeclModifierListSyntax ├─bindingSpecifier: keyword(SwiftSyntax.Keyword.let) ╰─bindings: PatternBindingListSyntax ╰─[0]: PatternBindingSyntax ├─pattern: IdentifierPatternSyntax │ ╰─identifier: identifier("number") ╰─initializer: InitializerClauseSyntax ├─equal: equal ╰─value: IntegerLiteralExprSyntax ╰─literal: integerLiteral("100") let /* let number defines a constant. */ number = 100 print(sourceFile.debugDescription)
48. VariableDeclSyntax ├─attributes: AttributeListSyntax ├─modifiers: DeclModifierListSyntax ├─bindingSpecifier: keyword(SwiftSyntax.Keyword.let) trailingTrivia=[spaces(1), blockComment("..."), spaces(1)] ╰─bindings: PatternBindingListSyntax ╰─[0]: PatternBindingSyntax ├─pattern: IdentifierPatternSyntax │ ╰─identifier: identifier("number") trailingTrivia=spaces(1) ╰─initializer: InitializerClauseSyntax ├─equal: equal trailingTrivia=spaces(1) ╰─value: IntegerLiteralExprSyntax ╰─literal: integerLiteral("100") print(sourceFile.debugDescription(includeTrivia: true)) let /* let number defines a constant. */ number = 100
49. VariableDeclSyntax ├─attributes: AttributeListSyntax ├─modifiers: DeclModifierListSyntax ├─bindingSpecifier: keyword(SwiftSyntax.Keyword.let) trailingTrivia=[spaces(1), blockComment("..."), spaces(1)] ╰─bindings: PatternBindingListSyntax ╰─[0]: PatternBindingSyntax ├─pattern: IdentifierPatternSyntax │ ╰─identifier: identifier("number") trailingTrivia=spaces(1) ╰─initializer: InitializerClauseSyntax ├─equal: equal trailingTrivia=spaces(1) ╰─value: IntegerLiteralExprSyntax ╰─literal: integerLiteral("100") print(sourceFile.debugDescription(includeTrivia: true)) let /* let number defines a constant. */ number = 100
50. VariableDeclSyntax ├─attributes: AttributeListSyntax ├─modifiers: DeclModifierListSyntax ├─bindingSpecifier: keyword(SwiftSyntax.Keyword.let) trailingTrivia=[spaces(1), blockComment("..."), spaces(1)] ╰─bindings: PatternBindingListSyntax ╰─[0]: PatternBindingSyntax ├─pattern: IdentifierPatternSyntax │ ╰─identifier: identifier("number") trailingTrivia=spaces(1) ╰─initializer: InitializerClauseSyntax ├─equal: equal trailingTrivia=spaces(1) ╰─value: IntegerLiteralExprSyntax ╰─literal: integerLiteral("100") print(sourceFile.debugDescription(includeTrivia: true)) let /* let number defines a constant. */ number = 100
51. CodeBlockItem PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax number VariableDeclSyntax let number = 100 3PVOE5SJQ
    4ZOUBY
    5SFF
52. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let let number = 100
53. @nonobjc public let number: Int = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let AttributeListSyntax @ IdentifierTypeSyntax nonobjc DeclModifierListSyntax DeclModifierSyntax public
54. @nonobjc public let number: Int = 100 SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let AttributeListSyntax @ IdentifierTypeSyntax nonobjc DeclModifierListSyntax DeclModifierSyntax public
55. 8BZT
    UP
    1SPEVDF
    4ZOUBY
    5SFF r 4XJGU
    1BSTFS
    r ϊʔυͷΠχγϟϥΠβ
    r 4ZOUBY
    #VJMEFS
    ˞ཁ4XJGU4ZOUBY#VJMEFS
    ‣ 3FTVMU
    #VJMEFS
    ‣ 4USJOH
    *OUFSQPMBUJPO Parser.parse(source: "let number = 100") let tree = VariableDeclSyntax( .let, name: PatternSyntax(stringLiteral: "number"), initializer: InitializerClauseSyntax( value: IntegerLiteralExprSyntax( integerLiteral: 100 ) ) ) tree.formatted() let tree: DeclSyntax = "let number = 100"
56. 4XJGU4ZOUBY
    0WFSWJFX r 1BSTFS͸ιʔείʔυ͔Β4ZOUBY
    5SFFΛੜ੒͢Δ
    r 4ZOUBY
    5SFF͸ιʔείʔυΛҰఆͷߏ଄ͱͯ͠ѻ͑Δ
    r ۭന΍վߦɺίϝϯτ͸5SJWJBͱͯ͠4ZOUBY
    5SFFΛߏ੒͢Δ
    r ಛఆͷมΘΒͳ͍ܗΛݟ͚ͭͯߏ଄తʹϚονϯά͢Δ
    r 4XJGU4ZOUBYΛ࢖ͬͯ4ZOUBY
    5SFFΛ෦෼తʹॻ͖׵͑ΒΕΔ
57. "OBUPNZ
    PG
    4ZOUBY
    5SFF
58. SyntaxProtocol SourceFileSyntax Pr S DeclSyntax S CodeBlockItem S VariableDeclSyntax S
59. SyntaxProtocol SourceFileSyntax Pr S DeclSyntax S CodeBlockItem S VariableDeclSyntax S
60. SyntaxProtocol TokenSyntax Pr S DeclSynta S VariableDeclS S SourceFileSyntax S 5PLFO τʔΫϯ 4ZOUBY ߏจ
61. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let let number = 100 5PLFO
62. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let let number = 100 5PLFO
63. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax VariableDeclSyntax PatternBindingListSyntax PatternBindingSyntax IdentifierPatternSyntax InitializerClauseSyntax IntegerLiteralExprSyntax endOfFile number = 100 let let number = 100 5PLFO
64. let number = 100 5PLFO 4ZOUBY
    5SFFͷ࠷খ୯Ґ
65. 4ZOUBY
    /PEF ߏจͷछྨΛද͢ let number = 100 4PVSDF'JMF4ZOUBY 7BSJBCMF%FDM4ZOUBY *EFOUJ fi FS1BUUFSO4ZOUBY
66. if let decl = item.as(VariableDeclSyntax.self) { ... } if let decl = item as? VariableDeclSyntax { } ϊʔυͷܕΛม׵͢Δ ܕม׵ͷؔ਺Λ࢖͏
67. ϊʔυͷܕΛม׵͢Δ if let decl = item.as(VariableDeclSyntax.self) { // == `as?` operator } if item.is(VariableDeclSyntax.self) { == `is` operator } let decl = item.cast(VariableDeclSyntax.self) // Force cast (== as!) let decl = VariableDeclSyntax(item) // == `as?` operator ܕม׵ͷؔ਺Λ࢖͏
68. ϊʔυͷܕΛม׵͢Δ if let decl = item.as(VariableDeclSyntax.self) { // == `as?` operator } if item.is(VariableDeclSyntax.self) { == `is` operator } let decl = item.cast(VariableDeclSyntax.self) // Force cast (== as!) let decl = VariableDeclSyntax(item) // == `as?` operator ܕม׵ͷؔ਺Λ࢖͏
69. ϊʔυͷܕΛม׵͢Δ if let decl = item.as(VariableDeclSyntax.self) { // == `as?` operator } if item.is(VariableDeclSyntax.self) { == `is` operator } let decl = item.cast(VariableDeclSyntax.self) // Force cast (== as!) let decl = VariableDeclSyntax(item) // == `as?` operator ܕม׵ͷؔ਺Λ࢖͏
70. ϊʔυͷܕΛม׵͢Δ if let decl = item.as(VariableDeclSyntax.self) { // == `as?` operator } if item.is(VariableDeclSyntax.self) { == `is` operator } let decl = item.cast(VariableDeclSyntax.self) // Force cast (== as!) let decl = VariableDeclSyntax(item) // == `as?` operator ܕม׵ͷؔ਺Λ࢖͏
71. r 4ZOUBY
    5SFFͷ֤ϊʔυ͸ͳΜΒ͔ͷ4ZOUBY 4ZOUBY1SPUPDPM
    r ۩ମతͳܕΛௐ΂Δ͜ͱͰߏจͷछྨ͕Θ͔Δ
    FH
    7BSJBCMF%FDM4ZOUBYɺ'VODUJPO$BMM&YQS4ZOUBYɺ'PS4UNU4ZOUBY
    r 4ZOUBYͷ࠷খ୯Ґ͸τʔΫϯ 5PLFO4ZOUBY
    r πϦʔߏ଄ΛԼํ޲ʹͨͲΔͱ͖͸ܕͷϓϩύςΟ͕࢖͑Δ
    FH
    sourceFile.statementsɺpattern.identifier ˞ෳ਺ͷܕͷީิ͕͋Δ৔߹͸μ΢ϯΩϟετ͕ඞཁ
    r ্ํ޲ʹཁૉΛͨͲΔͱ͖͸దٓμ΢ϯΩϟετ͢Δ "OBUPNZ
    PG
    4ZOUBY
    5SFF
72. r એݴ
    ‣ ม਺ɺؔ਺ɺΫϥεͷએݴͳͲ
    ‣ $MBTT%FDM4ZOUBYɺ'VODUJPO%FDM4ZOUBYɺ7BSJBCMF%FDM4ZOUBYɺ
    r ࣜ ஋Λฦ͢
    ‣ ஋Λฦ͢ߏจɻؔ਺ݺͼग़͠ɺϓϩύςΟΞΫηεɺΫϩʔδϟͳͲ
    ‣ $MPTVSF&YQS4ZOUBYɺ'VODUJPO$BMM&YQS4ZOUBYɺ 4USJOH-JUFSBM&YQS4ZOUBYɺ
    r ͦͷଞ
    ‣ ܕΞϊςʔγϣϯͳͲ
    ‣ *EFOUJ fi FS5ZQF4ZOUBYɺ.FNCFS5ZQF4ZOUBYɺ0QUJPOBM5ZQF4ZOUBYɺ ͍Ζ͍Ζͳߏจϊʔυͷܕ
73. ␣␣␣␣let␣ number␣ =␣ 100↲ 5PLFO4ZOUBY 5PLFO4ZOUBY 5PLFO4ZOUBY 5PLFO4ZOUBY 4ZOUBY
    5SFFͷ຤୺ɾ༿ϊʔυ
74. ␣␣␣␣let␣ number␣ =␣ 100↲ 5PLFO4ZOUBY var leadingTrivia: Trivia trailingTrivia trailingTrivia trailingTrivia trailingTrivia -FBEJOH
    5SJWJB
    
    5SBJMJOH
    5SJWJB
75. ␣␣␣␣let␣ number␣ =␣ 100↲ 5PLFO4ZOUBY keyword(Keyword.let) endOfFile integerLiteral("100") identifier("number") let firstToken = sourceFile.firstToken(viewMode: .sourceAccurate) let lastToken = sourceFile.lastToken(viewMode: .sourceAccurate) let previousToken = lastToken?.previousToken(viewMode: .sourceAccurate) let nextToken = firstToken?.nextToken(viewMode: .sourceAccurate) /BWJHBUF
    5PLFO4ZOUBY
76. 4XJGU4ZOUBY
    "1*
77. r 4ZOUBY7JTJUPS
    ‣ 4ZOUBY
    5SFFΛਂ͞༏ઌ୳ࡧ %'4 ͰͨͲΔ
    αϒΫϥεͰॲཧΛ͢Δର৅ͷϊʔυͷWJTJUؔ਺ΛΦʔόʔϥΠυ͢Δ
    r 4ZOUBY3FXSJUFS
    ‣ 4ZOUBY7JTJUPSͷػೳʹՃ͑ͯɺWJTJUؔ਺ͰͨͲͬͨϊʔυΛผͷϊʔυʹॻ ͖׵͑Δ͜ͱ͕Ͱ͖Δ
    ‣ ϚΫϩ΍ϦϑΝΫλϦϯάɺϑΥʔϚολʔͳͲ4ZOUBY
    5SFFΛ༻͍ͯιʔε ίʔυΛม׵͢Δ༻్ʹ෯޿͘࢖ΘΕΔ 4XJGU4ZOUBY
    "1* 4ZOUBY7JTJUPS
    
    4ZOUBY3FXSJUFS
78. 4ZOUBY7JTJUPS
    
    4ZOUBY3FXSJUFS visit() visit() visit() visit() visit() visit() visit() visit() visit() visit() visit() visit() visit()
79. 4ZOUBY7JTJUPS open class SyntaxVisitor { public init(viewMode: SyntaxTreeViewMode) public func walk(_ node: some SyntaxProtocol) open func visit(_ node: AccessorBlockSyntax) -> SyntaxVisitorContinueKind open func visitPost(_ node: AccessorBlockSyntax) open func visit(_ node: AccessorDeclSyntax) -> SyntaxVisitorContinueKind open func visitPost(_ node: AccessorDeclSyntax) ... }
80. 4ZOUBY7JTJUPS open class SyntaxVisitor { public init(viewMode: SyntaxTreeViewMode) public func walk(_ node: some SyntaxProtocol) open func visit(_ node: AccessorBlockSyntax) -> SyntaxVisitorContinueKind open func visitPost(_ node: AccessorBlockSyntax) open func visit(_ node: AccessorDeclSyntax) -> SyntaxVisitorContinueKind open func visitPost(_ node: AccessorDeclSyntax) ... } ୳ࡧ͢Δର৅ͷܕͷϊʔυͷ
    WJTJUؔ਺ΛΦʔόʔϥΠυ͢Δ
81. &YBNQMF
    'JOE
    "MM
    GBUBM&SSPS
    'VODUJPO
    $BMMT 4ZOUBY7JTJUPS class FatalErrorChecker: SyntaxVisitor { override func visit(_ node: FunctionCallExprSyntax) -> SyntaxVisitorContinueKind { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { ... } } return .visitChildren } }
82. &YBNQMF
    'JOE
    "MM
    GBUBM&SSPS
    'VODUJPO
    $BMMT 4ZOUBY7JTJUPS class FatalErrorChecker: SyntaxVisitor { override func visit(_ node: FunctionCallExprSyntax) -> SyntaxVisitorContinueKind { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { ... } } return .visitChildren } }
83. &YBNQMF
    'JOE
    "MM
    GBUBM&SSPS
    'VODUJPO
    $BMMT 4ZOUBY7JTJUPS class FatalErrorChecker: SyntaxVisitor { override func visit(_ node: FunctionCallExprSyntax) -> SyntaxVisitorContinueKind { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { ... } } return .visitChildren } }
84. ιʔείʔυͷςΩετΛൺֱ if calledExpression.baseName.tokenKind == .identifier("fatalError") { ... } *EFOUJGZ
    UIF
    /PEF
    PG
    *OUFSFTU
85. ιʔείʔυͷςΩετΛൺֱ if calledExpression.baseName.tokenKind == .identifier("fatalError") { ... } if calledExpression.baseName.trimmed.description == "fatalError" { ... } if calledExpression.baseName.text == "fatalError" { ... } if calledExpression.baseName.description == "fatalError" { ... }
86. ιʔείʔυͷςΩετΛൺֱ if calledExpression.baseName.tokenKind == .identifier("fatalError") { ... } if calledExpression.baseName.trimmed.description == "fatalError" { ... } if calledExpression.baseName.text == "fatalError" { ... } if calledExpression.baseName.description == "fatalError" { ... } public extension SyntaxProtocol { ... var trimmed: Self { return self .with(\.leadingTrivia, []) .with(\.trailingTrivia, []) } ... }
87. ιʔείʔυͷςΩετΛൺֱ 4XJGU4ZOUBY#VJMEFS if calledExpression.baseName == "fatalError" { ... } import SwiftSyntaxBuilder ... 4USJOHϦςϥϧ͔Β4ZOUBY͕࡞ΒΕΔͷͰ
    ίϯύΠϧΤϥʔʹͳΒͳ͍
88. 4ZOUBY"OZ7JTJUPS &YBNQMF
    $POWFSU
    4ZOUBY
    5SFF
    UP
    )5.- class HTMLConverter: SyntaxAnyVisitor { var html = "<!DOCTYPE html>" override func visitAny(_ node: Syntax) -> SyntaxVisitorContinueKind { html += #"<span class="\#(node.syntaxNodeType)">"# return .visitChildren } override func visitAnyPost(_ node: Syntax) { html += "</span>" } }
89. 4ZOUBY"OZ7JTJUPS &YBNQMF
    $POWFSU
    4ZOUBY
    5SFF
    UP
    )5.- class HTMLConverter: SyntaxAnyVisitor { var html = "<!DOCTYPE html>" override func visitAny(_ node: Syntax) -> SyntaxVisitorContinueKind { html += #"<span class="\#(node.syntaxNodeType)">"# return .visitChildren } override func visitAnyPost(_ node: Syntax) { html += "</span>" } }
90. class HTMLConverter: SyntaxAnyVisitor { var html = "<!DOCTYPE html>" override func visitAny(_ node: Syntax) -> SyntaxVisitorContinueKind { html += #"<span class="\#(node.syntaxNodeType)">"# return .visitChildren } override func visitAnyPost(_ node: Syntax) { html += "</span>" } override func visit(_ node: TokenSyntax) -> SyntaxVisitorContinueKind { html += node.description return .visitChildren } override func visitPost(_ node: TokenSyntax) {} }
91. class HTMLConverter: SyntaxAnyVisitor { var html = "<!DOCTYPE html>" override func visitAny(_ node: Syntax) -> SyntaxVisitorContinueKind { html += #"<span class="\#(node.syntaxNodeType)">"# return .visitChildren } override func visitAnyPost(_ node: Syntax) { html += "</span>" } override func visit(_ node: TokenSyntax) -> SyntaxVisitorContinueKind { html += node.description return .visitChildren } override func visitPost(_ node: TokenSyntax) {} } visitAnyPost()͕ݺ͹Εͳ͍Α͏ʹ
92. class HTMLConverter: SyntaxAnyVisitor { var html = "<!DOCTYPE html>" override func visitAny(_ node: Syntax) -> SyntaxVisitorContinueKind { html += #"<span class="\#(node.syntaxNodeType)">"# return .visitChildren } override func visitAnyPost(_ node: Syntax) { html += "</span>" } override func visit(_ node: TokenSyntax) -> SyntaxVisitorContinueKind { html += node.description return .visitChildren } override func visitPost(_ node: TokenSyntax) {} } var kind = "\(node.tokenKind)" if let index = kind.firstIndex(of: "(") { kind = String(kind.prefix(upTo: index)) } if kind.hasSuffix("Keyword") { kind = "keyword" } html += node.leadingTrivia.pieces.map { $0.htmlEscaped() }.joined() html += """ <span class="\(kind.htmlEscaped())">\(node.text.htmlEscaped())</span> """ html += node.trailingTrivia.pieces.map { $0.htmlEscaped() }.joined() return .visitChildren
93. ... <span class="SourceFileSyntax"> <span class="CodeBlockItemListSyntax"> <span class="CodeBlockItemSyntax"> <span class="VariableDeclSyntax"> <span class="AttributeListSyntax"></span> <span class="DeclModifierListSyntax"></span> <span class="keyword">let</span>&nbsp; <span class="PatternBindingListSyntax"> <span class="PatternBindingSyntax"> <span class="IdentifierPatternSyntax"> <span class="identifier">number</span>&nbsp;</span> <span class="InitializerClauseSyntax"> <span class="equal">=</span>&nbsp; <span class="IntegerLiteralExprSyntax"> <span class="integerLiteral">100</span></span> </span> </span> </span> </span> </span> </span> <span class="endOfFile"></span> </span> ...
96. 4ZOUBY3FXSJUFS open class SyntaxRewriter { public func rewrite(_ node: some SyntaxProtocol) -> Syntax open func visitPre(_ node: Syntax) open func visitAny(_ node: Syntax) -> Syntax? open func visitPost(_ node: Syntax) open func visit(_ node: AccessorBlockSyntax) -> AccessorBlockSyntax open func visit(_ node: AccessorDeclListSyntax) -> AccessorDeclListSyntax ...
97. 4ZOUBY3FXSJUFS open class SyntaxRewriter { public func rewrite(_ node: some SyntaxProtocol) -> Syntax open func visitPre(_ node: Syntax) open func visitAny(_ node: Syntax) -> Syntax? open func visitPost(_ node: Syntax) open func visit(_ node: AccessorBlockSyntax) -> AccessorBlockSyntax open func visit(_ node: AccessorDeclListSyntax) -> AccessorDeclListSyntax ... ฦͨ͠ϊʔυͷ಺༰Ͱ 4ZOUBY
    5SFF͕ॻ͖׵ΘΔ
98. 4ZOUBY3FXSJUFS open class SyntaxRewriter { public func rewrite(_ node: some SyntaxProtocol) -> Syntax open func visitPre(_ node: Syntax) open func visitAny(_ node: Syntax) -> Syntax? open func visitPost(_ node: Syntax) open func visit(_ node: AccessorBlockSyntax) -> AccessorBlockSyntax open func visit(_ node: AccessorDeclListSyntax) -> AccessorDeclListSyntax ... WJTJU"OZ @
99. 4ZOUBY3FXSJUFS open class SyntaxRewriter { public func rewrite(_ node: some SyntaxProtocol) -> Syntax open func visitPre(_ node: Syntax) open func visitAny(_ node: Syntax) -> Syntax? open func visitPost(_ node: Syntax) open func visit(_ node: AccessorBlockSyntax) -> AccessorBlockSyntax open func visit(_ node: AccessorDeclListSyntax) -> AccessorDeclListSyntax ... WJTJU1SF @
100. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } }
101. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } }
102. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } }
103. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } } ݩͷιʔείʔυͷ5SJWJBΛ ͦͷ··෮ݩ͢Δ
104. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } } ʮࣜʯͷߏจͷϕʔεϊʔυ Ͱ͋Δ&YQS4ZOUBYܕΛฦ͢
105. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } }
106. class FatalToPreconditionRewriter: SyntaxRewriter { override func visit(_ node: FunctionCallExprSyntax) -> ExprSyntax { if let calledExpression = node.calledExpression.as(DeclReferenceExprSyntax.self) { if calledExpression.baseName.tokenKind == .identifier("fatalError") { return super.visit( ExprSyntax( node.with( \.calledExpression, ExprSyntax( calledExpression .with(\.baseName, .identifier("preconditionFailure")) .with(\.leadingTrivia, calledExpression.leadingTrivia) ) ) ) ) } } return super.visit(node) } } TVQFSΛݺͿͱࢠཁૉͷ୳ࡧΛଓ͚Δ
107. 4ZOUBY3FXSJUFS #BTF
     /PEFT r %FDM4ZOUBY
     
     એݴ
     ‣ ม਺ɺؔ਺ɺΫϥεͷએݴͳͲ
     r &YQS4ZOUBY
     
     ࣜ ஋Λฦ͢
     ‣ ஋Λฦ͢ߏจɻؔ਺ݺͼग़͠ɺϓϩύςΟΞΫηεɺΫϩʔδϟͳͲ
     r 1BUUFSO4ZOUBY
     ‣ 4XJUDIจͷ$BTFઅ΍ม਺એݴ಺ͷม਺ͷఆٛͳͲ
     r 5ZQF4ZOUBY
     ‣ ܕΞϊςʔγϣϯͳͲ
108. 4ZOUBY3FXSJUFS #BTF
     /PEFT // Non-failable initializer let expr = ExprSyntax(MemberAccessExprSyntax(name: .identifier("red"))) .red
109. 4ZOUBY3FXSJUFS #BTF
     /PEFT // Non-failable initializer let expr = ExprSyntax(MemberAccessExprSyntax(name: .identifier("red"))) // Failable initializer let decl = DeclSyntax(MemberAccessExprSyntax(name: .identifier("red"))) .red nil
110. 4PVSDF
     -PDBUJPO 4PVSDF-PDBUJPO$POWFSUFS let sourceFile = Parser.parse(source: "let number = 100") let locationConverter = SourceLocationConverter(fileName: "", tree: sourceFile) ... let identifier = pattern.identifier let start = identifier.startLocation(converter: locationConverter) let end = identifier.endLocation(converter: locationConverter) print("\(start.line):\(start.column)...\(end.line):\(end.column)") 1:5...1:11
111. 4PVSDF
     -PDBUJPO 4PVSDF-PDBUJPO$POWFSUFS let sourceFile = Parser.parse(source: "let number = 100") let locationConverter = SourceLocationConverter(fileName: "", tree: sourceFile) ... let identifier = pattern.identifier let start = identifier.startLocation(converter: locationConverter) let end = identifier.endLocation(converter: locationConverter) print("\(start.line):\(start.column)...\(end.line):\(end.column)") 1:5...1:11 let start = identifier.startLocation(converter: locationConverter) let end = identifier.endLocation(converter: locationConverter) print("\(start.line):\(start.column)...\(end.line):\(end.column)") let number = 100 1:5 1:11
112. 4PVSDF
     -PDBUJPO 4PVSDF-PDBUJPO$POWFSUFS func startLocation( converter: SourceLocationConverter, afterLeadingTrivia: Bool = true ) -> SourceLocation func endLocation( converter: SourceLocationConverter, afterTrailingTrivia: Bool = false ) -> SourceLocation number
113. 4XJGU4ZOUBY
     JT
     0OMZ
     "CPVU
     4ZOUBY *U
     %PFTO`U
     ,OPX
     "OZUIJOH
     "CPVU
     5ZQFT
     BOE
     *OIFSJUBODF r 4XJGU4ZOUBY͸ߏจ ςΩετ ͷΈΛѻ͏
     r ܕ৘ใ΍ίϯύΠϧՄೳ͔Ͳ͏͔ͳͲ͸4XJGU4ZOUBY͸Θ͔Βͳ͍
     ‣ ಉ໊͡લͷผͷؔ਺ͷ۠ผ͕͔ͭͳ͍
     ‣ ܕΞϊςʔγϣϯ͕লུ͞Εͨม਺΍Ҿ਺ͷܕ͕Θ͔Βͳ͍
114. 4XJGU4ZOUBY
     JT
     0OMZ
     "CPVU
     4ZOUBY *U
     %PFTO`U
     ,OPX
     "OZUIJOH
     "CPVU
     5ZQFT
     BOE
     *OIFSJUBODF let result = run() IdentifierPatternSyntax
115. let result = run() : Int TypeAnnotationSyntax 4XJGU4ZOUBY
     JT
     0OMZ
     "CPVU
     4ZOUBY *U
     %PFTO`U
     ,OPX
     "OZUIJOH
     "CPVU
     5ZQFT
     BOE
     *OIFSJUBODF IdentifierPatternSyntax
116. 1BSTFS
     3FTJMJFODZ 1BSTFS
     /FWFS
     'BJMT r จ๏Τϥʔ͕͋ͬͯ΋ࣗಈతʹͭͭ͡·ͷ߹͏τʔΫϯΛ௥Ճͯ͠ଓߦ͢Δ
     r ਖ਼͘͠ͳ͍จ๏ɺίϯύΠϧͰ͖ͳ͍ιʔείʔυͰ΋1BSTFͰ͖Δ
117. 1BSTFS
     3FTJMJFODZ 1BSTFS
     /FWFS
     'BJMT
118. 1BSTFS
     3FTJMJFODZ 1BSTFS
     /FWFS
     'BJMT 1BSTFS͕ิ׬ͨ͠τʔΫϯ
119. 1BSTFS
     3FTJMJFODZ 1BSTFS
     /FWFS
     'BJMT SyntaxVisitor(viewMode: .sourceAccurate) enum SyntaxTreeViewMode { case sourceAccurate case fixedUp case all } ιʔείʔυʹදࣔ͞ΕΔτʔΫϯͷΈ 1BSTFS͕ิ׬ͨ͠τʔΫϯ΋८ճ͢Δ 1BSTFS͕ิ׬ͨ͠τʔΫϯ͓Αͼ༧ظ͠ͳ͍ϊʔυ΋८ճ͢Δ
120. 1BSTFS
     3FTJMJFODZ 1BSTFS
     /FWFS
     'BJMT r จ๏Τϥʔ͕͋ͬͯ΋ࣗಈతʹͭͭ͡·ͷ߹͏τʔΫϯΛ௥Ճͯ͠ଓߦ͢Δ
     r ਖ਼͘͠ͳ͍จ๏ɺίϯύΠϧͰ͖ͳ͍ιʔείʔυͰ΋1BSTFͰ͖Δ
     r ϚΫϩʹ͸ίϯύΠϥͷνΣοΫޙͷΤϥʔͷͳ͍4ZOUBY
     5SFF͕౉͞ΕΔ
     r ෆ׬શͳίʔυɺΤϥʔΛؚΉ4ZOUBY
     5SFF IBT&SSPSϓϩύςΟΛνΣοΫ ͷѻ͍ʹ஫ҙ
121. &YFSDJTFT
     4XJGU
     .BDSPT *OJU.BDSP
122. 4XJGU
     .BDSPT *OJU.BDSP @Init class Person { let name: String let age: Int let birthday: Date? } class Person { let name: String let age: Int let birthday: Date? }
123. 4XJGU
     .BDSPT *OJU.BDSP @Init class Person { let name: String let age: Int let birthday: Date? } class Person { let name: String let age: Int let birthday: Date? } } init( name: String, age: Int, birthday: Date? ) { self.name = name self.age = age self.birthday = birthday }
124. 4XJGU
     .BDSPT *OJU.BDSP struct InitMacro: MemberMacro { static func expansion( of node: AttributeSyntax, providingMembersOf declaration: some DeclGroupSyntax, in context: some MacroExpansionContext ) throws -> [DeclSyntax] { ... } }
125. 4XJGU
     .BDSPT *OJU.BDSP struct InitMacro: MemberMacro { static func expansion( of node: AttributeSyntax, providingMembersOf declaration: some DeclGroupSyntax, in context: some MacroExpansionContext ) throws -> [DeclSyntax] { ... } } @Init
126. 4XJGU
     .BDSPT *OJU.BDSP struct InitMacro: MemberMacro { static func expansion( of node: AttributeSyntax, providingMembersOf declaration: some DeclGroupSyntax, in context: some MacroExpansionContext ) throws -> [DeclSyntax] { ... } } @Init class Person { let name: String let age: Int let birthday: Date? }
127. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\($0.)\($0.)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\($0.) = \($0.)" }.joined(separator: "\n")) } """ ]
128. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\($0.)\($0.)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\($0.) = \($0.)" }.joined(separator: "\n")) } """ ] class Person { let name: String let age: Int let birthday: Date? }
129. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\($0.)\($0.)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\($0.) = \($0.)" }.joined(separator: "\n")) } """ ] (name, String) (age, Int) (birthday, Date?)
130. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\($0.)\($0.)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\($0.) = \($0.)" }.joined(separator: "\n")) } """ ] (pattern, typeAnnotation)
131. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ]
132. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } init( pattern: typeAnnotation, ) { self.pattern = pattern }
133. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ] return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ] import SwiftSyntaxBuilder ...
134. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ] return [ DeclSyntax( InitializerDeclSyntax( signature: FunctionSignatureSyntax( input: ParameterClauseSyntax( parameterList: FunctionParameterListSyntax( variableDecls.map { (pattern, typeAnnotation) in FunctionParameterSyntax(firstName: pattern.identifier, type: typeAnnotation.type) } ) ) ), body: CodeBlockSyntax( statements: CodeBlockItemListSyntax( variableDecls.map { (pattern, typeAnnotation) in CodeBlockItemSyntax( item: CodeBlockItemSyntax.Item( InfixOperatorExprSyntax( leftOperand: MemberAccessExprSyntax( base: IdentifierExprSyntax(identifier: .keyword(.self)), name: pattern.identifier ), operatorOperand: AssignmentExprSyntax(), rightOperand: IdentifierExprSyntax(identifier: pattern.identifier) ) ) ) } ) ) ) ) ]
135. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ] init(name:Stringage:Intbirthday:Date?){self.name=nameself.age=ageself.birthday=birthday}
136. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ] init(name: String age: Int birthday: Date?) { self.name = name self.age = age self.birthday = birthday } .formatted(using: BasicFormat())
137. let variableDecls: [(pattern: IdentifierPatternSyntax, typeAnnotation: TypeAnnotationSyntax)] variableDecls = declaration.memberBlock.members.compactMap { guard let decl = $0.decl.as(VariableDeclSyntax.self) else { return nil } guard let binding = decl.bindings.first else { return nil } guard let pattern = binding.pattern.as(IdentifierPatternSyntax.self) else { return nil } guard let typeAnnotation = binding.typeAnnotation else { return nil } return (pattern, typeAnnotation) } return [ """ init( \(raw: variableDecls.map { "\(pattern)\(typeAnnotation)" }.joined(separator: ",\n")) ) { \(raw: variableDecls.map { "self.\(pattern) = \(pattern)" }.joined(separator: "\n")) } """ ] init(name: String age: Int birthday: Date?) { self.name = name self.age = age self.birthday = birthday } .formatted(using: BasicFormat()) struct InitMacro: MemberMacro { static var formatMode: FormatMode = .disabled ...
138. 'PMEJOH
     4FRVFODF
     &YQSFTTJPOT 4XJGU0QFSBUPST SequenceExprSyntax ExprListSyntax DeclReferenceExprSyntax BinaryOperatorExpr a + DeclReferenceExprSyntax BinaryOperatorExpr * b DeclReferenceExprSyntax c InfixOperatorExprSyntax DeclReferenceExprSyntax BinaryOperatorExpr a + DeclReferenceExprSyntax BinaryOperatorExpr * b DeclReferenceExprSyntax c InfixOperatorExprSyntax if a + b * c == d { ... } 1BSTF 'PME
139. 'PMEJOH
     4FRVFODF
     &YQSFTTJPOT 4XJGU0QFSBUPST r ԋࢉࢠͷ༏ઌॱҐʹैͬͯ4ZOUBY
     5SFFΛʮંΓͨͨΉʯ
     r ԋࢉࢠͷ༏ઌॱҐͷ௨Γʹ८ճͰ͖ΔπϦʔߏ଄͕ੜ੒͞ΕΔ
     r ԋࢉࢠͷ༏ઌॱҐ͸ԋࢉࢠςʔϒϧʹ͋Β͔͡Ίొ࿥͢Δ
     r ະ஌ͷԋࢉࢠ ಠࣗఆٛͷԋࢉࢠ ͕ԋࢉࢠ͕͋Δͱࣦഊ͢Δ
     r ϚΫϩͷ৔߹ɺࣗಈͰંΓͨͨΜͩ4ZOUBY
     5SFF͕౉͞ΕΔ
     ‣ ࣗ෼Ͱ1BSTFͨ͠4ZOUBY
     5SFFͱҟͳ͍ͬͯͯ΋͋Θͯͳ͍
     r ϚΫϩͷ৔߹ɺಠࣗఆٛͷԋࢉࢠ͕͋ͬͯ΋ڧҾʹંΓͨͨΉ
     ‣ ༏ઌॱҐ͕ؒҧͬͯંΓͨͨ·ΕΔ ৔߹͕͋Δ
     r ໰୊͕͋Δ৔߹͸4ZOUBY
     5SFF͔ΒιʔείʔυΛੜ੒ͯࣗ͠෼Ͱ࠶1BSTF͢Δ
140. "OBUPNZ
     PG
     4XJGU4ZOUBY 4XJGU4ZOUBY 4XJGU4ZOUBY.BDSPT 4XJGU0QFSBUPST 4XJGU4ZOUBY#VJMEFS 4XJGU1BSTFS 4XJGU$PNQJMFS1MVHJO 4XJGU#BTJD'PSNBU 4ZOUBY
     5SFFͷσʔλߏ଄ ܕ ͱ7JTJUPSɾ 3FXSJUFSͳͲجຊతͳ"1*Λఏڙ ߏจղੳͱ4ZOUBY
     5SFFͷੜ੒ จࣈྻϦςϥϧ &YQSFTTJCMF#Z4USJOH-JUFSBM ΍3FTVMU
     #VJMEFS͔Β4ZOUBY
     5SFFΛੜ੒͢Δ "1*Λఏڙ ϚΫϩͷ࣮૷ʹඞཁͳ"1*Λఏڙ ඞཁͳۭന΍վߦΛࣗಈతʹૠೖ͢Δ ԋࢉࢠͷ༏ઌॱҐʹैͬͯࣜΛʮંΓͨͨΉʯ
141. *OJU.BDSP "EWBODFE
     &YFSDJTFT r $MBTTɺ4USVDUɺ"DUPSҎ֎ͷܕʹద༻͠ͳ͍
     r ܕʹͭ͘ΞΫηεम০ࢠ QVCMJDɺQSJWBUFͳͲ ͱΠχγϟϥΠβͷΞΫηεϨ ϕϧΛҰகͤ͞Δ
     r $PNQVUFE
     1SPQFSUZΛআ֎͢Δ
     r ؔ਺ܕͷϓϩύςΟʹରԠ͢Δ
     r αϯϓϧίʔυ
     IUUQTHJUIVCDPNLJTIJLBXBLBUTVNJJPTEDTBNQMFT
142. &YFSDJTFT
     4XJGU-JOU 0QFOJOH
     #SBDF
     4QBDJOH
     3VMF
143. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF PQFOJOH@CSBDF r 0QFOJOH
     CSBDFT
     TIPVME
     CF
     QSFDFEFE
     CZ
     B
     TJOHMF
     TQBDF
     BOE
     PO
     UIF
     TBNF
     MJOF
     BT
     UIF
     EFDMBSBUJPO func run() { } if a == b { } func run(){ } func run() { } if a == b { } guard let a = b else { }
144. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF 'BMDF
     1PTUJWF let pattern = /(\{(?<key>\w+)\})/ Opening Brace Spacing Violation
145. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF %FUFDU
     WJPMBUJPO
     🔎 override func visit(_ node: TokenSyntax) -> SyntaxVisitorContinueKind { if node.tokenKind == .leftBrace { if let previousToken = node.previousToken(viewMode: .sourceAccurate), previousToken.trailingTrivia == .space { let position = node.positionAfterSkippingLeadingTrivia violations.append(position) } } return .visitChildren }
146. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF %FUFDU
     WJPMBUJPO
     🔎 override func visit(_ node: TokenSyntax) -> SyntaxVisitorContinueKind { if node.tokenKind == .leftBrace { if let previousToken = node.previousToken(viewMode: .sourceAccurate), previousToken.trailingTrivia == .space { let position = node.positionAfterSkippingLeadingTrivia violations.append(position) } } return .visitChildren }
147. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF %FUFDU
     WJPMBUJPO
     🔎 override func visit(_ node: TokenSyntax) -> SyntaxVisitorContinueKind { if node.tokenKind == .leftBrace { if let previousToken = node.previousToken(viewMode: .sourceAccurate), previousToken.trailingTrivia == .space { let position = node.positionAfterSkippingLeadingTrivia violations.append(position) } } return .visitChildren }
148. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF "VUP
     DPSSFDUJPO
     🪄 func run() { } func run(){ } func run() { } if a == b { } func run() { } if a == b { }
149. 5IF
     5SJWJB
     "UUSJCVUJPO
     3VMF  "
     UPLFO
     PXOT
     BMM
     PG
     JUT
     USBJMJOH
     USJWJB
     VQ
     UP
     CVU
     OPU
     JODMVEJOH
     UIF
     OFYU
     OFXMJOF
     DIBSBDUFS
      -PPLJOH
     CBDLXBSE
     JO
     UIF
     UFYU
     B
     UPLFO
     PXOT
     BMM
     PG
     UIF
     MFBEJOH
     USJWJB
     VQ
     UP
     BOE
     JODMVEJOH
     UIF
     fi STU
     DPOUJHVPVT
     TFRVFODF
     PG
     OFXMJOFT
     DIBSBDUFST IUUQTHJUIVCDPNBQQMFTXJGUTZOUBYJTTVFT
150. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF 5IF
     5SJWJB
     "UUSJCVUJPO
     3VMF func run()␣␣{↲ ␣␣*** }
151. func run()␣␣↲ {↲ ␣␣*** } func run()↲ {↲ ␣␣*** } func run()␣␣{↲ ␣␣*** } 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF 5IF
     5SJWJB
     "UUSJCVUJPO
     3VMF
152. SourceFileSyntax CodeBlockItemListSyntax CodeBlockItemSyntax FunctionDeclSyntax FunctionSignatureSyntax FunctionParameterSyntax FunctionParameterClauseSyntax CodeBlockSyntax CodeBlockItemListSyntax endOfFile ( { } func run FunctionParameterListSyntax )
153. override func visit(_ node: FunctionDeclSyntax) -> DeclSyntax { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) }
154. override func visit(_ node: FunctionDeclSyntax) -> DeclSyntax { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) }
155. override func visit(_ node: FunctionDeclSyntax) -> DeclSyntax { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) }
156. override func visit(_ node: FunctionDeclSyntax) -> DeclSyntax { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) } private extension TokenSyntax { func hasSingleSpaceLeading() -> Bool { if let previousToken = previousToken(viewMode: .sourceAccurate), previousToken.trailingTrivia == .space { return true } else { return false } } }
157. override func visit(_ node: FunctionDeclSyntax) -> DeclSyntax { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) }
158. override func visit(_ node: FunctionDeclSyntax) -> DeclSyntax { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) } func run(name: T) { } ??????????????
162. func run<T>(name: T) where T: StringProtocol { }
163. override func visit(_ node: FunctionDeclSyntax) -> SyntaxVisitorContinueKind { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) if let genericWhereClause = node.genericWhereClause { return super.visit( node .with(\.genericWhereClause, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) }
164. override func visit(_ node: FunctionDeclSyntax) -> SyntaxVisitorContinueKind { guard let body = node.body else { return super.visit(node) } let openingBrace = body.leftBrace if !openingBrace.hasSingleSpaceLeading() { let position = openingBrace.positionAfterSkippingLeadingTrivia correctionPositions.append(position) if let genericWhereClause = node.genericWhereClause { return super.visit( node .with(\.genericWhereClause, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit( node .with(\.signature, node.signature.with(\.trailingTrivia, .space)) .with(\.leftBrace, node.leftBrace.with(\.leadingTrivia, [])) ) } return super.visit(node) }
165. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF "VUP
     DPSSFDUJPO
     🪄 func run<T>(name: T) where T: StringProtocol { } func run() { } func run(){ } func run<T>(name: T) where T: StringProtocol { } if a == b { } if a == b { } *Gจ΋ର৅ɻଞʹ͸ʁ
166. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS IUUQTEPDTTXJGUPSHTXJGUCPPLEPDVNFOUBUJPOUIFTXJGUQSPHSBNNJOHMBOHVBHFTVNNBSZPGUIFHSBNNBS
167. -BOHVBHF
     3FGFSFODF "CPVU
     UIF
     -BOHVBHF
     3FGFSFODF IUUQTEPDTTXJGUPSHTXJGUCPPLEPDVNFOUBUJPOUIFTXJGUQSPHSBNNJOHMBOHVBHFBCPVUUIFMBOHVBHFSFGFSFODF
168. -BOHVBHF
     3FGFSFODF "CPVU
     UIF
     -BOHVBHF
     3FGFSFODF r "O
     BSSPX
     ˠ
     JT
     VTFE
     UP
     NBSL
     HSBNNBS
     QSPEVDUJPOT
     BOE
     DBO
     CF
     SFBE
     BT
     lDBO
     DPOTJTU
     PGz
     r 4ZOUBDUJD
     DBUFHPSJFT
     BSF
     JOEJDBUFE
     CZ
     JUBMJD
     UFYU
     BOE
     BQQFBS
     PO
     CPUI
     TJEFT
     PG
     B
     HSBNNBS
     QSPEVDUJPO
     SVMF
     r -JUFSBM
     XPSET
     BOE
     QVODUVBUJPO
     BSF
     JOEJDBUFE
     CZ
     CPMEGBDF
     DPOTUBOU
     XJEUI
     UFYU
     BOE
     BQQFBS
     POMZ
     PO
     UIF
     SJHIUIBOE
     TJEF
     PG
     B
     HSBNNBS
     QSPEVDUJPO
     SVMF
     r "MUFSOBUJWF
     HSBNNBS
     QSPEVDUJPOT
     BSF
     TFQBSBUFE
     CZ
     WFSUJDBM
     CBST
     c 
     8IFO
     BMUFSOBUJWF
     QSPEVDUJPOT
     BSF
     UPP
     MPOH
     UP
     SFBE
     FBTJMZ
     UIFZ`SF
     CSPLFO
     JOUP
     NVMUJQMF
     HSBNNBS
     QSPEVDUJPO
     SVMFT
     PO
     OFX
     MJOFT
     r *O
     B
     GFX
     DBTFT
     SFHVMBS
     GPOU
     UFYU
     JT
     VTFE
     UP
     EFTDSJCF
     UIF
     SJHIUIBOE
     TJEF
     PG
     B
     HSBNNBS
     QSPEVDUJPO
     SVMF
     r 0QUJPOBM
     TZOUBDUJD
     DBUFHPSJFT
     BOE
     MJUFSBMT
     BSF
     NBSLFE
     CZ
     B
     USBJMJOH
     RVFTUJPO
     NBSL
     
169. -BOHVBHF
     3FGFSFODF "CPVU
     UIF
     -BOHVBHF
     3FGFSFODF r ໼ҹ ˠ ͸ߏจΛࣔ͠ɺʮࠨล͸ӈลͷʓʓͰߏ੒͞ΕΔʯͱಡΈ·͢
     r ߏจΧςΰϦ͸ΠλϦοΫͷςΩετͰࣔ͞Εɺߏจϧʔϧͷ྆ଆʹݱΕ·͢
     r ୯ޠϦςϥϧͱه߸͸ɺଠࣈͰ౳෯ͷॻମͰࣔ͞ΕɺߏจϧʔϧͷӈଆʹͷΈݱΕ ·͢
     r ෳ਺ͷॻ͖ํ͕͋Δߏจ͸ύΠϓ c Ͱ۠੾ΒΕ·͢ɻԣʹ௕͘ಡΈʹ͘͘ͳΔ৔߹ ͸৽͍͠ߦͰෳ਺ͷߏจϧʔϧʹ෼ׂ͞Ε·͢
     r ௨ৗͷॻମΛ࢖༻ͯ͠จ๏نଇͷӈଆΛهड़͢Δ͜ͱ͕͋Γ·͢
     r ඞਢͰ͸ͳ͍ߏจΧςΰϦͱϦςϥϧ͸ɺ຤ඌʹΫΤενϣϯϚʔΫA A͕෇͖·͢
170. -BOHVBHF
     3FGFSFODF "CPVU
     UIF
     -BOHVBHF
     3FGFSFODF Grammar of a getter-setter block getter-setter-block → { getter-clause setter-clause? } | { setter-clause getter-clause } var name: String { get { ... } set { ... } } var name: String { get { ... } }
171. Grammar of a function declaration function-declaration → function-head function-name generic-parameter-clause? function-signature generic-where-clause? function-body? function-head → attributes? declaration-modi fi ers? func function-name → identi fi er | operator function-signature → parameter-clause async? throws? function-result? function-signature → parameter-clause async? rethrows function-result? function-result → -> attributes? type function-body → code-block parameter-clause → ( ) | ( parameter-list ) parameter-list → parameter | parameter , parameter-list parameter → external-parameter-name? local-parameter-name type-annotation default-argument-clause? parameter → external-parameter-name? local-parameter-name type-annotation parameter → external-parameter-name? local-parameter-name type-annotation ... external-parameter-name → identi fi er local-parameter-name → identi fi er default-argument-clause → = expression
172. Grammar of a function declaration function-declaration → function-head function-name generic-parameter-clause? function-signature generic-where-clause? function-body? function-head → attributes? declaration-modi fi ers? func function-name → identi fi er | operator function-signature → parameter-clause async? throws? function-result? function-signature → parameter-clause async? rethrows function-result? function-result → -> attributes? type function-body → code-block parameter-clause → ( ) | ( parameter-list ) parameter-list → parameter | parameter , parameter-list parameter → external-parameter-name? local-parameter-name type-annotation default-argument-clause? parameter → external-parameter-name? local-parameter-name type-annotation parameter → external-parameter-name? local-parameter-name type-annotation ... external-parameter-name → identi fi er local-parameter-name → identi fi er default-argument-clause → = expression
173. Grammar of a function declaration function-declaration → function-head function-name generic-parameter-clause? function-signature generic-where-clause? function-body? function-head → attributes? declaration-modi fi ers? func function-name → identi fi er | operator function-signature → parameter-clause async? throws? function-result? function-signature → parameter-clause async? rethrows function-result? function-result → -> attributes? type function-body → code-block parameter-clause → ( ) | ( parameter-list ) parameter-list → parameter | parameter , parameter-list parameter → external-parameter-name? local-parameter-name type-annotation default-argument-clause? parameter → external-parameter-name? local-parameter-name type-annotation parameter → external-parameter-name? local-parameter-name type-annotation ... external-parameter-name → identi fi er local-parameter-name → identi fi er default-argument-clause → = expression
174. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS Grammar of a code block code-block → { statements? }
175. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS r ม਺એݴ
     r $PNQVUFE
     1SPQFSUZ
     r HFUUFS
     
     TFUUFS
     r XJMM4FU
     
     EJE4FU
     r GPSJO
     
     XIJMF
     
     SFQFBUXIJMF
     
     JG
     
     HVBSE
     
     TXJUDI
     r EFGFS
     r EP
     
     EPDBUDI
176. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS Grammar of a structure declaration struct-declaration → attributes? access-level-modi fi er? struct struct-name generic-parameter-clause? type-inheritance-clause? generic-where-clause? struct-body struct-name → identi fi er struct-body → { struct-members? } struct-members → struct-member struct-members? struct-member → declaration | compiler-control-statement
177. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS r FOVN
     
     TUSVDU
     
     DMBTT
     
     BDUPS
     
     QSPUPDPM
     
     FYUFOTJPOએݴ
     r QSFDFEFODF
     HSPVQએݴ
     r $MPTVSF
     r 6OJDPEF
     &TDBQF
     r "UUSJCVUFT
178. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS r FOVN
     
     TUSVDU
     
     DMBTT
     
     BDUPS
     
     QSPUPDPM
     
     FYUFOTJPOએݴ
     r QSFDFEFODF
     HSPVQએݴ
     r $MPTVSF
     r 6OJDPEF
     &TDBQF
     r "UUSJCVUFT
179. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS r ม਺એݴ
     r $PNQVUFE
     1SPQFSUZ
     r HFUUFS
     
     TFUUFS
     r XJMM4FU
     
     EJE4FU
     r GPSJO
     
     XIJMF
     
     SFQFBUXIJMF
     
     JG
     
     HVBSE
     
     TXJUDI
     r EFGFS
     r EP
     
     EPDBUDI
     r FOVN
     
     TUSVDU
     
     DMBTT
     
     BDUPS
     
     QSPUPDPM
     
     FYUFOTJPOએݴ
     r QSFDFEFODF
     HSPVQએݴ
     r $MPTVSF
180. -BOHVBHF
     3FGFSFODF 4VNNBSZ
     PG
     UIF
     (SBNNBS r ม਺એݴ
     r $PNQVUFE
     1SPQFSUZ
     r HFUUFS
     
     TFUUFS
     r XJMM4FU
     
     EJE4FU
     r GPSJO
     
     XIJMF
     
     SFQFBUXIJMF
     
     JG
     
     HVBSE
     
     EFGFS
     
     EP
     
     EPDBUDI
     r FOVN
     
     TUSVDU
     
     DMBTT
     
     BDUPS
     
     QSPUPDPM
     
     FYUFOTJPOએݴ
     r QSFDFEFODF
     HSPVQએݴ
     r TXJUDI
     
     $MPTVSF %FDM(SPVQ4ZOUBY 8JUI$PEF#MPDL4ZOUBY 8JUI4UBUFNFOUT4ZOUBY
181. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF "VUP
     DPSSFDUJPO
     🪄 extension DeclGroupSyntax { func violationPosition() -> AbsolutePosition? { let openingBrace = memberBlock.leftBrace if !openingBrace.hasSingleSpaceLeading() { return openingBrace.positionAfterSkippingLeadingTrivia } return nil } }
182. override func visit(_ node: ClassDeclSyntax) -> SyntaxVisitorContinueKind { if let position = node.violationPosition() { violations.append(position) } return .visitChildren } override func visit(_ node: StructDeclSyntax) -> SyntaxVisitorContinueKind { if let position = node.violationPosition() { violations.append(position) } return .visitChildren } ...
183. private extension DeclGroupSyntax { ... func correct<T: SyntaxProtocol>(keyPath: WritableKeyPath<Self, T>) -> Self { return self .with(keyPath, self[keyPath: keyPath].with(\.trailingTrivia, .space)) .with(\.memberBlock, memberBlock.with(\.leadingTrivia, [])) } func correct<T: SyntaxProtocol>(keyPath: WritableKeyPath<Self, T?>) -> Self? { guard let value = self[keyPath: keyPath] else { return nil } return self .with(keyPath, value.with(\.trailingTrivia, .space)) .with(\.memberBlock, memberBlock.with(\.leadingTrivia, [])) } }
184. 4XJGU-JOU
     0QFOJOH
     #SBDF
     4QBDJOH
     3VMF -FTTPOT
     -FBSOFE r 4ZOUBY7JTJUPSΛ࢖ͬͯҧ൓ΛνΣοΫ
     r 4ZOUBY3FXSJUFSΛ࢖ͬͯҧ൓ΛνΣοΫˍࣗಈमਖ਼
     r 1SPUPDPM
     &YUFOTJPOΛ࢖ͬͯॲཧΛ·ͱΊΔ
     r 4XJGU
     -BOHVBHF
     3FGFSFODF
     r 1VMM
     3FRVFTU
     IUUQTHJUIVCDPNSFBMN4XJGU-JOUQVMM
185. &YFSDJTFT
     4XJGU-JOU $PMMFDUJPO
     &MFNFOU
     "MJHONFOU
186. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU DPMMFDUJPO@BMJHONFOU r "MM
     FMFNFOUT
     JO
     B
     DPMMFDUJPO
     MJUFSBM
     TIPVME
     CF
     WFSUJDBMMZ
     BMJHOFE let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ] let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ] let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ] let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ]
187. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU DPMMFDUJPO@BMJHONFOU r "MM
     FMFNFOUT
     JO
     B
     DPMMFDUJPO
     MJUFSBM
     TIPVME
     CF
     WFSUJDBMMZ
     BMJHOFE r "MM
     FMFNFOUT
     JO
     B
     DPMMFDUJPO
     MJUFSBM
     TIPVME
     CF
     WFSUJDBMMZ
     BMJHOFE let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ] let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ] let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ] let abc = [ "alpha": "a", "beta": "b", "gamma": "g", "delta": "d" ]
188. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU 'BMTF
     1PTJUJWF NSAttributedString( string: "…", attributes: [.font: UIFont.systemFont(ofSize: 12, weight: .regular), .foregroundColor: UIColor(white: 0, alpha: 0.2)] ) IUUQTHJUIVCDPNSFBMN4XJGU-JOUJTTVFT
189. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU 'BMTF
     1PTJUJWF NSAttributedString( string: "…", attributes: [.font: UIFont.systemFont(ofSize: 12, weight: .regular), .foregroundColor: UIColor(white: 0, alpha: 0.2)] ) IUUQTHJUIVCDPNSFBMN4XJGU-JOUJTTVFT 31 29
190. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU DPMMFDUJPO@BMJHONFOU "…".utf8.count 3
191. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU DPMMFDUJPO@BMJHONFOU override func visitPost(_ node: DictionaryElementListSyntax) { let locations = node.map { element in let position = alignColons ? element.colon.positionAfterSkippingLeadingTrivia : element.keyExpression.positionAfterSkippingLeadingTrivia return locationConverter.location(for: position) } violations.append(contentsOf: validate(keyLocations: locations)) } "4$** 65'Ͱ
     CZUF ͳΒ੒Γཱͭ
192. override func visitPost(_ node: DictionaryElementListSyntax) { let locations = node.map { element in let position = alignColons ? element.colon.positionAfterSkippingLeadingTrivia : element.keyExpression.positionAfterSkippingLeadingTrivia let location = locationConverter.location(for: position) let graphemeColumn: Int let graphemeClusters = String( locationConverter.sourceLines[location.line - 1].utf8.prefix(location.column - 1) ) if let graphemeClusters { graphemeColumn = graphemeClusters.count + 1 } else { graphemeColumn = location.column } return SourceLocation( line: location.line, column: graphemeColumn, offset: location.offset, file: location.file ) } violations.append(contentsOf: validate(keyLocations: locations)) }
193. override func visitPost(_ node: DictionaryElementListSyntax) { let locations = node.map { element in let position = alignColons ? element.colon.positionAfterSkippingLeadingTrivia : element.keyExpression.positionAfterSkippingLeadingTrivia let location = locationConverter.location(for: position) let graphemeColumn: Int let graphemeClusters = String( locationConverter.sourceLines[location.line - 1].utf8.prefix(location.column - 1) ) if let graphemeClusters { graphemeColumn = graphemeClusters.count + 1 } else { graphemeColumn = location.column } return SourceLocation( line: location.line, column: graphemeColumn, offset: location.offset, file: location.file ) } violations.append(contentsOf: validate(keyLocations: locations)) } locationConverter.sourceLines[location.line - 1].utf8.prefix(location.column - 1) ݩͷιʔείʔυ͕ߦ͝ͱʹ֨ೲ͞Εͨ഑ྻ
194. override func visitPost(_ node: DictionaryElementListSyntax) { let locations = node.map { element in let position = alignColons ? element.colon.positionAfterSkippingLeadingTrivia : element.keyExpression.positionAfterSkippingLeadingTrivia let location = locationConverter.location(for: position) let graphemeColumn: Int let graphemeClusters = String( locationConverter.sourceLines[location.line - 1].utf8.prefix(location.column - 1) ) if let graphemeClusters { graphemeColumn = graphemeClusters.count + 1 } else { graphemeColumn = location.column } return SourceLocation( line: location.line, column: graphemeColumn, offset: location.offset, file: location.file ) } violations.append(contentsOf: validate(keyLocations: locations)) } 29 31
195. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU 'BMTF
     1PTJUJWF NSAttributedString( string: "…", attributes: [.font: UIFont.systemFont(ofSize: 12, weight: .regular), .foregroundColor: UIColor(white: 0, alpha: 0.2)] ) IUUQTHJUIVCDPNSFBMN4XJGU-JOUJTTVFT
197. let graphemeStartColumn: Int if let prefix = String(locationConverter.sourceLines[start.line - 1].utf8.prefix(start.column - 1)) { graphemeStartColumn = prefix.utf16.count + 1 } else { graphemeStartColumn = start.column } let graphemeEndColumn: Int if let prefix = String(locationConverter.sourceLines[end.line - 1].utf8.prefix(end.column - 1)) { graphemeEndColumn = prefix.utf16.count + 1 } else { graphemeEndColumn = end.column } 4XJGU
     "45
     &YQMPSFS +BWB4DSJQU
     4USJOH
     -FOHUI
     *T
     JO
     65'
     $PEF
     6OJUT
198. 4XJGU-JOU
     $PMMFDUJPO
     &MFNFOU
     "MJHONFOU -FTTPOT
     -FBSOFE r 4XJGU4ZOUBYͷߏจϊʔυͷҐஔ৘ใ͸65'ͷόΠτ਺
     r ࣮ࡍͷιʔείʔυͷҐஔͱ͸ඞͣ͠΋Ұக͠ͳ͍ "4$**Ҏ֎ͷจࣈͳͲ
     r ࠷ऴతͳग़ྗઌʹ߹Θͤͯ޻෉͕ඞཁ
     ‣ ݟͨ໨ͷจࣈ਺
     ˠ
     ॻهૉΫϥελ
     ‣ +BWB4DSJQU
     ˠ
     65'
     r 1VMM
     3FRVFTU
     IUUQTHJUIVCDPNSFBMN4XJGU-JOUJTTVFT
199. &YFSDJTFT
     4PVSDF
     &EJUPS
     &YUFOTJPOT
200. &YFSDJTFT
     4PVSDF
     &EJUPS
     &YUFOTJPOT $POWFSU
     9$5"TTFSU
     'VODUJPOT
     UP
     1PXFS
     "TTFSU
     .BDSPT XCTAssert(actual == expected) XCTAssertEqual(actual, expected) XCTAssertNotEqual(actual, expected) XCTAssertGreaterThan(a, b) XCTAssertGreaterThanOrEqual(a, b) XCTAssertIdentical(actual, expected) XCTAssertNotIdentical(actual, expected) #assert(actual == expected) #assert(actual == expected) #assert(actual != expected) #assert(a > b) #assert(a >= b) #assert(actual === expected) #assert(actual !== expected)
201. &YFSDJTFT
     4PVSDF
     &EJUPS
     &YUFOTJPOT $POWFSU
     9$5"TTFSU
     'VODUJPOT
     UP
     1PXFS
     "TTFSU
     .BDSPT r 9$5"TTFSU ؔ਺ΛBTTFSU ϚΫϩʹม׵͢Δ
     r ςετͷ࣮ߦ݁Ռ͕มΘΒͳ͍Α͏ʹ͢Δ
     r NFTTBHFɺ fi MFɺMJOFͷσϑΥϧτҾ਺ʹ஫ҙ͢Δ
     r ුಈখ਺Λൺֱ͢Δ9$5"TTFSU&RVBM @@BDDVSBDZ@ fi MFMJOF ؔ਺͸ର৅֎
     r ෆ׬શͳιʔείʔυ͕౉ͬͯ͘Δ৔߹͕͋Δ
     r ղ౴ྫ
     IUUQTHJUIVCDPNLJTIJLBXBLBUTVNJTXJGUQPXFSBTTFSUQVMM
202. 1VTI
     :PVS
     -JNJUT 4XJGU4ZOUBYΛϚελʔ͢ΔͨΊʹ r 4XJGU-JOUͷϧʔϧΛ4XJGU4ZOUBYΛ࢖ͬͯॻ͖׵͑Δ
     r 4XJGUϚΫϩΛ࡞ͬͯΈΔ
     r 4XJGU4ZOUBYΛ࢖ͬͯ9DPEF
     4PVSDF
     &EJUPS
     &YUFOTJPOΛ࡞Δ
     r 4XJGU
     "45
     &YQMPSFSͷ։ൃʹڠྗ͢Δ
     r 4XJGU
     1PXFS
     "TTFSUͷ։ൃʹڠྗ͢Δ
203. 8SBQ
     6Q r 4XJGU
     1BSTFSͰιʔείʔυΛߏจղੳ͠ɺ4ZOUBY
     5SFFΛ୳ࡧ͢Δ
     r 4ZOUBY
     5SFFΛม׵ͯ͠ιʔείʔυΛॻ͖׵͑Δ
     r ϚΫϩɺ-JOUɺ'PSNBUUFSɺ9DPEF
     &YUFOTJPOɺͳͲ͕࡞ΕΔ
     r 4ZOUBY
     3FXSJUFS΍4PVSDF-PDBUJPO$POWFSUFSͳͲಠಛͷ"1*ʹ׳ΕΕ͹ҙ֎ ͱγϯϓϧʹॻ͚Δ
     r ίϯύΠϥͰ͸ͳ͍ͷͰܕ৘ใͳͲߏจ͔ΒಡΈऔΕͳ͍΋ͷ͸ѻ͑ͳ͍
     r 4XJGU4ZOUBYΛ༗ޮʹ࢖͏ʹ͸4XJGUʹؔ͢Δ෯޿͍஌͕ࣝॏཁ
204. 3FGFSFODFT r 4BNQMF
     $PEF
     IUUQTHJUIVCDPNLJTIJLBXBLBUTVNJJPTEDTBNQMFT
     r 4XJGU4ZOUBY
     IUUQTHJUIVCDPNBQQMFTXJGUTZOUBY
     r 4XJGU
     "45
     &YQMPSFS
     IUUQTTXJGUBTUFYQMPSFSDPN
     r 4XJGU
     -BOHVBHF
     3FGFSFODF
     IUUQTEPDTTXJGUPSHTXJGUCPPLEPDVNFOUBUJPOUIFTXJGUQSPHSBNNJOHMBOHVBHFBCPVUUIFMBOHVBHFSFGFSFODF
     r 4XJGU
     .BDSPT
     IUUQTHJUIVCDPNLS[ZT[UPG[BCMPDLJ4XJGU.BDSPT