cool use of alias meta field #511

frenetic-lang · Jul 15, 2016 · b0816a1 · b0816a1
1 parent d0d23bd
commit b0816a1
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/examples/meta-fields/default-port.kat b/examples/meta-fields/default-port.kat
@@ -0,0 +1,11 @@
+let inport := port in
+
+(* by default, forward packets to controller *)
+port := pipe("controller");
+
+(* overwrite default behavior ... *)
+begin
+  if inport=1 then port:=2 else
+  if ip4Dst=10.0.0.1 then port:=1 else
+  id
+end