Exception
1 day ago
SpecificationFactory
1 day ago
AggregateSpecification.php
1 day ago
AndSpecification.php
1 day ago
CollectionOperators.php
1 day ago
CollectionSpecification.php
1 day ago
ComparisonOperators.php
1 day ago
ComparisonSpecification.php
1 day ago
CompositeSpecification.php
1 day ago
ContainsSpecification.php
1 day ago
Context.php
1 day ago
ContextAwareSpecification.php
1 day ago
DateComparisonSpecification.php
1 day ago
DateOperators.php
1 day ago
DateRangeSpecification.php
1 day ago
DateRelativeDaysSpecification.php
1 day ago
DateRelativeDeductedSpecification.php
1 day ago
DateSpecification.php
1 day ago
DateTimeFactory.php
1 day ago
DateTrait.php
1 day ago
EndsWithSpecification.php
1 day ago
FactSpecification.php
1 day ago
FactTrait.php
1 day ago
FloatComparisonSpecification.php
1 day ago
FloatRangeSpecification.php
1 day ago
IntegerComparisonSpecification.php
1 day ago
IntegerRangeSpecification.php
1 day ago
NotSpecification.php
1 day ago
NullSpecification.php
1 day ago
OperatorExpression.php
1 day ago
OrSpecification.php
1 day ago
RangeOperators.php
1 day ago
RangeSpecification.php
1 day ago
Specification.php
1 day ago
SpecificationFactory.php
1 day ago
StartsWithSpecification.php
1 day ago
StringComparisonSpecification.php
1 day ago
StringMatchSpecification.php
1 day ago
StringOperators.php
1 day ago
Type.php
1 day ago
TypeSpecification.php
1 day ago
TypeTrait.php
1 day ago
Types.php
1 day ago
IntegerRangeSpecification.php
32 lines
| 1 | <?php |
| 2 | |
| 3 | declare(strict_types=1); |
| 4 | |
| 5 | namespace AC\Expression; |
| 6 | |
| 7 | class IntegerRangeSpecification extends RangeSpecification implements TypeSpecification |
| 8 | { |
| 9 | use TypeTrait; |
| 10 | |
| 11 | public function __construct(string $operator, int $a, int $b) |
| 12 | { |
| 13 | parent::__construct($operator, $a, $b); |
| 14 | |
| 15 | $this->type = Types::INTEGER; |
| 16 | } |
| 17 | |
| 18 | public function is_satisfied_by($value): bool |
| 19 | { |
| 20 | return parent::is_satisfied_by((int)$value); |
| 21 | } |
| 22 | |
| 23 | public function export(): array |
| 24 | { |
| 25 | return array_merge( |
| 26 | parent::export(), |
| 27 | $this->export_type() |
| 28 | ); |
| 29 | } |
| 30 | |
| 31 | } |
| 32 |