4XJGUͷίʔυ͔Β ঢ়ଶભҠਤΛࣗಈͰੜ੒͠ ܧଓతʹϝϯςφϯε͠΍͘͢͢Δ J04%$+BQBO IUUQTHJUIVCDPNPCKFDUJWFBVEJPJ04%$

εςʔτϚγϯ ʢ༗ݶΦʔτϚτϯʣ ঢ়ଶͱભҠͱಈ࡞ͷ૊Έ߹Θ͔ͤΒͳΔ ৼΔ෣͍ͷϞσϧ

ྫɿυΞͷ։ด

ด͍ͯ͡Δ ։͍͍ͯΔ ։͘ ด͡Δ

ด͍ͯ͡Δ ։͍͍ͯΔ ։͘ ด͡Δ ঢ়ଶ ঢ়ଶ

ด͍ͯ͡Δ ։͍͍ͯΔ ։͘ ด͡Δ ಈ࡞ ಈ࡞

ด͍ͯ͡Δ ։͍͍ͯΔ ։͘ ด͡Δ ભҠ ભҠ

ด͍ͯ͡Δ ։͍͍ͯΔ ։͘ ด͡Δ

ด͍ͯ͡Δ ։͍͍ͯΔ ։͘ ด͡Δ υΞͷ։ดͷঢ়ଶભҠਤ

ৼΔ෣͍Λίʔυʹ͢Δ

εςʔτύλʔϯ Ϋϥεʹڞ௨ͷΠϯλʔϑΣʔεΛఆٛͯ͠ ΠϯελϯεΛೖΕସ͑ͯৼΔ෣͍Λม͑Δ

໰୊ શମͷભҠ͕Θ͔Γʹ͍͘ ࣗ༝౓͕ߴ͗͢Δ Ϋϥε͕૿͑͗͢Δ

ղܾࡦ ঢ়ଶભҠਤΛ࡞Δ

ܧଓతʹίʔυͱਤΛ߹ΘͤΔͷ͕େม ໰୊

VJqPX IUUQTHJUIVCDPNIJSPLJEBJDIJVJqPX [࠷ॳʹ] Ϣʔβʔ͕ݟΔ΋ͷΛॻ͖·͢ɻ -- Ϣʔβʔ͕͢ΔߦಈΛॻ͖·͢ɻ [࣍ʹ] Ϣʔβʔ͕ݟΔ΋ͷ -- Ϣʔβʔ͕͢Δ͜ͱ̍ ==> ͦͷ݁Ռ̍ Ϣʔβʔ͕͢Δ͜ͱ̎ ==> ͦͷ݁Ռ̎ [ͦͷ݁Ռ̍] ݁Ռ [ͦͷ݁Ռ̎] ݁Ռ

"45 IUUQTTQFBLFSEFDLDPNLJTIJLBXBLBUTVNJBTUNFUBQSPHSBNNJOHJOTXJGU AST meta-programming in Swift try! Swift Tokyo 2018 Abstract Syntax Tree

