161 lines
3.9 KiB
Python
Raw Normal View History

from PikaObj import *
2023-05-29 10:18:52 +08:00
import builtins
2023-05-29 12:09:23 +08:00
class Tuple:
2022-08-16 12:24:26 +08:00
def __init__(self): ...
2022-08-16 12:21:11 +08:00
def get(self, i: int) -> any:
2022-08-16 12:24:26 +08:00
"""get an arg by the index"""
2022-08-16 12:21:11 +08:00
def len(self) -> int:
2022-08-16 12:24:26 +08:00
"""get the length of list"""
2022-08-16 12:21:11 +08:00
def __iter__(self) -> any:
"""support for loop"""
def __next__(self) -> any:
2022-08-16 12:24:26 +08:00
"""support for loop"""
def __getitem__(self, __key: any) -> any:
2022-08-16 12:21:11 +08:00
"""support val = list[]"""
def __del__(self): ...
def __str__(self) -> str: ...
def __len__(self) -> int: ...
2021-12-13 22:14:59 +08:00
2022-09-05 15:39:15 +08:00
def __contains__(self, val: any) -> int:
""" support val in list """
2022-08-16 12:21:11 +08:00
class List(Tuple):
2022-08-16 12:24:26 +08:00
def __init__(self): ...
2022-08-16 12:21:11 +08:00
def append(self, arg: any):
2022-08-16 12:24:26 +08:00
"""add an arg after the end of list"""
2022-08-16 12:21:11 +08:00
def set(self, i: int, arg: any):
2022-08-16 12:24:26 +08:00
"""set an arg by the index"""
2022-08-16 12:21:11 +08:00
def reverse(self):
"""reverse the list"""
2023-04-23 20:55:20 +08:00
def pop(self, *index) -> any:
"""pop the last element"""
def remove(self, val: any):
"""remove the first element"""
def insert(self, i: int, arg: any):
"""insert an arg before the index"""
2022-08-16 12:24:26 +08:00
def __setitem__(self, __key: any, __val: any):
"""support list[] = val"""
def __str__(self) -> str: ...
2022-08-16 17:40:11 +08:00
def __add__(self, others: List) -> List:
""" support list + list"""
2022-08-16 12:21:11 +08:00
class Dict:
2022-09-27 17:57:38 +08:00
def __init__(self):
""" get an arg by the key """
def get(self, key: str) -> any: ...
2022-09-27 17:57:38 +08:00
def set(self, key: str, arg: any):
""" set an arg by the key """
def remove(self, key: str):
""" remove an arg by the key """
def __iter__(self) -> any: ...
def __next__(self) -> any: ...
2022-09-27 17:57:38 +08:00
def __setitem__(self, __key: any, __val: any):
""" support dict[] = val """
def __getitem__(self, __key: any) -> any:
""" support val = dict[] """
def __del__(self): ...
def __str__(self) -> str: ...
2022-06-23 17:46:50 +08:00
def keys(self) -> dict_keys: ...
2022-09-11 00:51:17 +08:00
def items(self) -> dict_items: ...
def __len__(self) -> int: ...
2022-06-23 17:46:50 +08:00
2022-09-05 15:39:15 +08:00
def __contains__(self, val: any) -> int:
2022-09-26 10:14:01 +08:00
""" support val in dict """
2022-09-05 15:39:15 +08:00
2022-09-27 17:57:38 +08:00
def update(self, other: Dict):
""" update dict """
2022-08-16 12:21:11 +08:00
class dict_keys:
2022-06-23 17:46:50 +08:00
def __iter__(self) -> any: ...
def __next__(self) -> any: ...
def __str__(self) -> str: ...
def __len__(self) -> int: ...
2022-01-13 21:57:32 +08:00
2022-09-11 00:51:17 +08:00
class dict_items:
def __iter__(self) -> any: ...
def __next__(self) -> any: ...
def __str__(self) -> str: ...
def __len__(self) -> int: ...
2022-08-16 12:21:11 +08:00
class String:
def __init__(self, s: str): ...
def set(self, s: str): ...
def get(self) -> str: ...
def __iter__(self) -> any: ...
def __next__(self) -> any: ...
2022-09-27 17:57:38 +08:00
def __setitem__(self, __key: any, __val: any):
""" support string[] = val """
def __getitem__(self, __key: any) -> any:
""" support val = string[] """
def __str__(self) -> str:
""" support str() """
def __len__(self) -> int: ...
def encode(self, *encoding) -> bytes: ...
def startswith(self, prefix: str) -> int: ...
def endswith(self, suffix: str) -> int: ...
def isdigit(self) -> int: ...
def islower(self) -> int: ...
def isalnum(self) -> int: ...
def isalpha(self) -> int: ...
def isspace(self) -> int: ...
def split(self, *s) -> List: ...
def replace(self, old: str, new: str) -> str: ...
2022-09-29 18:47:03 +08:00
def strip(self, *chrs) -> str: ...
2022-11-29 19:33:58 +08:00
def format(self, *vars) -> str: ...
def join(self, val: any) -> str: ...
2023-04-27 19:44:34 +08:00
def find(self, sub: str) -> int: ...
2022-08-16 12:21:11 +08:00
2023-05-29 10:18:52 +08:00
class ByteArray(builtins.bytearray):
pass
2022-08-16 12:21:11 +08:00
2023-05-29 12:09:23 +08:00
class FILEIO:
2022-08-06 17:59:32 +08:00
def init(self, path: str, mode: str) -> int: ...
2022-11-25 17:32:10 +08:00
def read(self, *size) -> any: ...
def write(self, s: any) -> int: ...
def close(self): ...
def seek(self, offset: int, *fromwhere) -> int: ...
def tell(self) -> int: ...
def readline(self) -> str: ...
def readlines(self) -> List: ...
def writelines(self, lines: List): ...
2022-08-16 12:21:11 +08:00
class Utils:
2022-09-27 17:57:38 +08:00
def int_to_bytes(self, val: int) -> bytes:
""" convert a int to bytes """