mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-07 12:44:28 +08:00
28 lines
1.2 KiB
Python
28 lines
1.2 KiB
Python
# Stubs for code
|
|
|
|
from typing import Any, Callable, Mapping, Optional
|
|
from types import CodeType
|
|
|
|
class InteractiveInterpreter:
|
|
def __init__(self, locals: Optional[Mapping[str, Any]] = ...) -> None: ...
|
|
def runsource(self, source: str, filename: str = ...,
|
|
symbol: str = ...) -> bool: ...
|
|
def runcode(self, code: CodeType) -> None: ...
|
|
def showsyntaxerror(self, filename: Optional[str] = ...) -> None: ...
|
|
def showtraceback(self) -> None: ...
|
|
def write(self, data: str) -> None: ...
|
|
|
|
class InteractiveConsole(InteractiveInterpreter):
|
|
def __init__(self, locals: Optional[Mapping[str, Any]] = ...,
|
|
filename: str = ...) -> None: ...
|
|
def interact(self, banner: Optional[str] = ...) -> None: ...
|
|
def push(self, line: str) -> bool: ...
|
|
def resetbuffer(self) -> None: ...
|
|
def raw_input(self, prompt: str = ...) -> str: ...
|
|
|
|
def interact(banner: Optional[str] = ...,
|
|
readfunc: Optional[Callable[[str], str]] = ...,
|
|
local: Optional[Mapping[str, Any]] = ...) -> None: ...
|
|
def compile_command(source: str, filename: str = ...,
|
|
symbol: str = ...) -> Optional[CodeType]: ...
|