'MPX(SBQI 4XJGUͷεςʔτϚγϯϥΠϒϥϦ IUUQTHJUIVCDPNPCKFDUJWFBVEJP4XJGU'MPX(SBQI

'MPX(SBQI%PU$POWFSUFS 'MPX(SBQIͰॻ͔Εͨίʔυ͔Β (SBQIWJ[ͷϑΝΠϧܗࣜʹॻ͖ग़͢ ίϚϯυϥΠϯπʔϧ IUUQTHJUIVCDPNPCKFDUJWFBVEJP'MPX(SBQI%PU$POWFSUFS

digraph { graph [label = "Door", labelloc = "t", labeljust = "l", fontcolor = "#333333", rankdir = "TB", fontname = "Osaka-Mono", fontsize = "12", charset = "UTF-8"] node [fontcolor = "#333333", fillcolor = "#F9F9F9", fontname = "Osaka-Mono", style = "solid,filled", fontsize = "10", color = "#CCCCCC"] edge [fontcolor = "#333333", fontname = "Osaka-Mono", fontsize = "9", color = "#AAAAAA"] opened [shape = "record", label = "{opened|։͍͍ͯΔ}", color = "#BBBBBB"] closing [shape = "record", label = "{closing|ด͡Δ}", color = "#40C5EE"] closed [shape = "record", label = "{closed|ด͍ͯ͡Δ}", color = "#00D54B"] opening [shape = "record", label = "{opening|։͘}", color = "#40C5EE"] "opened" -> "closing" [style = "solid", color = "#99DEF3"] "closing" -> "closed" [style = "dashed", color = "#AAAAAA"] "closed" -> "opening" [style = "solid", color = "#99DEF3"] // // Door.swift // import FlowGraph // υΞͷঢ়ଶ class Door: FlowGraphType { private(set) var isOpen: Bool = false { didSet { print("isOpen \(self.isOpen)") if let handler = self.isOpenHandler { handler(self.isOpen) } } } var isOpenHandler: ((Bool) -> Void)? enum WaitingState { case closed case opened } enum RunningState { case opening case closing } enum EventKind { case open case close } typealias Event = (kind: EventKind, object: Door) private let graph: FlowGraph init() { let builder = FlowGraphBuilder() // ด͍ͯ͡Δ builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } // ։͍͍ͯΔ builder.add(waiting: .opened) { event in if case .close = event.kind { return .run(.closing, event) } else { return .stay } } %PPSTXJGU %PPSEPU %PPSTWH

γΣϧεΫϦϓτͰ ΍͍ͬͯΔ͜ͱ

$ brew install graphviz (SBQIWJ[ΛΠϯετʔϧ $POWFSUFSͷ४උ )PNFCSFXΛΠϯετʔϧʢͷ֬ೝʣ

$ swift build -c release $ swift run -c release FlowGraphDotConverter ೖྗ͢ΔϑΝΠϧʢෳ਺ʣ--output ग़ྗ͢ΔϑΥϧμ $ dot -T svg ೖྗ͢Δύε -o ग़ྗ͢Δύε Ϗϧυ͢Δʢ4XJGU1BDLBHF.BOBHFSʣ 4XJGUϑΝΠϧΛղੳͯ͠(SBQIWJ[ͷܗࣜʹग़ྗ (SBQIWJ[Ͱਤʹม׵͢Δ $POWFSUFSͷ࣮ߦ

'MPX(SBQI

'MPX(SBQI%PPS DMPTFE PQFOFE DMPTJOH PQFOJOH &WFOU $VSSFOU

'MPX(SBQI%PPS DMPTFE PQFOFE 8BJUJOH4UBUF ଴ػ͢Δεςʔτ ֎෦͔ΒΠϕϯτΛड͚औ࣮ͬͯߦ͞ΕΔΫϩʔδϟΛ࣋ͭ &WFOU DMPTJOH ʢด͍ͯ͡Δʣ ʢ։͍͍ͯΔʣ

'MPX(SBQI%PPS DMPTFE PQFOFE Πϕϯτ 3VOOJOH4UBUF ॲཧΛ࣮ߦ͢Δεςʔτ 8BJUJOH4UBUF͔ΒΠϕϯτΛ ड͚औ࣮ͬͯߦ͞ΕΔ ΫϩʔδϟΛ࣋ͭ ଴ػ͢Δ͜ͱ͸Ͱ͖ͳ͍ DMPTJOH PQFOJOH ʢ։͘ʣ ʢด͡Δʣ

'MPX(SBQI%PPS DMPTFE PQFOFE &WFOU &WFOU ֎෦͔Β$VSSFOUͷ8BJUJOH4UBUFʹ౉͞ΕΔ 8BUJOH4UBUF͔Β3VOOJOH4UBUFʹ౉͞ΕΔ $VSSFOU DMPTJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS DMPTFEεςʔτʹ଴ػ͍ͯ͠Δ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS PQFO PQFOΠϕϯτΛDVSSFOUͷεςʔτʹ౉͢ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS PQFOJOHεςʔτʹભҠͯ͠։͘ॲཧΛ࣮ߦ͢Δ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS PQFOFEεςʔτʹભҠͯ͠଴ػ͢Δ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS DMPTF DMPTFΠϕϯτΛDVSSFOUͷεςʔτʹ౉͢ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS DMPTJOHεςʔτʹભҠͯ͠ด͡ΔॲཧΛ࣮ߦ͢Δ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS DMPTFEεςʔτʹભҠͯ͠଴ػ͢Δ DMPTJOH PQFOJOH

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS DMPTFEεςʔτʹભҠͯ͠଴ػ͢Δ DMPTJOH PQFOJOH DMPTF

DMPTFE PQFOFE $VSSFOU 'MPX(SBQI%PPS DMPTFEεςʔτʹભҠͯ͠଴ػ͢Δ DMPTJOH PQFOJOH

'MPX(SBQIͷॻ͖ํ ܕͷఆٛ ઃܭΦϒδΣΫτͷੜ੒ εςʔτͷొ࿥ ࣮ߦΦϒδΣΫτͷੜ੒ ΠϕϯτΛड͚औΔ

ܕͷఆٛ

'MPX(SBQI5ZQFʹద߹ͨ͠ܕΛఆٛ public protocol FlowGraphType { associatedtype WaitingState: Hashable associatedtype RunningState: Hashable associatedtype Event ... }

class Door: FlowGraphType { enum WaitingState { case closed case opened } enum RunningState { case opening case closing } typealias Event = (kind: EventKind, object: Door) ... } 'MPX(SBQI5ZQFʹద߹ͨ͠ܕΛఆٛ

class Door: FlowGraphType { enum WaitingState { case closed case opened } enum RunningState { case opening case closing } typealias Event = (kind: EventKind, object: Door) ... } ଴ػ͢ΔεςʔτͷܕʢFOVNਪ঑ʣ 'MPX(SBQI5ZQFʹ४ڌͨ͠ܕΛఆٛ

class Door: FlowGraphType { enum WaitingState { case closed case opened } enum RunningState { case opening case closing } typealias Event = (kind: EventKind, object: Door) ... } ࣮ߦ͢ΔεςʔτͷܕʢFOVNਪ঑ʣ 'MPX(SBQI5ZQFʹ४ڌͨ͠ܕΛఆٛ

class Door: FlowGraphType { enum WaitingState { case closed case opened } enum RunningState { case opening case closing } typealias Event = (kind: EventKind, object: Door) ... } ड͚औΔΠϕϯτͷܕʢͳΜͰ΋ʣ 'MPX(SBQI5ZQFʹ४ڌͨ͠ܕΛఆٛ enum EventKind { case open case close }

ઃܭΦϒδΣΫτͷੜ੒

let builder = FlowGraphBuilder() 'MPX(SBQI#VJMEFSΛੜ੒

εςʔτͷొ࿥

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } 8BJUJOH4UBUFͷొ࿥

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } 8BJUJOH4UBUFͷొ࿥ ొ࿥͢Δεςʔτ໊

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } 8BJUJOH4UBUFͷొ࿥ ొ࿥͢ΔΫϩʔδϟ

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } ΠϕϯτΛड͚औΔ 8BJUJOH4UBUFͷొ࿥

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } 8BJUJOH4UBUFͷొ࿥ ผͷεςʔτʹભҠ͢Δ

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } 8BJUJOH4UBUFͷొ࿥ return .wait(.opened) ผͷεςʔτʹભҠ͢Δ

builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } Կ΋͠ͳ͍ 8BJUJOH4UBUFͷొ࿥

builder.add(running: .opening) { event in event.object.isOpen = true return .wait(.opened) } 3VOOJOH4UBUFͷొ࿥

builder.add(running: .opening) { event in event.object.isOpen = true return .wait(.opened) } Կ͔ॲཧΛ͢Δ 3VOOJOH4UBUFͷొ࿥

builder.add(running: .opening) { event in event.object.isOpen = true return .wait(.opened) } ผͷεςʔτʹભҠ͢Δ 3VOOJOH4UBUFͷొ࿥ ❇3VOOJOH4UBUFʹཹ·Δ͜ͱ͸Ͱ͖ͳ͍

࣮ߦΦϒδΣΫτͷੜ੒

self.graph = builder.build(initial: .closed) 'MPX(SBQIΛੜ੒͢Δ

self.graph = builder.build(initial: .closed) 'MPX(SBQIΛੜ੒͢Δ private let graph: FlowGraph ϓϩύςΟ

self.graph = builder.build(initial: .closed) 'MPX(SBQIΛੜ੒͢Δ ࠷ॳʹ଴ػ͢Δεςʔτ

Πϕϯτͷड͚औΓ

ΠϕϯτΛड͚औΔ func run(_ kind: EventKind) { self.graph.run((kind, self)) }

func run(_ kind: EventKind) { self.graph.run((kind, self)) } ΠϕϯτΛड͚औΔ ΠϕϯτΛ౉͢

'MPX(SBQI%PU$POWFSUFS

4PVSDF,JUUFO w 4PVSDF,JUΛίϚϯυϥΠϯͰ࢖͑ΔΑ͏ʹͨ͠ ϥΠϒϥϦ w 4XJGUͷίʔυΛղੳͯ͠ɺߏ଄ΛऔಘͰ͖Δ w 4PVSDF,JUUFO'SBNFXPSLΛΠϯϙʔτ͢Ε͹ɺ 4XJGUͷϥΠϒϥϦͱͯ͠΋࢖͑Δ

w4USVDUVSF w4ZOUBY ղੳ͢Δػೳ

4USVDUVSF w πϦʔߏ଄Ͱղੳ͢Δ w DMBTT΍ؔ਺΍ม਺ͳͲͷߏ଄͕औಘͰ͖Δ w ίϝϯτͳͲ͸ແࢹ͞ΕΔ

\ LFZEJBHOPTUJD@TUBHFTPVSDFEJBHOPTUJDTUBHFTXJGUQBSTF LFZMFOHUI LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJMJUZJOUFSOBM LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZFMFNFOUT< \ LFZLJOETPVSDFMBOHTXJGUTUSVDUVSFFMFNUZQFSFG LFZMFOHUI LFZP⒎TFU ^ > LFZJOIFSJUFEUZQFT< \ LFZOBNF'MPX(SBQI5ZQF ^ > LFZLJOETPVSDFMBOHTXJGUEFDMDMBTT LFZMFOHUI LFZOBNF%PPS LFZOBNFMFOHUI 4USVDUVSF

\ LFZEJBHOPTUJD@TUBHFTPVSDFEJBHOPTUJDTUBHFT LFZMFOHUI LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZFMFNFOUT< \ LFZLJOETPVSDFMBOHTXJGUTUSVDUVSFFMFN LFZMFOHUI LFZP⒎TFU P⒎TFUͱMFOHUIͰ ཁૉͷจࣈྻͷҐஔ͕ औಘͰ͖Δ

\ LFZEJBHOPTUJD@TUBHFTPVSDFEJBHOPTUJDTUBHFT LFZMFOHUI LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZFMFNFOUT< \ LFZLJOETPVSDFMBOHTXJGUTUSVDUVSFFMFN LFZMFOHUI LFZP⒎TFU TVCTUSVDUVSFʹࢠͷཁૉͷ഑ྻ

LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZFMFNFOUT< \ LFZLJOETPVSDFMBOHTXJGUTUSVDUVSFFMFN LFZMFOHUI LFZP⒎TFU ^ > LFZJOIFSJUFEUZQFT< LJOE͸ཁૉͷछྨ

ΫϥεΛ୳͢

// Door.swift // import FlowGraph // υΞͷঢ়ଶ class Door: FlowGraphType { private(set) var isOpen: Bool = false didSet { print("isOpen \(self.isOpen)") if let handler = self.isOpenHa handler(self.isOpen) } } } var isOpenHandler: ((Bool) -> Void)?

LFZJOIFSJUFEUZQFT< \ LFZOBNF'MPX(SBQI5ZQF ^ > LFZLJOETPVSDFMBOHTXJGUEFDMDMBTT LFZMFOHUI LFZOBNF%PPS LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZSVOUJNF@OBNF@5U$@@NBJO@@%PPS LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJM LJOE͕DMBTT

LFZJOIFSJUFEUZQFT< \ LFZOBNF'MPX(SBQI5ZQF ^ > LFZLJOETPVSDFMBOHTXJGUEFDMDMBTT LFZMFOHUI LFZOBNF%PPS LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZSVOUJNF@OBNF@5U$@@NBJO@@%PPS LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJM P⒎TFUͱMFOHIͰ ΫϥεͷҐஔΛऔಘ

LFZJOIFSJUFEUZQFT< \ LFZOBNF'MPX(SBQI5ZQF ^ > LFZLJOETPVSDFMBOHTXJGUEFDMDMBTT LFZMFOHUI LFZOBNF%PPS LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZSVOUJNF@OBNF@5U$@@NBJO@@%PPS LFZTVCTUSVDUVSF< \ LFZBDDFTTJCJMJUZTPVSDFMBOHTXJGUBDDFTTJCJM OBNFʹDMBTTͷ໊લ

εςʔτΛ୳͢

init() { let builder = FlowGraphBuilder() // ด͍ͯ͡Δ builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } // ։͍͍ͯΔ builder.add(waiting: .opened) { event in if case .close = event.kind { return .run(.closing, event) } else { return .stay

\ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSDBMM LFZMFOHUI LFZOBNFCVJMEFSBEE LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSBSHVNFOU LFZMFOHUI LFZOBNFXBJUJOH LFZOBNFMFOHUI FYQSDBMM͕ؔ਺ݺͼग़͠

\ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSDBMM LFZMFOHUI LFZOBNFCVJMEFSBEE LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSBSHVNFOU LFZMFOHUI LFZOBNFXBJUJOH LFZOBNFMFOHUI FYQSDBMMͷOBNFʹ ؔ਺໊

LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSBSHVNFOU LFZMFOHUI LFZOBNFXBJUJOH LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU ^ \ LFZCPEZMFOHUI LFZCPEZP⒎TFU BSHVNFOU͕ ؔ਺ͷҾ਺

LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSBSHVNFOU LFZMFOHUI LFZOBNFXBJUJOH LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU ^ \ LFZCPEZMFOHUI LFZCPEZP⒎TFU BSHVNFOUͷOBNFʹ Ҿ਺ͷϥϕϧ

LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU LFZTVCTUSVDUVSF< \ LFZCPEZMFOHUI LFZCPEZP⒎TFU LFZLJOETPVSDFMBOHTXJGUFYQSBSHVNFOU LFZMFOHUI LFZOBNFXBJUJOH LFZOBNFMFOHUI LFZOBNFP⒎TFU LFZP⒎TFU ^ \ LFZCPEZMFOHUI LFZCPEZP⒎TFU Ҿ਺ͷ஋ͷ෦෼͸Ґஔ͚ͩ

init() { let builder = FlowGraphBuilder() // ด͍ͯ͡Δ builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } // ։͍͍ͯΔ builder.add(waiting: .opened) { event in if case .close = event.kind { return .run(.closing, event) } else { return .stay SFUVSOͷҐஔ͸Θ͔Βͳ͍

4ZOUBY 4ZOUBY.BQ

{type:comment offset:0, length:3, content:'// '}, {type:comment offset:3, length:15, content:'// Door.swift '}, {type:comment offset:18, length:3, content:'// '}, {type:keyword offset:22, length:6, content:'import'}, {type:identifier offset:29, length:9, content:'FlowGraph'}, {type:comment offset:40, length:19, content:'// υΞͷঢ়ଶ '}, {type:keyword offset:59, length:5, content:'class'}, {type:identifier offset:65, length:4, content:'Door'}, {type:typeidentifier offset:71, length:13, content:'FlowGraphType'}, {type:attributeBuiltin offset:91, length:12, content:'private(set)'}, {type:keyword offset:104, length:3, content:'var'}, {type:identifier offset:108, length:6, content:'isOpen'}, {type:typeidentifier offset:116, length:4, content:'Bool'}, {type:keyword offset:123, length:5, content:'false'}, {type:keyword offset:139, length:6, content:'didSet'}, {type:identifier offset:160, length:5, content:'print'}, {type:string offset:166, length:8, content:'"isOpen '}, {type:stringInterpolationAnchor offset:175, length:1, content:'('}, {type:keyword offset:176, length:4, content:'self'}, {type:identifier offset:181, length:6, content:'isOpen'}, {type:stringInterpolationAnchor offset:187, length:1, content:')'},

{type:keyword offset:59, length:5, content:'class'}

{type:identifier offset:65, length:4, content:'Door'}

{type:comment offset:40, length:19, content:'// υΞͷঢ়ଶ '}

init() { let builder = FlowGraphBuilder() // ด͍ͯ͡Δ builder.add(waiting: .closed) { event in if case .open = event.kind { return .run(.opening, event) } else { return .stay } } // ։͍͍ͯΔ builder.add(waiting: .opened) { event in if case .close = event.kind { return .run(.closing, event) } else { return .stay ؔ਺ͷCPEZ෦෼

'}, {type:identifier offset:800, length:7, content:'builder'}, {type:identifier offset:808, length:3, content:'add'}, {type:identifier offset:812, length:7, content:'waiting'}, {type:identifier offset:822, length:6, content:'closed'}, {type:identifier offset:832, length:5, content:'event'}, {type:keyword offset:838, length:2, content:'in'}, {type:keyword offset:853, length:2, content:'if'}, {type:keyword offset:856, length:4, content:'case'}, {type:identifier offset:862, length:4, content:'open'}, {type:identifier offset:869, length:5, content:'event'}, {type:identifier offset:875, length:4, content:'kind'}, {type:keyword offset:898, length:6, content:'return'}, {type:identifier offset:906, length:3, content:'run'}, {type:identifier offset:911, length:7, content:'opening'}, {type:identifier offset:920, length:5, content:'event'}, {type:keyword offset:941, length:4, content:'else'}, {type:keyword offset:964, length:6, content:'return'}, {type:identifier offset:972, length:4, content:'stay'}, {type:comment offset:1018, length:19, content:'// ։͍͍ͯΔ '}, {type:identifier offset:1045, length:7, content:'builder'}, {type:identifier offset:1053, length:3, content:'add'}, {type:identifier offset:1057, length:7, content:'waiting'}, {type:identifier offset:1067, length:6, content:'opened'},

'}, {type:identifier offset:800, length:7, content:'builder'}, {type:identifier offset:808, length:3, content:'add'}, {type:identifier offset:812, length:7, content:'waiting'}, {type:identifier offset:822, length:6, content:'closed'}, {type:identifier offset:832, length:5, content:'event'}, {type:keyword offset:838, length:2, content:'in'}, {type:keyword offset:853, length:2, content:'if'}, {type:keyword offset:856, length:4, content:'case'}, {type:identifier offset:862, length:4, content:'open'}, {type:identifier offset:869, length:5, content:'event'}, {type:identifier offset:875, length:4, content:'kind'}, {type:keyword offset:898, length:6, content:'return'}, {type:identifier offset:906, length:3, content:'run'}, {type:identifier offset:911, length:7, content:'opening'}, {type:identifier offset:920, length:5, content:'event'}, {type:keyword offset:941, length:4, content:'else'}, {type:keyword offset:964, length:6, content:'return'}, {type:identifier offset:972, length:4, content:'stay'}, {type:comment offset:1018, length:19, content:'// ։͍͍ͯΔ '}, {type:identifier offset:1045, length:7, content:'builder'}, {type:identifier offset:1053, length:3, content:'add'}, {type:identifier offset:1057, length:7, content:'waiting'}, {type:identifier offset:1067, length:6, content:'opened'},

εςʔτͷ5PLFOΛղੳ͢Δ

waiting closed event in if case open event kind return run opening event else return stay ಄͔Βॱ൪ʹݟ͍ͯ͘

waiting closed event in if case open event kind return run opening event else return stay XBJUJOH͔ SVOOJOH ͳΒʜ XBJUJOH

waiting closed event in if case open event kind return run opening event else return stay ࣍͸ εςʔτ໊ XBJUJOH DMPTFE

waiting closed event in if case open event kind return run opening event else return stay JOͷޙ͔Β Ϋϩʔδϟ XBJUJOH DMPTFE

waiting closed event in if case open event kind return run opening event else return stay SFUVSOΛ୳͢ XBJUJOH DMPTFE

waiting closed event in if case open event kind return run opening event else return stay SVO͔ XBJUͳΒʜ XBJUJOH DMPTFE

waiting closed event in if case open event kind return run opening event else return stay ਐΉઌͷ εςʔτ໊ XBJUJOH DMPTFE PQFOJOH

waiting closed event in if case open event kind return run opening event else return stay SFUVSOΛ୳͢ XBJUJOH DMPTFE PQFOJOH

waiting closed event in if case open event kind return run opening event else return stay TUBZͳΒແࢹ XBJUJOH DMPTFE PQFOJOH

εςʔτղੳͷ ঢ়ଶભҠਤ

%PU

digraph { graph [label = "Door", labelloc = "t", labeljust = "l", fontcolor = "#333333", rankdir = "TB", fontname = "Osaka-Mono", fontsize = "12", charset = "UTF-8"] node [fontcolor = "#333333", fillcolor = "#F9F9F9", fontname = "Osaka-Mono", style = "solid,filled", fontsize = "10", color = "#CCCCCC"] edge [fontcolor = "#333333", fontname = "Osaka-Mono", fontsize = "9", color = "#AAAAAA"] opened [shape = "record", label = "{opened|։͍͍ͯΔ}", color = "#BBBBBB"] closing [shape = "record", label = "{closing|ด͡Δ}", color = "#40C5EE"] closed [shape = "record", label = "{closed|ด͍ͯ͡Δ}", color = "#00D54B"] opening [shape = "record", label = "{opening|։͘}", color = "#40C5EE"] "opened" -> "closing" [style = "solid", color = "#99DEF3"] "closing" -> "closed" [style = "dashed", color = "#AAAAAA"] "closed" -> "opening" [style = "solid", color = "#99DEF3"] "opening" -> "opened" [style = "dashed", color = "#AAAAAA"] } %PPSEPU

digraph { graph [label = "Door", labelloc = "t fontcolor = "#333333", rankdi fontname = "Osaka-Mono", font charset = "UTF-8"] node [fontcolor = "#333333", fillcol fontname = "Osaka-Mono", style fontsize = "10", color = "#CCC edge [fontcolor = "#333333", fontnam fontsize = "9", color = "#AAAA opened [shape = "record", label = "{ EJHSBQI͸༗޲άϥϑ %PPSEPU

charset = "UTF-8"] node [fontcolor = "#333333", fillcolor = " fontname = "Osaka-Mono", style = "so fontsize = "10", color = "#CCCCCC"] edge [fontcolor = "#333333", fontname = "O fontsize = "9", color = "#AAAAAA"] opened [shape = "record", label = "{opened|։͍͍ͯΔ}", color = "#BBBBBB"] closing [shape = "record", label = "{closi color = "#40C5EE"] closed [shape = "record", label = "{closed color = "#00D54B"] opening [shape = "record", label = "{openi color = "#40C5EE"] ϊʔυͷ໊લ ϊʔυ

charset = "UTF-8"] node [fontcolor = "#333333", fillcolor = " fontname = "Osaka-Mono", style = "so fontsize = "10", color = "#CCCCCC"] edge [fontcolor = "#333333", fontname = "O fontsize = "9", color = "#AAAAAA"] opened [shape = "record", label = "{opened|։͍͍ͯΔ}", color = "#BBBBBB"] closing [shape = "record", label = "{closi color = "#40C5EE"] closed [shape = "record", label = "{closed color = "#00D54B"] opening [shape = "record", label = "{openi color = "#40C5EE"] <>ͷதʹදࣔ͞ΕΔத਎ ϊʔυ

closing [shape = "record", label = "{closing color = "#40C5EE"] closed [shape = "record", label = "{closed|ด color = "#00D54B"] opening [shape = "record", label = "{opening color = "#40C5EE"] "opened" -> "closing" [style = "solid", color = "#99DEF3"] "closing" -> "closed" [style = "dashed", col "closed" -> "opening" [style = "solid", colo "opening" -> "opened" [style = "dashed", col } Τοδ ͰϊʔυΛͭͳ͛Δ

'MPX(SBQI IUUQTHJUIVCDPNPCKFDUJWFBVEJP4XJGU'MPX(SBQI 'MPX(SBQI%PU$POWFSUFS IUUQTHJUIVCDPNPCKFDUJWFBVEJP'MPX(SBQI%PU$POWFSUFS 4PVSDF,JUUFO (SBQIWJ[ IUUQTHJUIVCDPNKQTJN4PVSDF,JUUFO IUUQTXXXHSBQIWJ[PSH ຊ೔ͷαϯϓϧ IUUQTHJUIVCDPNPCKFDUJWFBVEJPJ04%$