From 8e321251e28d8a88d133eab55dc2d69b258f5789 Mon Sep 17 00:00:00 2001 From: Andinus Date: Sat, 25 Sep 2021 17:36:31 +0530 Subject: Verify if the ID exists --- contract/memoir.py | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) (limited to 'contract') diff --git a/contract/memoir.py b/contract/memoir.py index c33c155..a9f3cc6 100644 --- a/contract/memoir.py +++ b/contract/memoir.py @@ -12,10 +12,19 @@ class Memoir(sp.Contract): @sp.entry_point def add_record(self, params): self.data.records[params.id] = params.record + # Verify that the ID doesn't exist. + # sp.verify( + # self.data.records.contains(params.id) == False, + # message = "Record exists" + # ) @sp.entry_point def update_record(self, params): - self.data.records = sp.update_map(self.data.records, params.id, sp.some(params.record)) + self.data.records = sp.update_map( + self.data.records, + params.id, + sp.some(params.record) + ) @sp.entry_point def delete_record(self, params): @@ -28,8 +37,19 @@ def test(): c1 = Memoir() scenario += c1 + + # Try adding records. scenario += c1.add_record(id = 0, record = '{record #0}') scenario += c1.add_record(id = 1, record = '{record #1}') scenario += c1.add_record(id = 2, record = '{record #2}') + + # Updating records. scenario += c1.update_record(id = 1, record = '{record #1 - updated}') + + # Deleting records. scenario += c1.delete_record(id = 2) + + # Trying to add over existing record. Should Fail. + # scenario += c1.add_record( + # id = 2, record = '{record #2 - fail}' + # ).run(valid = False) -- cgit 1.4.1-2-gfad0 a> diff stats
path: root/apps/factorial.mu
blob: bb335b0aa6609156db05fe5f309b4e1e7d59edc8 (plain) (tree) 
6db05611 ^










480fd995 ^





9428990b ^


189d34dc ^

17623a62 ^

7dd5a41e ^

17623a62 ^

189d34dc ^


17623a62 ^

189d34dc ^

17623a62 ^






189d34dc ^




7dd5a41e ^

189d34dc ^


17623a62 ^

e8ffaf29 ^

9635163b ^


17623a62 ^















8eec3eae ^

17623a62 ^

ea62afb1 ^

1
2
3
4
5
6
7
8
9
10

11
12
13
14
15

16
17

18

19

20

21

22
23

24

25

26
27
28
29
30
31

32
33
34
35

36

37
38

39

40

41
42

43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

58

59

60