アドレス帳のモデルファイルを追加，

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code アドレス帳のモデルファイルを追加， 2024_stable MODELS2025_submit bug-pathParam bug-swingNativeReceiver dynamicResourceCreation feature-addTableUI feature-keyboard-shortcuts fix-window-position gameEngine gameEngine-DTRAM gameEngine2 htmlGUi language-server simulationLayout swingInterface two-stage-modeling update-dtram-parser ...update-parser
1 parent af7bfd9 commit 60878a7271f2bccd7aeddcd55d2b647bda2d72e0 Naoya Nitta authored on 1 Sep

Patch

Unified Split

Showing 1 changed file

                Ignore Space
               Show notes
              View
            
          
          11 ■■■■■
          AlgebraicDataflowArchitectureModel/models/SimpleAddressBook.model
        
        
        
          0 → 100644
             channel Init {
	out book.owner(pre_name: Str, init(name: Str)) = name
}
 
channel Add {
	out book.addr(pre_addr: Map, add(name: Str, addr: Str)) = insert(pre_addr, name, addr)
}
 
channel Del {
	out book.addr(pre_addr: Map, del(name: Str)) = delete(pre_addr, name)
}
+channel Init {
+	out book.owner(pre_name: Str, init(name: Str)) = name
+}
+channel Add {
+	out book.addr(pre_addr: Map, add(name: Str, addr: Str)) = insert(pre_addr, name, addr)
+}
+channel Del {
+	out book.addr(pre_addr: Map, del(name: Str)) = delete(pre_addr, name)
+}

Show line notes below