Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion src/local_ops.py
Original file line number Diff line number Diff line change
Expand Up @@ -513,7 +513,13 @@ def _read__binary(self, filename):
assert type(content) is bytes
return content

def readlines(self, filename, num_lines=0, binary=False, encoding=None):
def readlines(
self,
filename: str,
num_lines: int = 0,
binary: bool = False,
encoding: typing.Optional[str] = None,
) -> typing.Union[typing.List[str], typing.List[bytes]]:
"""
Read lines from a local file.
If num_lines is greater than 0, only the last num_lines lines will be read.
Expand Down
17 changes: 16 additions & 1 deletion src/os_ops.py
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,22 @@ def touch(self, filename):
def read(self, filename, encoding, binary):
raise NotImplementedError()

def readlines(self, filename):
def readlines(
self,
filename: str,
num_lines: int = 0,
binary: bool = False,
encoding: typing.Optional[str] = None,
) -> typing.Union[typing.List[str], typing.List[bytes]]:
"""
Read lines from a local file.
If num_lines is greater than 0, only the last num_lines lines will be read.
"""
assert type(num_lines) is int
assert type(filename) is str
assert type(binary) is bool
assert encoding is None or type(encoding) is str
assert num_lines >= 0
raise NotImplementedError()

def read_binary(self, filename, offset):
Expand Down
8 changes: 7 additions & 1 deletion src/remote_ops.py
Original file line number Diff line number Diff line change
Expand Up @@ -551,7 +551,13 @@ def _read__binary(self, filename):
assert type(content) is bytes
return content

def readlines(self, filename, num_lines=0, binary=False, encoding=None):
def readlines(
self,
filename: str,
num_lines: int = 0,
binary: bool = False,
encoding: typing.Optional[str] = None,
) -> typing.Union[typing.List[str], typing.List[bytes]]:
assert type(num_lines) is int
assert type(filename) is str
assert type(binary) is bool
Expand Down