ILIAS  release_6 Revision v6.24-5-g0c8bfefb3b8
All Data Structures Namespaces Files Functions Variables Modules Pages
ILIAS\Data\Interval\ClosedIntegerInterval Class Reference
+ Collaboration diagram for ILIAS\Data\Interval\ClosedIntegerInterval:

Public Member Functions

 __construct (int $minimum, int $maximum)
 
 spans (int $numberToCheck)
 
 minimum ()
 
 maximum ()
 

Private Attributes

 $range
 

Detailed Description

Definition at line 12 of file ClosedIntegerInterval.php.

Constructor & Destructor Documentation

◆ __construct()

ILIAS\Data\Interval\ClosedIntegerInterval::__construct ( int  $minimum,
int  $maximum 
)
Parameters
int$minimum
int$maximum
Exceptions
ConstraintViolationException

Definition at line 24 of file ClosedIntegerInterval.php.

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  }

Member Function Documentation

◆ maximum()

ILIAS\Data\Interval\ClosedIntegerInterval::maximum ( )
Returns
int

Definition at line 64 of file ClosedIntegerInterval.php.

64  : int
65  {
66  return $this->range->maximum();
67  }

◆ minimum()

ILIAS\Data\Interval\ClosedIntegerInterval::minimum ( )
Returns
int

Definition at line 56 of file ClosedIntegerInterval.php.

56  : int
57  {
58  return $this->range->minimum();
59  }

◆ spans()

ILIAS\Data\Interval\ClosedIntegerInterval::spans ( int  $numberToCheck)
Parameters
int$numberToCheck
Returns
bool

Definition at line 42 of file ClosedIntegerInterval.php.

42  : 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  }

Field Documentation

◆ $range

ILIAS\Data\Interval\ClosedIntegerInterval::$range
private

Definition at line 17 of file ClosedIntegerInterval.php.


The documentation for this class was generated from the following file: