support unix-time and utc-time with gmtime,localtime,mktime,asctime,ctime,time and so on.

Author: OnceDay11

port/linux/package/pikascript/PikaStdDevice.pyi

@@ -70,6 +70,9 @@ class GPIO(TinyObj):
 
 
 class Time(TinyObj):
+    def __init__(self):
+        pass
+        
     # need override
     def sleep_s(self, s: int):
         pass
@@ -78,6 +81,34 @@ class Time(TinyObj):
     def sleep_ms(self, ms: int):
         pass
 
+    # need override
+    def time(self) -> float:
+        pass
+
+    # need override
+    def time_ns(self) -> int:
+        pass
+
+    # need override
+    def gmtime(self, unix_time: float):
+        pass
+
+    # need override
+    def localtime(self, unix_time: float):
+        pass
+
+    # need override
+    def mktime(self) -> int:
+        pass
+    
+    # need override
+    def asctime(self):
+        pass
+    
+    # need override
+    def ctime(self, unix_time: float):
+        pass
+
 
 class ADC(TinyObj):
     def __init__(self):