File Manager

X7ROOT File Manager

Current Path: /home/cbholdings/pasukulu/lib/table/classes/local/filter

home / cbholdings / pasukulu / lib / table / classes / local / filter /

📁 ..
📄 filter.php(6.74 KB)
📄 filterset.php(9.14 KB)
📄 integer_filter.php(1.81 KB)
📄 numeric_comparison_filter.php(3.99 KB)
📄 string_filter.php(1.8 KB)

Editing: integer_filter.php

<?php
// This file is part of Moodle - http://moodle.org/
//
// Moodle is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Moodle is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Moodle.  If not, see <http://www.gnu.org/licenses/>.

/**
 * Integer filter.
 *
 * @package    core
 * @category   table
 * @copyright  2020 Andrew Nicols <andrew@nicols.co.uk>
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */

declare(strict_types=1);

namespace core_table\local\filter;

use TypeError;

/**
 * Class representing an integer filter.
 *
 * @package    core
 * @copyright  2020 Andrew Nicols <andrew@nicols.co.uk>
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 */
class integer_filter extends filter {
    /**
     * Add a value to the filter.
     *
     * @param int $values
     * @return self
     */
    public function add_filter_value($value): parent {
        if (!is_int($value)) {
            $type = gettype($value);
            if ($type === 'object') {
                $type = get_class($value);
            }

throw new TypeError("The value supplied was of type '{$type}'. An integer was expected.");
        }

if (array_search($value, $this->filtervalues) !== false) {
            // Remove duplicates.
            return $this;
        }

$this->filtervalues[] = $value;

return $this;
    }
}

X7ROOT File Manager

Editing: integer_filter.php

Upload File

Create Folder