MediaWiki
REL1_34
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
Alternative representation of a set of changes, by the index ranges that are changed.
Definition
RangeDifference.php:32
RangeDifference\$leftend
int $leftend
Definition
RangeDifference.php:38
RangeDifference\$rightstart
int $rightstart
Definition
RangeDifference.php:44
RangeDifference\__construct
__construct( $leftstart, $leftend, $rightstart, $rightend)
Definition
RangeDifference.php:52
RangeDifference\$rightlength
int $rightlength
Definition
RangeDifference.php:50
RangeDifference\$leftstart
int $leftstart
Definition
RangeDifference.php:35
RangeDifference\$rightend
int $rightend
Definition
RangeDifference.php:47
RangeDifference\$leftlength
int $leftlength
Definition
RangeDifference.php:41
includes
diff
RangeDifference.php
Generated on Fri Apr 5 2024 23:09:51 for MediaWiki by
1.9.8