ILIAS  release_7 Revision v7.30-3-g800a261c036
IntegerValue.php
Go to the documentation of this file.
1<?php
2
4
6
8{
9 public function setValue($integer)
10 {
11 if (!is_integer($integer)) {
12 throw new InvalidArgumentException("The value given must be an integer! See php-documentation is_integer().");
13 }
14
15 parent::setValue($integer);
16 }
17}
An exception for terminatinating execution or to throw for unit testing.