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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
<?php
namespace SourceSpan;
final class SimpleSourceSpanWithContext extends SourceSpanMixin implements SourceSpanWithContext
{
public function __construct(
private readonly SourceLocation $start,
private readonly SourceLocation $end,
private readonly string $text,
private readonly string $context
) {
if (!Util::isSameUrl($start->getSourceUrl(), $end->getSourceUrl())) {
throw new \InvalidArgumentException("Source URLs \"{$start->getSourceUrl()}\" and \"{$end->getSourceUrl()}\" don't match.");
}
if ($this->end->getOffset() < $this->start->getOffset()) {
throw new \InvalidArgumentException('End must come after start.');
}
$distance = $this->start->distance($this->end);
if (\strlen($this->text) !== $distance) {
throw new \InvalidArgumentException("Text \"$text\" must be $distance characters long.");
}
if (!str_contains($this->context, $this->text)) {
throw new \InvalidArgumentException("The context line \"$context\" must contain \"$text\".");
}
if (Util::findLineStart($this->context, $this->text, $this->start->getColumn()) === null) {
$column = $this->start->getColumn() + 1;
throw new \InvalidArgumentException("The span text \"$text\" must start at column $column in a line within \"$context\".");
}
}
public function getStart(): SourceLocation
{
return $this->start;
}
public function getEnd(): SourceLocation
{
return $this->end;
}
public function getText(): string
{
return $this->text;
}
public function getContext(): string
{
return $this->context;
}
public function subspan(int $start, ?int $end = null): SourceSpanWithContext
{
Util::checkValidRange($start, $end, $this->getLength());
if ($start === 0 && ($end === null || $end === $this->getLength())) {
return $this;
}
$locations = Util::subspanLocations($this, $start, $end);
return new SimpleSourceSpanWithContext($locations[0], $locations[1], Util::substring($this->text, $start, $end), $this->context);
}
}
|