mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-02-16 06:52:02 +08:00
Consistently use '= ...' for optional parameters.
This commit is contained in:
@@ -4,8 +4,8 @@
|
||||
|
||||
from typing import List, Tuple, Any, TextIO
|
||||
|
||||
def split(s: str, comments: bool = False,
|
||||
posix: bool = True) -> List[str]: ...
|
||||
def split(s: str, comments: bool = ...,
|
||||
posix: bool = ...) -> List[str]: ...
|
||||
|
||||
# Added in 3.3, use (undocumented) pipes.quote in previous versions.
|
||||
def quote(s: str) -> str: ...
|
||||
@@ -26,14 +26,14 @@ class shlex:
|
||||
token = ... # type: str
|
||||
eof = ... # type: str
|
||||
|
||||
def __init__(self, instream=None, infile=None,
|
||||
posix: bool = False) -> None: ...
|
||||
def __init__(self, instream=..., infile=...,
|
||||
posix: bool = ...) -> None: ...
|
||||
def get_token(self) -> str: ...
|
||||
def push_token(self, tok: str) -> None: ...
|
||||
def read_token(self) -> str: ...
|
||||
def sourcehook(self, filename: str) -> Tuple[str, TextIO]: ...
|
||||
# TODO argument types
|
||||
def push_source(self, newstream: Any, newfile: Any = None) -> None: ...
|
||||
def push_source(self, newstream: Any, newfile: Any = ...) -> None: ...
|
||||
def pop_source(self) -> None: ...
|
||||
def error_leader(self, infile: str = None,
|
||||
lineno: int = None) -> None: ...
|
||||
def error_leader(self, infile: str = ...,
|
||||
lineno: int = ...) -> None: ...
|
||||
|
||||
Reference in New Issue
Block a user