xml: use SupportsRead/SupportsWrite instead of IO (#7241)

This commit is contained in:
Rogdham
2022-02-17 04:02:30 +01:00
committed by GitHub
parent 1091521f60
commit 63c20e3ce7
4 changed files with 32 additions and 20 deletions

View File

@@ -1,11 +1,11 @@
import sys
import xml.dom
from _typeshed import Self
from typing import IO, Any
from _typeshed import Self, SupportsRead
from typing import Any
from xml.dom.xmlbuilder import DocumentLS, DOMImplementationLS
from xml.sax.xmlreader import XMLReader
def parse(file: str | IO[Any], parser: XMLReader | None = ..., bufsize: int | None = ...): ...
def parse(file: str | SupportsRead[bytes] | SupportsRead[str], parser: XMLReader | None = ..., bufsize: int | None = ...): ...
def parseString(string: str | bytes, parser: XMLReader | None = ...): ...
def getDOMImplementation(features=...) -> DOMImplementation | None: ...

View File

@@ -1,5 +1,6 @@
import sys
from typing import IO, Any, Sequence, Union
from _typeshed import SupportsRead
from typing import Any, Sequence, Union
from typing_extensions import Literal
from xml.dom.minidom import Document, DOMImplementation, Element, Text
from xml.sax.handler import ContentHandler
@@ -62,10 +63,10 @@ class ErrorHandler:
def fatalError(self, exception) -> None: ...
class DOMEventStream:
stream: IO[bytes]
stream: SupportsRead[bytes] | SupportsRead[str]
parser: XMLReader
bufsize: int
def __init__(self, stream: IO[bytes], parser: XMLReader, bufsize: int) -> None: ...
def __init__(self, stream: SupportsRead[bytes] | SupportsRead[str], parser: XMLReader, bufsize: int) -> None: ...
pulldom: Any
if sys.version_info < (3, 11):
def __getitem__(self, pos): ...
@@ -86,5 +87,7 @@ class SAX2DOM(PullDOM):
default_bufsize: int
def parse(stream_or_string: str | IO[bytes], parser: XMLReader | None = ..., bufsize: int | None = ...) -> DOMEventStream: ...
def parse(
stream_or_string: str | SupportsRead[bytes] | SupportsRead[str], parser: XMLReader | None = ..., bufsize: int | None = ...
) -> DOMEventStream: ...
def parseString(string: str, parser: XMLReader | None = ...) -> DOMEventStream: ...