Add various improvements for resource providers.

PiperOrigin-RevId: 529706437 Change-Id: I20385e031446674584349c301982dbe13b812477
2023-05-05 07:02:51 -07:00
parent b798f89212
commit 67f0f5154f
23 changed files with 576 additions and 193 deletions
@@ -390,6 +390,9 @@ struct mjResource_ {

  // closing callback from resource provider
  void (*close)(struct mjResource_* resource);
+
+  // getdir callback from resource provider
+  void (*getdir)(struct mjResource_* resource, const char** dir, int* ndir);
 };
 typedef struct mjResource_ mjResource;