Merge pull request #87 from bazo-blockchain/examples

Update SimpleContract example with available features

Author: rpfister102

.travis.yml

@@ -12,7 +12,7 @@ addons:
 
 script:
   - go test -v ./... -coverprofile=coverage.out -coverpkg=./...
-  - go run main.go run program.lazo
+  - go run main.go run examples/SimpleContract.lazo
   - sonar-scanner
 
 after_success:

README.md

@@ -42,6 +42,38 @@ into the Bazo Byte Code for the [Bazo Virtual Machine](https://github.com/bazo-b
                         V
                   Bazo Byte Code
 
+
+## Result
+
+* Link to technical documentation (Bachelor Thesis 2019)
+* Complete [Language Specification v1.0](https://eprints.hsr.ch/736/1/HS%202018%202019-SA-EP-Pfister-THURAIRATNAM-Improving%20the%20Bazo%20Blockchain.pdf) (Term Project 2018)
+
+## Lazo Example 
+
+Note: Lazo is still under development. The example below contains only the currently available features. 
+Please see [lazo-specification/examples](https://github.com/bazo-blockchain/lazo-specification/tree/master/examples)
+for real smart contract use cases.
+
+```csharp
+contract SimpleContract {
+    Map<int, int> balances
+
+    constructor() {
+        balances[0x01] = 10
+        balances[0x02] = 2
+
+        pay(0x01, 0x02, 5)
+    }
+
+    function void pay(int from, int to, int amount) {
+        if (amount > 0 && balances[from] >= amount){
+            balances[from] -= amount
+            balances[to]   += amount
+        }
+    }
+}
+```
+
 ## Usage
 
 The Lazo tool works with the CLI commands.

examples/SimpleContract.lazo

@@ -1,13 +1,17 @@
 contract SimpleContract {
-    int x
-    int y = 1
-    bool b
-    string s = "test"
+    Map<int, int> balances
 
-    function bool calc(int a, int b) {
-        x = y
-        y = a + b
+    constructor() {
+        balances[0x01] = 10
+        balances[0x02] = 2
 
-        return a > b
+        pay(0x01, 0x02, 5)
+    }
+
+    function void pay(int from, int to, int amount) {
+        if (amount > 0 && balances[from] >= amount){
+            balances[from] -= amount
+            balances[to]   += amount
+        }
     }
 }