Add _static.pyi to _cinderx extension

Summary:
Helps type the Static Python compiler code.  Moves the .pyi file
closer to the _cinderx extension definition so pyre/pyrefly can actually
pick it up.

Reviewed By: DinoV

Differential Revision: D93675597

fbshipit-source-id: 1ffe3458a8e199011d7ff067d4fbd509b7d98d34

Author: alexmalyshev

cinderx/PythonLib/cinderx/static.py

@@ -2,17 +2,14 @@
 # pyre-strict
 
 from _cinderx import StaticTypeError
-
-# pyre-ignore[21]: _static is defined as part of _cinderx.
-from _static import (  # noqa: F401
+from _static import (
     __build_cinder_class__,
     _clear_dlopen_cache,
     _clear_dlsym_cache,
     _property_missing_fget,
     _property_missing_fset,
     _sizeof_dlopen_cache,
     _sizeof_dlsym_cache,
-    # Checked Containers
     chkdict,
     chklist,
     FAST_LEN_ARRAY,
@@ -84,12 +81,10 @@
     SEQ_REPEAT_REVERSED,
     SEQ_SUBSCR_UNCHECKED,
     SEQ_TUPLE,
-    # Static Methods,
     set_type_code,
     set_type_final,
     set_type_static,
     set_type_static_final,
-    # Static Classes
     staticarray,
     TYPED_ARRAY,
     TYPED_BOOL,

cinderx/PythonLib/stubs/_static.pyi

@@ -72,18 +72,21 @@ def test_native_lookup_incorrect_argcount(self) -> None:
         with self.assertRaisesRegex(
             TypeError, "lookup_native_symbol: Expected 2 arguments"
         ):
+            # pyre-ignore[20]: Intentional type error, checking runtime behavior.
             lookup_native_symbol("lol")
 
     def test_native_lookup_bad_lib_name(self) -> None:
         with self.assertRaisesRegex(
             TypeError, "classloader: 'lib_name' must be a str, got 'int'"
         ):
+            # pyre-ignore[6]: Intentional type error, checking runtime behavior.
             lookup_native_symbol(1, "labs")
 
     def test_native_lookup_bad_symbol_name(self) -> None:
         with self.assertRaisesRegex(
             TypeError, "classloader: 'symbol_name' must be a str, got 'int'"
         ):
+            # pyre-ignore[6]: Intentional type error, checking runtime behavior.
             lookup_native_symbol("libc.so.6", 42)
 
     def test_native_lookup_nonexistent_lib_name(self) -> None:

cinderx/PythonLib/test_cinderx/test___static__/test_native_utils.py

@@ -45,6 +45,7 @@ def test_set(self) -> None:
         with self.assertRaisesRegex(
             TypeError, "'object' object cannot be interpreted as an integer"
         ):
+            # pyre-ignore[6]: Intentional type error, checking runtime behavior.
             my_array[0] = object()
 
     def test_get(self) -> None:

cinderx/PythonLib/test_cinderx/test_compiler/test_static/staticarray.py

@@ -0,0 +1,157 @@
+# (c) Meta Platforms, Inc. and affiliates. Confidential and proprietary.
+
+# pyre-strict
+
+from __future__ import annotations
+
+from typing import Iterable, Iterator, NoReturn, TypeVar
+
+TYPED_INT_UNSIGNED: int
+TYPED_INT_SIGNED: int
+
+TYPED_INT_8BIT: int
+TYPED_INT_16BIT: int
+TYPED_INT_32BIT: int
+TYPED_INT_64BIT: int
+
+TYPED_INT8: int
+TYPED_INT16: int
+TYPED_INT32: int
+TYPED_INT64: int
+
+TYPED_UINT8: int
+TYPED_UINT16: int
+TYPED_UINT32: int
+TYPED_UINT64: int
+
+TYPED_OBJECT: int
+TYPED_DOUBLE: int
+TYPED_SINGLE: int
+TYPED_CHAR: int
+TYPED_BOOL: int
+TYPED_VOID: int
+TYPED_STRING: int
+TYPED_ERROR: int
+TYPED_ARRAY: int
+
+SEQ_LIST: int
+SEQ_TUPLE: int
+SEQ_LIST_INEXACT: int
+SEQ_ARRAY_INT64: int
+SEQ_SUBSCR_UNCHECKED: int
+
+SEQ_REPEAT_INEXACT_SEQ: int
+SEQ_REPEAT_INEXACT_NUM: int
+SEQ_REPEAT_REVERSED: int
+SEQ_REPEAT_PRIMITIVE_NUM: int
+
+SEQ_CHECKED_LIST: int
+
+PRIM_OP_EQ_INT: int
+PRIM_OP_NE_INT: int
+PRIM_OP_LT_INT: int
+PRIM_OP_LE_INT: int
+PRIM_OP_GT_INT: int
+PRIM_OP_GE_INT: int
+PRIM_OP_LT_UN_INT: int
+PRIM_OP_LE_UN_INT: int
+PRIM_OP_GT_UN_INT: int
+PRIM_OP_GE_UN_INT: int
+PRIM_OP_EQ_DBL: int
+PRIM_OP_NE_DBL: int
+PRIM_OP_LT_DBL: int
+PRIM_OP_LE_DBL: int
+PRIM_OP_GT_DBL: int
+PRIM_OP_GE_DBL: int
+
+PRIM_OP_ADD_INT: int
+PRIM_OP_SUB_INT: int
+PRIM_OP_MUL_INT: int
+PRIM_OP_DIV_INT: int
+PRIM_OP_DIV_UN_INT: int
+PRIM_OP_MOD_INT: int
+PRIM_OP_MOD_UN_INT: int
+PRIM_OP_POW_INT: int
+PRIM_OP_POW_UN_INT: int
+PRIM_OP_LSHIFT_INT: int
+PRIM_OP_RSHIFT_INT: int
+PRIM_OP_RSHIFT_UN_INT: int
+PRIM_OP_XOR_INT: int
+PRIM_OP_OR_INT: int
+PRIM_OP_AND_INT: int
+
+PRIM_OP_ADD_DBL: int
+PRIM_OP_SUB_DBL: int
+PRIM_OP_MUL_DBL: int
+PRIM_OP_DIV_DBL: int
+PRIM_OP_MOD_DBL: int
+PRIM_OP_POW_DBL: int
+
+PRIM_OP_NEG_INT: int
+PRIM_OP_INV_INT: int
+PRIM_OP_NEG_DBL: int
+PRIM_OP_NOT_INT: int
+
+FAST_LEN_INEXACT: int
+FAST_LEN_LIST: int
+FAST_LEN_DICT: int
+FAST_LEN_SET: int
+FAST_LEN_TUPLE: int
+FAST_LEN_ARRAY: int
+FAST_LEN_STR: int
+
+RAND_MAX: int
+
+T = TypeVar("T")
+K = TypeVar("K")
+V = TypeVar("V")
+
+chklist = list[T]
+chkdict = dict[K, V]
+
+class staticarray(Iterable[int]):
+    @classmethod
+    def __init__(cls, size: int) -> None: ...
+    @classmethod
+    def __class_getitem__(cls, key: type[object]) -> type[object]: ...
+    def __add__(self, other: staticarray) -> staticarray: ...
+    def __mul__(self, repeat: int) -> staticarray: ...
+    def __rmul__(self, repeat: int) -> staticarray: ...
+    def __delitem__(self, index: int) -> None: ...
+    def __getitem__(self, index: int) -> int: ...
+    def __setitem__(self, index: int, value: int) -> None: ...
+    def __len__(self) -> int: ...
+    def __repr__(self) -> str: ...
+
+    # This is a lie, staticarray doesn't have an __iter__ method.  This is here so that
+    # calling `list(static_array)` will work.  `list()` is typed as taking an
+    # Iterable[T], and that doesn't understand Python's support of __getitem__()-based
+    # iterables.
+    def __iter__(self) -> Iterator[int]: ...
+
+def __build_cinder_class__(
+    func: object, name: str, *bases: object, **kwds: object
+) -> type[object]: ...
+def _clear_dlopen_cache() -> None: ...
+def _clear_dlsym_cache() -> None: ...
+def _property_missing_fdel(base: object, key: object) -> NoReturn: ...
+def _property_missing_fget(base: object) -> NoReturn: ...
+def _property_missing_fset(base: object, key: object) -> NoReturn: ...
+def _sizeof_dlopen_cache() -> int: ...
+def _sizeof_dlsym_cache() -> int: ...
+def init_subclass(ty: type[object]) -> None: ...
+def install_sp_audit_hook() -> None: ...
+def is_static_callable(obj: object) -> bool: ...
+def is_static_module(mod: object) -> bool: ...
+def is_type_static(ty: type[object]) -> bool: ...
+def lookup_native_symbol(lib: str, symbol: str) -> int: ...
+def make_context_decorator_wrapper(
+    ctx_wrapper: object, wrapper_func: object, func: object
+) -> object: ...
+def make_recreate_cm(ty: type[object]) -> object: ...
+def rand() -> int: ...
+def resolve_primitive_descr(descr: object) -> int: ...
+def set_type_code(ty: type[object], code: int) -> None: ...
+def set_type_final(ty: type[object]) -> type[object]: ...
+def set_type_static(ty: type[object]) -> type[object]: ...
+def set_type_static_final(ty: type[object]) -> type[object]: ...