_value; } /** * @param int $value */ public function setInt($value) { $this->_value = $value; } function jsonSerialize() { return $this->_value; } public static function jsonDeserialize($json) { if (!is_numeric($json) || intval($json) != $json) { throw new LuDboDeserializeException("Invalid integer value"); } $val = new self(); $val->setInt(intval($json)); return $val; } public static function generateSample() { return 42; } public function between($min, $max) { if ($this->_value < $min || $this->_value > $max) { throw new LuDboConstraintException("Integer must be between ${min} and ${max} inclusive"); } } public function min($min) { if ($this->_value < $min) { throw new LuDboConstraintException("Integer must be greater or equal than ${min}"); } } public function max($max) { if ($this->_value > $max) { throw new LuDboConstraintException("Integer must be smaller or equal than ${max}"); } } }