blob: 383a6c7c2d933f60f02b8a4bbad8c2feb07c84c6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
<?php
namespace SourceSpan;
/**
* An interface that describes a segment of source text with additional context.
*/
interface SourceSpanWithContext extends SourceSpan
{
/**
* Text around the span, which includes the line containing this span.
*/
public function getContext(): string;
public function subspan(int $start, ?int $end = null): SourceSpanWithContext;
}
|