Enforce funds on Paisley members for creating personal token

Author: mikera

convex-core/src/main/cvx/app/paisley/members.cvx

@@ -2,15 +2,20 @@
 ;; Deploy with
 ;; (deploy
 ;;   '[(set-controller <governance-controller>
+;;     (def operator <operator-backend-account>)	
 ;;     (def pt-actor <personal-token-actor>)	
 ;;     <insert code here>
 ;;   ])
 ;;     
 
+(import convex.trust :as trust)
 
 ;; Governance controller. Use controller if set, otherwise *caller* for testing purposes
 (def governor (or *controller* *caller*))
 
+;; Members counter
+(def mcount 0)
+
 ;; State for membership list
 ;; format: { ID -> metadata map} 
 (def members {})
@@ -20,3 +25,39 @@
 ;; format: { ID -> token}
 (def pts {})
 
+
+(defn get-metadata
+  ^{:callable true
+    :doc {:description "GEts metadata for a member, or nil if does not exist."
+          :signature   [{:params []}]}}
+          
+  ([member-id]
+    (get members member-id)))
+ 
+(defn create-member
+  ^{:callable true
+    :doc {:description "Creates a new member account. Must be caller by operator. Returns ID."
+          :signature   [{:params []}]}}
+  ([]
+	(or (trust/trusted? operator *caller*) (fail :TRUST "Not a membership operator"))
+	(let [id mcount]
+	  (set! mcount (inc id))
+	  (set! members (assoc members id {:created *timestamp*}))
+      id)))
+
+
+;; Create members personal token
+;; Requires:
+;;  1. Member ID exists
+;;  2. Offer of at least 1 CVM
+;;
+;; Returns personal token asset ID (new or existing)
+;; Call with (call @app.paisley.members 1000000000 (create-pt id)
+(defn ^:callable create-pt [member-id]
+  (accept 1000000000)
+  (when-not (get members member-id) (fail :STATE (str "Member does not exist: " member-id)))
+  (if-let [ptid (get pts member-id)] (return ptid)) ;; return token if already exists
+  (let [id (call pt-actor (create))
+        ptid [pt-actor id]]
+    (set! pts (assoc pts member-id ptid))
+    ptid))

convex-core/src/test/java/lab/PaisleyTest.java

@@ -1,6 +1,7 @@
 package lab;
 
 import static org.junit.jupiter.api.Assertions.assertEquals;
+import static org.junit.jupiter.api.Assertions.assertNotNull;
 import static org.junit.jupiter.api.Assertions.assertSame;
 
 import java.io.IOException;
@@ -12,11 +13,13 @@
 import convex.core.data.AVector;
 import convex.core.data.Maps;
 import convex.core.data.Vectors;
+import convex.core.data.prim.AInteger;
 import convex.core.data.prim.CVMLong;
 import convex.core.lang.ACVMTest;
 import convex.core.lang.TestState;
 import convex.core.util.Utils;
 import convex.lib.AssetTester;
+import static convex.test.Assertions.*;
 
 public class PaisleyTest extends ACVMTest  {
 
@@ -57,6 +60,8 @@ public class PaisleyTest extends ACVMTest  {
 
 		// Execute member setup code in PAI account
 		String memberscode=Utils.readResourceAsString("/app/paisley/members.cvx");
+		ctx=exec(ctx,"(eval-as members '(def pt-actor "+PERSONAL+"))");
+		ctx=exec(ctx,"(eval-as members '(def operator *caller*))"); // use HERO account as operator
 		ctx=exec(ctx,"(eval-as members '(do "+memberscode+"))");
 
 
@@ -86,5 +91,24 @@ public class PaisleyTest extends ACVMTest  {
 		Context c=context();
 		c=exec(c,"members/members");
 		assertSame(Maps.empty(),c.getResult());
+		
+		{
+			// Bad token create (non-member)
+			Context ce=step("(call members 1000000000 (create-pt -1))");
+			assertStateError(ce);
+		}
+		
+		// Create a new member
+		c=exec(c,"(def mid (call members (create-member)))");
+		assertNotError(c);
+		AInteger MID=c.getResult();
+		assertNotNull(eval(c,"(call members (get-metadata "+MID+"))"));
+		
+		{
+			// Bad token create (insufficient offer)
+			Context ce=step(c,"(call members 999999999 (create-pt "+MID+"))");
+			assertStateError(ce);
+		}
+
 	}
 }