ILIAS
trunk Revision v13.0_alpha-62-g3b72d83f2e5
◀ ilDoc Overview
FilterImpl.php
Go to the documentation of this file.
1
<?php
2
19
declare(strict_types=1);
20
21
namespace
ILIAS\Search\Result\Filter
;
22
23
use
ILIAS\Search\Result\Filter\Criterion\Criterion
;
24
25
class
FilterImpl
implements
Filter
26
{
27
public
function
filter
(
28
Criterion
$criterion,
29
int
$offset,
30
int
$limit,
31
int
...$raw_ids
32
):
FilteredResult
{
33
$filtered = [];
34
$is_completed =
true
;
35
$criterion->
preloadData
(...$raw_ids);
36
foreach
($raw_ids as
$id
) {
37
if
($criterion->
doesFulfill
(
$id
)) {
38
$filtered[] =
$id
;
39
}
40
// always look for one more valid result find out whether the result is complete
41
if
(count($filtered) > $offset + $limit) {
42
$is_completed =
false
;
43
break
;
44
}
45
}
46
$filtered = array_slice($filtered, $offset, $limit);
47
return
new
FilteredResultImpl
($is_completed, $filtered);
48
}
49
}
$id
$id
plugin.php for ilComponentBuildPluginInfoObjectiveTest::testAddPlugins
Definition:
plugin.php:23
ILIAS\Search\Result\Filter\FilterImpl
Definition:
FilterImpl.php:26
ILIAS\Search\Result\Filter\FilterImpl\filter
filter(Criterion $criterion, int $offset, int $limit, int ... $raw_ids)
Definition:
FilterImpl.php:27
ILIAS\Search\Result\Filter\FilteredResultImpl
Definition:
FilteredResultImpl.php:24
ILIAS\Search\Result\Filter\Criterion\Criterion
Definition:
Criterion.php:24
ILIAS\Search\Result\Filter\Criterion\Criterion\doesFulfill
doesFulfill(int $id)
ILIAS\Search\Result\Filter\Criterion\Criterion\preloadData
preloadData(int ... $ids)
ILIAS\Search\Result\Filter\Filter
Definition:
Filter.php:26
ILIAS\Search\Result\Filter\FilteredResult
Definition:
FilteredResult.php:26
ILIAS\Search\Result\Filter
components
ILIAS
Search
classes
Result
Filter
FilterImpl.php
Generated on Wed Nov 11 2026 23:08:58 for ILIAS by
1.9.4 (using
Doxyfile
)