ILIAS  trunk Revision v11.0_alpha-3011-gc6b235a2e85
PositiveInteger.php
Go to the documentation of this file.
1<?php
2
19declare(strict_types=1);
20
24namespace ILIAS\Data;
25
27
29{
30 private int $value;
31
35 public function __construct(int $value)
36 {
37 if ($value < 0) {
39 sprintf('The value "%s" is not a positive integer', $value),
40 'exception_not_positive_integer',
41 array($value)
42 );
43 }
44
45 $this->value = $value;
46 }
47
48 public function getValue(): int
49 {
50 return $this->value;
51 }
52}