-
Notifications
You must be signed in to change notification settings - Fork 0
/
string
29 lines (23 loc) · 856 Bytes
/
string
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
def string(text, pos_start, pos_end):
result = ""
# Calculate indices
idx_start = max(text.rfind("\n", 0, pos_start.idx), 0)
idx_end = text.find("\n", idx_start + 1)
if idx_end < 0:
idx_end = len(text)
# Generate each line
line_count = pos_end.ln - pos_start.ln + 1
for i in range(line_count):
# Calculate line columns
line = text[idx_start:idx_end]
col_start = pos_start.col if i == 0 else 0
col_end = pos_end.col if i == line_count - 1 else len(line) - 1
# Append to result
result += line + "\n"
result += " " * col_start + "^" * (col_end - col_start)
# Re-calculate indices
idx_start = idx_end
idx_end = text.find("\n", idx_start + 1)
if idx_end < 0:
idx_end = len(text)
return result.replace("\t", "")