python online 加块

时间戳转日期 enumerate函数
2024-10-15 00:33:54 +08:00
parent f260227486
commit d95c05ebf9
8 changed files with 89 additions and 2 deletions
--- a/boards/default_src/python/generators/control.js
+++ b/boards/default_src/python/generators/control.js
@@ -278,4 +278,11 @@ export const get_unique_identifier = function (_, generator) {
 }

 // ok
-export const controls_repeat = controls_repeat_ext;
+export const controls_repeat = controls_repeat_ext;
+
+export const datetime_fromtimestamp = function(_,generator){
+    generator.definitions_['import_datatime'] = 'import datatime';
+    var ts = generator.valueToCode(this, 'VAR', generator.ORDER_ATOMIC);
+    var code = 'datatime.datatime.fromtimestamp(' + ts + ')';
+    return [code, generator.ORDER_ATOMIC];
+}