Add mjs_getPluginAttributes.

PiperOrigin-RevId: 752691116 Change-Id: Ib503a99f8d10661b8bf92410ccf471420f924986
2025-04-29 05:18:17 -07:00
parent 2545ec5383
commit 3e9d130092
8 changed files with 52 additions and 3 deletions
@@ -1622,6 +1622,9 @@ MJAPI const char* mjs_getString(const mjString* source);
 // Get double array contents and optionally its size.
 MJAPI const double* mjs_getDouble(const mjDoubleVec* source, int* size);

+// Get plugin attributes.
+MJAPI const void* mjs_getPluginAttributes(const mjsPlugin* plugin);
+

 //---------------------------------- Spec utilities ------------------------------------------------