Add jsonnet stubs (#14253)

This commit is contained in:
Tatsh
2025-07-07 11:21:29 -04:00
committed by GitHub
parent 571cbf36d4
commit 1f9ce7d59f
2 changed files with 37 additions and 0 deletions
+2
View File
@@ -0,0 +1,2 @@
version = "0.21.*"
upstream_repository = "https://github.com/google/jsonnet"
+35
View File
@@ -0,0 +1,35 @@
from collections.abc import Callable
from typing import Final
# Gleaned from https://github.com/google/jsonnet/blob/master/python/_jsonnet.c
version: Final[str]
def evaluate_file(
filename: str,
jpathdir: str | list[str] | None = ...,
max_stack: int = 500,
gc_min_objects: int = 1000,
gc_growth_trigger: float = 2,
ext_vars: dict[str, str] | None = ...,
ext_codes: dict[str, str] | None = ...,
tla_vars: dict[str, str] | None = ...,
tla_codes: dict[str, str] | None = ...,
max_trace: int = 20,
import_callback: Callable[[str, str], tuple[str, object | None]] = ...,
native_callbacks: dict[str, tuple[tuple[str, ...], Callable[..., object]]] | None = ...,
) -> str: ...
def evaluate_snippet(
filename: str,
src: str,
jpathdir: str | list[str] | None = ...,
max_stack: int = 500,
gc_min_objects: int = 1000,
gc_growth_trigger: float = 2,
ext_vars: dict[str, str] | None = ...,
ext_codes: dict[str, str] | None = ...,
tla_vars: dict[str, str] | None = ...,
tla_codes: dict[str, str] | None = ...,
max_trace: int = 20,
import_callback: Callable[[str, str], tuple[str, object | None]] = ...,
native_callbacks: dict[str, tuple[tuple[str, ...], Callable[..., object]]] | None = ...,
) -> str: ...