python/src/types/buffer.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

from dataclasses import dataclass

@dataclass
class Buffer:
    content: str

    @property
    def min_pos(self) -> int:
        return 0

    @property
    def max_pos(self) -> int:
        return len(self.content)

    def valid_pos(self, pos : int) -> bool:
        return self.min_pos <= pos < self.max_pos