ILIAS
release_6 Revision v6.24-5-g0c8bfefb3b8
◀ ilDoc Overview
ClosedIntegerInterval.php
Go to the documentation of this file.
1
<?php
2
/* Copyright (c) 1998-2019 ILIAS open source, Extended GPL, see docs/LICENSE */
3
8
namespace
ILIAS\Data\Interval
;
9
10
use
ILIAS\Refinery\ConstraintViolationException
;
11
12
class
ClosedIntegerInterval
13
{
17
private
$range
;
18
24
public
function
__construct
(
int
$minimum,
int
$maximum)
25
{
26
if
($minimum === $maximum) {
27
throw
new
ConstraintViolationException
(
28
sprintf(
'The maximum("%s") and minimum("%s") can NOT be the same'
, $maximum, $minimum),
29
'exception_maximum_minimum_same'
,
30
$maximum,
31
$minimum
32
);
33
}
34
35
$this->range =
new
OpenedIntegerInterval
($minimum, $maximum);
36
}
37
42
public
function
spans
(
int
$numberToCheck) : bool
43
{
44
if
($numberToCheck <= $this->range->minimum()) {
45
return
false
;
46
} elseif ($numberToCheck >= $this->range->maximum()) {
47
return
false
;
48
}
49
50
return
true
;
51
}
52
56
public
function
minimum
() : int
57
{
58
return
$this->range->minimum();
59
}
60
64
public
function
maximum
() : int
65
{
66
return
$this->range->maximum();
67
}
68
}
ILIAS\Data\Interval\OpenedIntegerInterval
Definition:
OpenedIntegerInterval.php:13
ILIAS\Data\Interval\ClosedIntegerInterval\spans
spans(int $numberToCheck)
Definition:
ClosedIntegerInterval.php:42
ILIAS\Data\Interval
Definition:
ClosedFloatInterval.php:9
ILIAS\Data\Interval\ClosedIntegerInterval\__construct
__construct(int $minimum, int $maximum)
Definition:
ClosedIntegerInterval.php:24
ILIAS\Data\Interval\ClosedIntegerInterval\minimum
minimum()
Definition:
ClosedIntegerInterval.php:56
ILIAS\Refinery\ConstraintViolationException
Definition:
ConstraintViolationException.php:14
ILIAS\Data\Interval\ClosedIntegerInterval\maximum
maximum()
Definition:
ClosedIntegerInterval.php:64
ILIAS\Data\Interval\ClosedIntegerInterval
Definition:
ClosedIntegerInterval.php:12
ILIAS\Data\Interval\ClosedIntegerInterval\$range
$range
Definition:
ClosedIntegerInterval.php:17
ConstraintViolationException
src
Data
Interval
ClosedIntegerInterval.php
Generated on Sun Aug 31 2025 20:01:29 for ILIAS by
1.8.13 (using
Doxyfile
)