mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 21:14:48 +08:00
17dcea4a68
* run script and do some manual changes (Akuli) * do the whole thing manually (srittau) * merge changes (Akuli) Co-authored-by: Sebastian Rittau <srittau@rittau.biz>
26 lines
1.1 KiB
Python
26 lines
1.1 KiB
Python
from types import CodeType
|
|
from typing import Any, Callable, Mapping, Optional
|
|
|
|
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] = ..., exitmsg: 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]] = ...,
|
|
exitmsg: Optional[str] = ...,
|
|
) -> None: ...
|
|
def compile_command(source: str, filename: str = ..., symbol: str = ...) -> Optional[CodeType]: ...
|