blob: 78d39aee85b8230266ea2818ed5fc50054319229 [file] [log] [blame]
# Builtins stub used for format-string-related test cases.
# We need str and list, and str needs join and format methods.
from typing import TypeVar, Generic, Iterable, Iterator, List, overload
T = TypeVar('T')
class object:
def __init__(self): pass
class type:
def __init__(self, x) -> None: pass
class ellipsis: pass
class list(Iterable[T], Generic[T]):
@overload
def __init__(self) -> None: pass
@overload
def __init__(self, x: Iterable[T]) -> None: pass
def append(self, x: T) -> None: pass
class tuple(Generic[T]): pass
class function: pass
class int:
def __add__(self, i: int) -> int: pass
class float: pass
class bool(int): pass
class str:
def __add__(self, s: str) -> str: pass
def format(self, *args) -> str: pass
def join(self, l: List[str]) -> str: pass