MediaWiki
REL1_40
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
58
public
function
__construct
(
$leftstart
,
$leftend
,
$rightstart
,
$rightend
) {
59
$this->leftstart =
$leftstart
;
60
$this->leftend =
$leftend
;
61
$this->leftlength =
$leftend
-
$leftstart
;
62
$this->rightstart =
$rightstart
;
63
$this->rightend =
$rightend
;
64
$this->rightlength =
$rightend
-
$rightstart
;
65
}
66
67
}
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:58
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 Thu Jun 27 2024 14:02:40 for MediaWiki by
1.10.0