blob: 0ff936844ea40139e4e0bd977fec303313dde553 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<?php
namespace SourceSpan;
interface FileSpan extends SourceSpanWithContext
{
public function getFile(): SourceFile;
public function getStart(): FileLocation;
public function getEnd(): FileLocation;
public function expand(FileSpan $other): FileSpan;
/**
* Return a span from $start bytes (inclusive) to $end bytes
* (exclusive) after the beginning of this span
*/
public function subspan(int $start, ?int $end = null): FileSpan;
}
|