MediaWiki
1.34.0
RangeDifference.php
Go to the documentation of this file.
1
<?php
32
class
RangeDifference
{
33
35
public
$leftstart
;
36
38
public
$leftend
;
39
41
public
$leftlength
;
42
44
public
$rightstart
;
45
47
public
$rightend
;
48
50
public
$rightlength
;
51
52
function
__construct
(
$leftstart
,
$leftend
,
$rightstart
,
$rightend
) {
53
$this->leftstart =
$leftstart
;
54
$this->leftend =
$leftend
;
55
$this->leftlength =
$leftend
-
$leftstart
;
56
$this->rightstart =
$rightstart
;
57
$this->rightend =
$rightend
;
58
$this->rightlength =
$rightend
-
$rightstart
;
59
}
60
61
}
RangeDifference\$leftend
int $leftend
Definition:
RangeDifference.php:38
RangeDifference\__construct
__construct( $leftstart, $leftend, $rightstart, $rightend)
Definition:
RangeDifference.php:52
RangeDifference\$rightstart
int $rightstart
Definition:
RangeDifference.php:44
RangeDifference\$rightlength
int $rightlength
Definition:
RangeDifference.php:50
RangeDifference\$rightend
int $rightend
Definition:
RangeDifference.php:47
RangeDifference\$leftlength
int $leftlength
Definition:
RangeDifference.php:41
RangeDifference\$leftstart
int $leftstart
Definition:
RangeDifference.php:35
RangeDifference
Alternative representation of a set of changes, by the index ranges that are changed.
Definition:
RangeDifference.php:32
includes
diff
RangeDifference.php
Generated on Thu Dec 19 2019 14:54:16 for MediaWiki by
1.8.16