Add dirs

Author: mbouaziz

skipruntime-ts/native/src/ExternDebugging.sk

@@ -1,2 +1,11 @@
 module SkipRuntime;
+
+@export("SkipRuntime_Debug__dirs")
+fun dirs(): SKJSON.CJSON {
+  SKStore.runWithResult(contextDirs) match {
+  | Success(result) -> SKJSON.CJArray(result)
+  | Failure(err) -> SKJSON.CJFloat(getErrorHdl(err))
+  }
+}
+
 module end;

skipruntime-ts/native/src/RuntimeDebugging.sk

@@ -1,2 +1,46 @@
 module SkipRuntime;
+
+private fun dirInfo(
+  dirNameDir: readonly (SKStore.DirName, SKStore.Dir),
+): SKJSON.CJSON {
+  (dirName, dir) = dirNameDir;
+  fields = mutable Vector<(.String, SKJSON.CJSON)>[];
+  fields.push(("name", SKJSON.CJString(dirName.toString())));
+  fields.push(("isInput", SKJSON.CJBool(dir.isInput())));
+  fields.push(("time", SKJSON.CJInt(dir.getTime().value)));
+  dir match {
+  | SKStore.EagerDir{totalSize, creator} ->
+    fields.push(("kind", SKJSON.CJString("eager")));
+    fields.push(("totalSize", SKJSON.CJInt(totalSize)));
+    creator match {
+    | None() -> void
+    | Some(SKStore.ArrowKey(parentName, childName, key)) ->
+      fields.push(
+        (
+          "creator",
+          SKJSON.CJObject(
+            SKJSON.CJFields::create(
+              Array[
+                ("key", SKJSON.CJString(key.toString())),
+                ("parent", SKJSON.CJString(parentName.toString())),
+                ("child", SKJSON.CJString(childName.toString())),
+              ],
+              x -> x,
+            ),
+          ),
+        ),
+      )
+    }
+  | SKStore.LazyDir _ -> fields.push(("kind", SKJSON.CJString("lazy")))
+  | SKStore.DeletedDir _ -> fields.push(("kind", SKJSON.CJString("deleted")))
+  };
+  SKJSON.CJObject(SKJSON.CJFields::create(fields.toArray(), x -> x))
+}
+
+private fun contextDirs(
+  context: readonly SKStore.Context,
+): Array<SKJSON.CJSON> {
+  context.dirs.state.items().map(dirInfo).collect(Array)
+}
+
 module end;

skipruntime-ts/server/src/restDebugging.ts

@@ -4,11 +4,21 @@ import { DebuggingServiceInstance, type ServiceInstance } from "skip-wasm";
 export function debuggingService(
   baseService: ServiceInstance,
 ): express.Express {
-  // @ts-expect-error error TS6133: '_service' is declared but its value is never read.
-  const _service = new DebuggingServiceInstance(baseService);
+  const service = new DebuggingServiceInstance(baseService);
 
   const app = express();
   app.use(express.json());
 
+  // LOW-LEVEL
+  app.get("/v1/debug/raw/dirs", (_req, res) => {
+    try {
+      const result = service.dirs();
+      res.status(200).json(result);
+    } catch (e: unknown) {
+      console.log(e);
+      res.status(500).json(e instanceof Error ? e.message : e);
+    }
+  });
+
   return app;
 }

skipruntime-ts/wasm/src/internals/skipruntime_debugging_module.ts

@@ -1,6 +1,34 @@
+import type { int, ptr, ErrorObject } from "@skip-wasm/std";
+import type * as Internal from "./skipruntime_internal_types.js";
+import type { Handle } from "./skipruntime_module.js";
 import { ServiceInstance } from "./skipruntime_module.js";
 
-// eslint-disable-next-line @typescript-eslint/no-empty-object-type
-export interface FromWasm {}
+export interface FromWasm {
+  SkipRuntime_Debug__dirs(): ptr<
+    Internal.CJFloat | Internal.CJArray<Internal.CJObject>
+  >;
+}
 
-export class DebuggingServiceInstance extends ServiceInstance {}
+type DirList = ({ name: string; isInput: boolean; time: int } & (
+  | {
+      kind: "eager";
+      totalSize: int;
+      creator?: { parent: string; child: string; key: string };
+    }
+  | { kind: "lazy" }
+  | { kind: "deleted" }
+))[];
+
+export class DebuggingServiceInstance extends ServiceInstance {
+  dirs(): DirList {
+    const result = this.refs.skjson.runWithGC(() => {
+      return this.refs.skjson.importJSON(
+        this.refs.fromWasm.SkipRuntime_Debug__dirs(),
+      );
+    });
+    if (typeof result == "number") {
+      throw this.refs.handles.deleteAsError(result as Handle<ErrorObject>);
+    }
+    return result as DirList;
+  }
+}