TravelPlanner: Add logging for delegation of permissions

Author: ckuessner

Modules/Examples/Misc JVM/src/main/scala/ex2024travel/lofi_acl/example/monotonic_acl/PermissionTreePane.scala

@@ -228,14 +228,15 @@ class PermissionTreePane(
             PARTIAL,
             Map(
               "data"     -> PermissionTree(PARTIAL, entries),
-              "observed" -> PermissionTree.allow
+              "observed" -> PermissionTree.allow,
+              "deletions" -> PermissionTree.allow
             )
           ))
         ))
       case _ =>
 
     inline def expenseWildcardSubPermissionTree(field: String): IArray[String] = {
-      IArray(s"expenses.data.*.value.$field", "expenses.data.*.dots", "expenses.observed")
+      IArray(s"expenses.data.*.value.$field", "expenses.data.*.dots", "expenses.observed", "expenses.deletions")
     }
 
     // Expenses wildcard
@@ -292,6 +293,8 @@ class PermissionTreePane(
     read = filter.minimizePermissionTree(read)
     filter.validatePermissionTree(write)
     write = filter.minimizePermissionTree(write)
+    println(s"Read: ${read.toPathStringSet}")
+    println(s"Write: ${write.toPathStringSet}")
     (read, write)
   }
 }

Modules/Replication/jvm/src/main/scala/lofi_acl/access/PermissionTree.scala

@@ -5,6 +5,7 @@ import lofi_acl.access.PermissionTree.{allow, lattice}
 import rdts.base.{Bottom, Lattice}
 
 import scala.annotation.{tailrec, targetName}
+import scala.collection.immutable.Queue
 
 case class PermissionTree(permission: Permission, children: Map[String, PermissionTree]) {
 
@@ -34,6 +35,19 @@ case class PermissionTree(permission: Permission, children: Map[String, Permissi
         label -> leftChildren(label).intersect(rightChildren(label))
       )
       lattice.normalizeWildcards(PermissionTree(PARTIAL, intersectionOfChildren.toMap))
+
+  def toPathStringSet: Set[String] = {
+    if permission == ALLOW then return Set("*")
+    val result = Set.empty[String]
+    extension (p: PermissionTree)
+      def pathStringsRec(pathElements: Queue[String]): Set[String] = p match
+        case PermissionTree(ALLOW, _)                              => Set(pathElements.mkString("", ".", ".*"))
+        case PermissionTree(PARTIAL, children) if children.isEmpty => Set()
+        case PermissionTree(PARTIAL, children) =>
+          children.flatMap((childName, childPerm) => childPerm.pathStringsRec(pathElements.appended(childName))).toSet
+
+    this.pathStringsRec(Queue.empty)
+  }
 }
 
 object PermissionTree {