diff --git a/models/DTRAM/InventoryManagement.dtram b/models/DTRAM/InventoryManagement.dtram deleted file mode 100644 index 6b453b3..0000000 --- a/models/DTRAM/InventoryManagement.dtram +++ /dev/null @@ -1,10 +0,0 @@ -channel ItemRegistration { - out inventory(itemDB:Map, registerItem(itemId:Str, itemName:Str, quantity:Int)) = insert(itemDB, itemId, {"count": quantity, - "name": itemName}) -} - -channel ReceivingOrShipping(itemId:Str) { - out inventory.{itemId}.count(prev_quantity:Int, receiveOrShip(quantity:Int)) = if(prev_quantity + quantity >= 0, - prev_quantity + quantity, - prev_quantity) -} diff --git a/models/DTRAM/SimpleTwitter.dtram b/models/DTRAM/SimpleTwitter.dtram deleted file mode 100644 index 0ad6a0d..0000000 --- a/models/DTRAM/SimpleTwitter.dtram +++ /dev/null @@ -1,8 +0,0 @@ -channel Signup{ - out accounts(accountDB:Map, signUp(accountId:Str, name:Str)) = insert(accountDB, accountId, {"name": name, - "tweets": nil}) -} - -channel Tweet(accountId:Str) { - out accounts.{accountId}.tweets(tweetList:List, tweet(contents:Str)) = append(tweetList, contents) -} \ No newline at end of file