2015-10-07 16:46:57 +02:00
|
|
|
# IntVal
|
2015-01-30 09:40:06 +01:00
|
|
|
|
2017-03-27 14:47:07 +02:00
|
|
|
- `IntVal()`
|
2015-01-30 09:40:06 +01:00
|
|
|
|
2020-05-19 18:14:07 +02:00
|
|
|
Validates if the input is an integer, allowing leading zeros and other number bases.
|
2015-01-30 09:40:06 +01:00
|
|
|
|
|
|
|
```php
|
2015-10-20 02:53:25 +02:00
|
|
|
v::intVal()->validate('10'); // true
|
2020-05-19 18:14:07 +02:00
|
|
|
v::intVal()->validate('089'); // true
|
2015-10-20 02:53:25 +02:00
|
|
|
v::intVal()->validate(10); // true
|
2020-05-19 18:14:07 +02:00
|
|
|
v::intVal()->validate(0b101010); // true
|
|
|
|
v::intVal()->validate(0x2a); // true
|
2015-01-30 09:40:06 +01:00
|
|
|
```
|
|
|
|
|
2020-05-19 18:14:07 +02:00
|
|
|
This rule will consider as valid any input that PHP can convert to an integer,
|
|
|
|
but that does not contain non-integer values. That way, one can safely use the
|
|
|
|
value this rule validates, without having surprises.
|
|
|
|
|
|
|
|
```php
|
|
|
|
v::intVal()->validate(true); // false
|
|
|
|
v::intVal()->validate('89a'); // false
|
|
|
|
```
|
|
|
|
|
|
|
|
Even though PHP can cast the values above as integers, this rule will not
|
|
|
|
consider them as valid.
|
|
|
|
|
2019-05-11 18:32:13 +02:00
|
|
|
## Categorization
|
|
|
|
|
|
|
|
- Numbers
|
|
|
|
- Types
|
|
|
|
|
2017-03-27 22:04:13 +02:00
|
|
|
## Changelog
|
|
|
|
|
2020-05-19 18:14:07 +02:00
|
|
|
Version | Description
|
|
|
|
---------|-------------
|
2023-02-13 23:21:42 +01:00
|
|
|
2.2.4 | Improved support for negative values with trailing zeroes
|
2020-05-19 18:14:07 +02:00
|
|
|
2.0.14 | Allow leading zeros
|
|
|
|
1.0.0 | Renamed from `Int` to `IntVal`
|
|
|
|
0.3.9 | Created as `Int`
|
2017-03-27 22:04:13 +02:00
|
|
|
|
2015-08-20 06:38:41 +02:00
|
|
|
***
|
2015-01-30 09:40:06 +01:00
|
|
|
See also:
|
|
|
|
|
2020-10-05 12:49:14 +02:00
|
|
|
- [Decimal](Decimal.md)
|
2017-03-28 11:53:14 +02:00
|
|
|
- [Digit](Digit.md)
|
|
|
|
- [Finite](Finite.md)
|
2018-12-11 13:31:50 +01:00
|
|
|
- [FloatType](FloatType.md)
|
|
|
|
- [FloatVal](FloatVal.md)
|
2017-03-28 11:53:14 +02:00
|
|
|
- [Infinite](Infinite.md)
|
2018-12-11 13:31:50 +01:00
|
|
|
- [IntType](IntType.md)
|
2017-03-28 11:53:14 +02:00
|
|
|
- [NumericVal](NumericVal.md)
|
2018-12-11 13:31:50 +01:00
|
|
|
- [Type](Type.md)
|