codon/stdlib/internal/__init_test__.codon

138 lines
3.4 KiB
Python
Raw Normal View History

2022-01-24 13:18:07 +08:00
# (c) 2022 Exaloop Inc. All rights reserved.
2021-10-03 06:56:18 +08:00
# Core library
from internal.attributes import *
from internal.types.ptr import *
from internal.types.str import *
from internal.types.int import *
from internal.types.bool import *
from internal.types.array import *
from internal.types.error import *
from internal.types.intn import *
from internal.types.float import *
from internal.types.byte import *
from internal.types.generator import *
from internal.types.optional import *
from internal.types.slice import *
from internal.types.range import *
from internal.internal import *
from internal.types.collections.list import *
import internal.c_stubs as _C
2022-01-24 13:18:07 +08:00
def next(g: Generator[T], default: Optional[T] = None, T: type) -> T:
2021-10-03 06:56:18 +08:00
if g.done():
if default:
2022-02-16 23:51:16 +08:00
return unwrap(default)
2021-10-03 06:56:18 +08:00
else:
raise StopIteration()
return g.next()
2022-01-24 13:18:07 +08:00
2021-10-03 06:56:18 +08:00
from C import seq_print_full(str, cobj)
2022-01-24 13:18:07 +08:00
class Set:
2021-10-03 06:56:18 +08:00
items: List[T]
2022-02-16 23:51:16 +08:00
T: type
2022-01-24 13:18:07 +08:00
2022-02-16 23:51:16 +08:00
def __init__(self):
self.items = []
2022-01-24 13:18:07 +08:00
def __iter__(self) -> Generator[T]:
2021-10-03 06:56:18 +08:00
yield from self.items
2022-01-24 13:18:07 +08:00
2022-02-16 23:51:16 +08:00
def add(self, what: T):
2021-10-03 06:56:18 +08:00
if what not in self.items:
self.items.append(what)
2022-01-24 13:18:07 +08:00
2021-10-13 04:16:24 +08:00
def __repr__(self) -> str:
s = self.items.__repr__()
2022-01-24 13:18:07 +08:00
s.ptr[0] = "{".ptr[0]
s.ptr[s.len - 1] = "}".ptr[0]
2021-10-03 06:56:18 +08:00
return s
2022-01-24 13:18:07 +08:00
class Dict:
2021-10-03 06:56:18 +08:00
keys: List[K]
values: List[V]
2022-02-16 23:51:16 +08:00
K: type
V: type
2022-01-24 13:18:07 +08:00
2022-02-16 23:51:16 +08:00
def __init__(self):
self.keys = []
self.values = []
2022-01-24 13:18:07 +08:00
def __iter__(self) -> Generator[K]:
2021-10-03 06:56:18 +08:00
yield from self.keys
2022-01-24 13:18:07 +08:00
def items(self) -> Generator[Tuple[K, V]]:
2021-10-03 06:56:18 +08:00
for i in range(self.keys.len):
yield (self.keys[i], self.values[i])
2022-01-24 13:18:07 +08:00
def __contains__(self, key: K) -> bool:
2021-10-03 06:56:18 +08:00
return self.keys.index(key) != -1
2022-01-24 13:18:07 +08:00
def __getitem__(self, key: K) -> V:
2021-10-03 06:56:18 +08:00
i = self.keys.index(key)
return self.values[i]
2022-01-24 13:18:07 +08:00
2022-02-16 23:51:16 +08:00
def __setitem__(self, key: K, val: V):
2021-10-03 06:56:18 +08:00
i = self.keys.index(key)
if i != -1:
self.values[i] = val
else:
self.keys.append(key)
self.values.append(val)
2022-01-24 13:18:07 +08:00
def __len__(self) -> int:
2021-10-03 06:56:18 +08:00
return self.keys.len
2022-01-24 13:18:07 +08:00
def __repr__(self) -> str:
2021-10-03 06:56:18 +08:00
n = self.__len__()
if n == 0:
return "{}"
else:
2022-02-16 23:51:16 +08:00
lst = []
2021-10-03 06:56:18 +08:00
lst.append("{")
first = True
for k, v in self.items():
2022-01-24 13:18:07 +08:00
if not first:
lst.append(", ")
else:
first = False
2021-10-13 04:16:24 +08:00
lst.append(k.__repr__())
2021-10-03 06:56:18 +08:00
lst.append(": ")
2021-10-13 04:16:24 +08:00
lst.append(v.__repr__())
2021-10-03 06:56:18 +08:00
lst.append("}")
return str.cat(lst)
2022-01-24 13:18:07 +08:00
2021-10-03 06:56:18 +08:00
@extend
class str:
2022-01-24 13:18:07 +08:00
def __getitem__(self, idx: int) -> str:
2021-10-03 06:56:18 +08:00
if idx < 0:
idx += self.len
if not (0 <= idx < self.len):
raise IndexError("string index out of range")
return str(self.ptr + idx, 1)
2022-01-24 13:18:07 +08:00
def __getitem__(self, s: Slice) -> str:
2021-10-03 06:56:18 +08:00
if s.start is None and s.stop is None and s.step is None:
return self.__copy__()
elif s.step is None:
start, stop, step, length = s.adjust_indices(self.len)
return str(self.ptr + start, length)
else:
raise ValueError("nope")
2022-01-24 13:18:07 +08:00
def __repr__(self) -> str:
2022-02-16 23:51:16 +08:00
return f"'{self}'"
2021-10-03 06:56:18 +08:00
2022-01-24 13:18:07 +08:00
2021-10-03 06:56:18 +08:00
from internal.builtin import *
from openmp import Ident as __OMPIdent, for_par
from internal.dlopen import dlsym as _dlsym