Merge pull request #1 from Kristoff-starling/main

Frontend Language Update

config/samples/echo/echo.proto

@@ -1,6 +1,6 @@
 syntax = "proto3";
 
-package pb;
+package echo;
 option go_package = "./pb";
 
 service EchoService {

config/samples/echo/fault.appnet

@@ -1,22 +1,16 @@
-state {
+state:
 	prob: float
-}
 
-fn init() {
-	prob := 0.99;
-}
+init():
+	prob = 0.99
 
-fn req(rpc) {
-	match(randomf(0,1) < prob) {
-		true => {
-			send(err('fault injected'), Down);
-		}
-		false => {
-			send(err('fault injected'), Up);
-		}
-	};
-}
+req(rpc):
+	match randomf(0, 1) < prob:
+		true =>
+			send(rpc, Down)
+		false =>
+			send(err('fault_injected'), Up)
+
+resp(rpc):
+    send(rpc, Up)
 
-fn resp(rpc) {
-    send(rpc, Up);
-}

config/samples/echo/firewall.appnet

@@ -1,32 +1,20 @@
-state
-{
-	firewall: Map<string, string>
-}
+state:
+	acl: Map<string, string>
 
-fn init() {
-	firewall.set('test', 'No');
-}
+init():
+	set(acl, 'test', 'No')
 
-fn req(rpc) {
-	match (firewall.get(rpc.get('body'))) {
-		Some(permission) => {
-			match (permission) {
-				'Yes' => {
-					send(rpc, Down);
-				}
-				'No' => {
-					send(err('blocked by firewall'), Up);
-				}
-				_ => {
-				}
-			};
-		}
-		None => {
-			send(rpc, Down);
-		}
-	};
-}
+req(rpc):
+	match get(acl, get(rpc, 'body')):
+		Some(permission) =>
+			match permission:
+				'Yes' => 
+					send(rpc, Down)
+				'No' => 
+					send(err('acl'), Up)
+		None =>
+			send(rpc, Down)
+
+resp(rpc):
+    send(rpc, Up)
 
-fn resp(rpc) {
-    send(rpc, Up);
-}

config/samples/echo/logging.appnet

@@ -1,18 +1,14 @@
-state
-{
+state:
 	record_req: Vec<string>
 	record_resp: Vec<string>
-}
 
-fn init() {
-}
+init():
+	pass
 
-fn req(rpc) {
-	record_req.set(record_req.size(), rpc.get('body'));
-	send(rpc, Down);
-}
+req(rpc):
+	set(record_req, size(record_req), get(rpc, 'body'))
+	send(rpc, Down)
 
-fn resp(rpc) {
-	record_resp.set(record_resp.size(), rpc.get('body'));
-	send(rpc, Up);
-}
+resp(rpc):
+	set(record_resp, size(record_resp), get(rpc, 'body'))
+	send(rpc, Up)

config/samples/echo/metrics.appnet

@@ -1,25 +1,19 @@
-state
-{
-	record: Map<uint, Instant>
-  latency: Vec<float>
-}
+state:
+    record: Map<uint, Instant>
+    latency: Vec<float>
 
-fn init() {
-}
+init():
+    pass
 
-fn req(rpc) {
-	record.set(rpc_id(), current_time());
-	send(rpc, Down);
-}
+req(rpc):
+	set(record, rpc_id(), current_time())
+	send(rpc, Down)
 
-fn resp(rpc) {
-  match(record.get(rpc_id())) {
-    Some(t) => {
-      lat := time_diff(current_time(), t);
-      latency.set(latency.size(), lat);
-    }
-    None => {
-    }
-  };
-  send(rpc, Up);
-}
+resp(rpc):
+    match get(record, rpc_id()):
+        Some(t) =>
+            lat = time_diff(current_time(), t)
+            set(latency, size(latency), lat)
+        None =>
+            pass
+    send(rpc, Up)