Check if a field is an Int

var validator = new ObjectValidator
validator.add new IntField("field", required=false)
assert validator.validate("""{}""")

validator = new ObjectValidator
validator.add new IntField("field")
assert not validator.validate("""{}""")
assert not validator.validate("""{ "field": "foo" }""")
assert validator.validate("""{ "field": 10 }""")

validator = new ObjectValidator
validator.add new IntField("field", min=3)
assert validator.validate("""{ "field": 3 }""")
assert not validator.validate("""{ "field": 2 }""")

validator = new ObjectValidator
validator.add new IntField("field", max=3)
assert validator.validate("""{ "field": 3 }""")
assert not validator.validate("""{ "field": 4 }""")

validator = new ObjectValidator
validator.add new IntField("field", min=3, max=5)
assert not validator.validate("""{ "field": 2 }""")
assert validator.validate("""{ "field": 3 }""")
assert validator.validate("""{ "field": 5 }""")
assert not validator.validate("""{ "field": 6 }""")

Introduced properties

init defaultinit(field: String, required: nullable Bool, min: nullable Int, max: nullable Int)

popcorn :: IntField :: defaultinit

fun max: nullable Int

popcorn :: IntField :: max

Max value (default: not checked)
protected fun max=(max: nullable Int)

popcorn :: IntField :: max=

Max value (default: not checked)
fun min: nullable Int

popcorn :: IntField :: min

Min value (default: not checked)
protected fun min=(min: nullable Int)

popcorn :: IntField :: min=

Min value (default: not checked)

Redefined properties

redef type SELF: IntField

popcorn $ IntField :: SELF

Type of this instance, automatically specialized in every class
redef fun validate_field(v: ObjectValidator, obj: JsonObject): Bool

popcorn $ IntField :: validate_field

Validate field in obj

All properties

fun !=(other: nullable Object): Bool

core :: Object :: !=

Have self and other different values?
fun ==(other: nullable Object): Bool

core :: Object :: ==

Have self and other the same value?
type CLASS: Class[SELF]

core :: Object :: CLASS

The type of the class of self.
type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
protected fun class_factory(name: String): CLASS

core :: Object :: class_factory

Implementation used by get_class to create the specific class.
fun class_name: String

core :: Object :: class_name

The class name of the object.
init defaultinit(field: String, required: nullable Bool, min: nullable Int, max: nullable Int)

popcorn :: IntField :: defaultinit

init defaultinit(field: String, required: nullable Bool)

popcorn :: RequiredField :: defaultinit

fun field: String

popcorn :: FieldValidator :: field

Field to validate
protected fun field=(field: String)

popcorn :: FieldValidator :: field=

Field to validate
fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.
fun hash: Int

core :: Object :: hash

The hash code of the object.
init init

core :: Object :: init

fun inspect: String

core :: Object :: inspect

Developer readable representation of self.
protected fun inspect_head: String

core :: Object :: inspect_head

Return "CLASSNAME:#OBJECTID".
intern fun is_same_instance(other: nullable Object): Bool

core :: Object :: is_same_instance

Return true if self and other are the same instance (i.e. same identity).
fun is_same_serialized(other: nullable Object): Bool

core :: Object :: is_same_serialized

Is self the same as other in a serialization context?
intern fun is_same_type(other: Object): Bool

core :: Object :: is_same_type

Return true if self and other have the same dynamic type.
fun max: nullable Int

popcorn :: IntField :: max

Max value (default: not checked)
protected fun max=(max: nullable Int)

popcorn :: IntField :: max=

Max value (default: not checked)
fun min: nullable Int

popcorn :: IntField :: min

Min value (default: not checked)
protected fun min=(min: nullable Int)

popcorn :: IntField :: min=

Min value (default: not checked)
intern fun object_id: Int

core :: Object :: object_id

An internal hash code for the object based on its identity.
fun output

core :: Object :: output

Display self on stdout (debug only).
intern fun output_class_name

core :: Object :: output_class_name

Display class name on stdout (debug only).
fun required: nullable Bool

popcorn :: RequiredField :: required

Is this field required?
protected fun required=(required: nullable Bool)

popcorn :: RequiredField :: required=

Is this field required?
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_s: String

core :: Object :: to_s

User readable representation of self.
abstract fun validate_field(v: ObjectValidator, obj: JsonObject): Bool

popcorn :: FieldValidator :: validate_field

Validate field in obj
package_diagram popcorn::IntField IntField popcorn::RequiredField RequiredField popcorn::IntField->popcorn::RequiredField popcorn::FieldValidator FieldValidator popcorn::RequiredField->popcorn::FieldValidator ...popcorn::FieldValidator ... ...popcorn::FieldValidator->popcorn::FieldValidator

Ancestors

abstract class FieldValidator

popcorn :: FieldValidator

Something that can validate a JsonObject field
interface Object

core :: Object

The root of the class hierarchy.

Parents

class RequiredField

popcorn :: RequiredField

Check if a field exists

Class definitions

popcorn $ IntField
# Check if a field is an Int
#
# ~~~
# var validator = new ObjectValidator
# validator.add new IntField("field", required=false)
# assert validator.validate("""{}""")
#
# validator = new ObjectValidator
# validator.add new IntField("field")
# assert not validator.validate("""{}""")
# assert not validator.validate("""{ "field": "foo" }""")
# assert validator.validate("""{ "field": 10 }""")
#
# validator = new ObjectValidator
# validator.add new IntField("field", min=3)
# assert validator.validate("""{ "field": 3 }""")
# assert not validator.validate("""{ "field": 2 }""")
#
# validator = new ObjectValidator
# validator.add new IntField("field", max=3)
# assert validator.validate("""{ "field": 3 }""")
# assert not validator.validate("""{ "field": 4 }""")
#
# validator = new ObjectValidator
# validator.add new IntField("field", min=3, max=5)
# assert not validator.validate("""{ "field": 2 }""")
# assert validator.validate("""{ "field": 3 }""")
# assert validator.validate("""{ "field": 5 }""")
# assert not validator.validate("""{ "field": 6 }""")
# ~~~
class IntField
	super RequiredField

	# Min value (default: not checked)
	var min: nullable Int

	# Max value (default: not checked)
	var max: nullable Int

	redef fun validate_field(v, obj) do
		if not super then return false
		var val = obj.get_or_null(field)
		if val == null then
			if required == null or required == true then
				v.validation.add_error(field, "Expected Int got `null`")
				return false
			else
				return true
			end
		end
		if not val isa Int then
			v.validation.add_error(field, "Expected Int got `{val.class_name}`")
			return false
		end
		var min = self.min
		if min != null and val < min then
			v.validation.add_error(field, "Must be greater or equal to `{min}`")
			return false
		end
		var max = self.max
		if max != null and val > max then
			v.validation.add_error(field, "Must be smaller or equal to `{max}`")
			return false
		end
		return true
	end
end
lib/popcorn/pop_validation.nit:384,1--450,3