MediaWiki  master
RangeDifference.php
Go to the documentation of this file.
1 <?php
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 
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