objectmodel 4.2.3 → 4.3.1

package/dist/object-model.cjs

@@ -1,4 +1,4 @@
-// ObjectModel v4.2.2 - http://objectmodel.js.org
+// ObjectModel v4.3.1 - http://objectmodel.js.org
 // MIT License - Sylvain Pollet-Villard
 const
 	ObjectProto = Object.prototype,
@@ -45,476 +45,479 @@ const
 		setProto(child, parent);
 	};
 
-const
-	_check = Symbol(),
-	_checked = Symbol(), // used to skip validation at instanciation for perf
-	_original = Symbol(), // used to bypass proxy
-
-	initModel = (def, constructor, parent, init, getTraps, useNew) => {
-		const model = function (val = model.default, mode) {
-			if (useNew && !is(model, this)) return new model(val)
-			if (init) val = init(val, model, this);
-
-			if (mode === _checked || check(model, val))
-				return getTraps ? proxify(val, getTraps(model)) : val
-		};
-
-		if (parent) extend(model, parent);
-		setProto(model, constructor.prototype);
-		model.constructor = constructor;
-		model.definition = def;
-		model.assertions = [...model.assertions];
-		define(model, "errors", []);
-		delete model.name;
-		return model
-	},
-
-	initObjectModel = (obj, model, _this) => {
-		if (is(model, obj)) return obj
-
-		if (!isObject(obj) && !isFunction(obj) && obj !== undefined) {
-			stackError(model.errors, Object, obj);
-		}
-
-		merge(_this, model.default);
-		if (model.parentClass) merge(obj, new model.parentClass(obj));
-		merge(_this, obj);
-		return _this
-	},
-
-	extendModel = (child, parent, newProps) => {
-		extend(child, parent, newProps);
-		child.assertions.push(...parent.assertions);
-		return child
-	},
-
-	stackError = (errors, expected, received, path, message) => {
-		errors.push({ expected, received, path, message });
-	},
-
-	unstackErrors = (model, collector = model.errorCollector) => {
-		const nbErrors = model.errors.length;
-		if (nbErrors > 0) {
-			const errors = model.errors.map(err => {
-				if (!err.message) {
-					err.message = "expecting " + (err.path ? err.path + " to be " : "") + formatDefinition(err.expected)
-						+ ", got " + (err.received != null ? bettertypeof(err.received) + " " : "") + format(err.received);
-				}
-				return err
-			});
-
-			model.errors.length = 0;
-			collector.call(model, errors); // throw all errors collected
-		}
-		return nbErrors
-	},
-
-	isModelInstance = i => i && getProto(i) && is(Model, getProto(i).constructor),
-
-	parseDefinition = (def) => {
-		if (isPlainObject(def)) {
-			def = {};
-			for (let key in def) { def[key] = parseDefinition(def[key]); }
-		}
-		else if (!Array.isArray(def)) return [def]
-		else if (def.length === 1) return [def[0], undefined, null]
-
-		return def
-	},
-
-	formatDefinition = (def, stack) => {
-		const parts = parseDefinition(def).map(d => format(d, stack));
-		return parts.length > 1 ? parts.join(" or ") : parts[0]
-	},
-
-	formatAssertions = fns => fns.length ? `(${fns.map(f => f.name || f.description || f)})` : "",
-
-	extendDefinition = (def, newParts = []) => {
-		if (newParts.length > 0) {
-			def = [].concat(def, ...[].concat(newParts))// clone to lose ref
-				.filter((value, index, self) => self.indexOf(value) === index); // remove duplicates
-		}
-
-		return def
-	},
-
-	check = (model, obj) => {
-		model[_check](obj, null, model.errors, [], true);
-		return !unstackErrors(model)
-	},
-
-	checkDefinition = (obj, def, path, errors, stack, shouldCast) => {
-		const indexFound = stack.indexOf(def);
-		if (indexFound !== -1 && stack.indexOf(def, indexFound + 1) !== -1)
-			return obj // if found twice in call stack, cycle detected, skip validation
-
-		if (Array.isArray(def) && def.length === 1 && obj != null) {
-			def = def[0]; // shorten validation path for optionals
-		}
-
-		if (is(Model, def)) {
-			if (shouldCast) obj = cast(obj, def);
-			def[_check](obj, path, errors, stack.concat(def));
-		}
-		else if (isPlainObject(def)) {
-			for (let key in def) {
-				const val = obj ? obj[key] : undefined;
-				checkDefinition(val, def[key], formatPath(path, key), errors, stack, shouldCast);
-			}
-		}
-		else {
-			const pdef = parseDefinition(def);
-			if (pdef.some(part => checkDefinitionPart(obj, part, path, stack))) {
-				return shouldCast ? cast(obj, def) : obj
-			}
-
-			stackError(errors, def, obj, path);
-		}
-
-		return obj
-	},
-
-	checkDefinitionPart = (obj, def, path, stack, shouldCast) => {
-		if (def === Any) return true
-		if (obj == null) return obj === def
-		if (isPlainObject(def) || is(Model, def)) { // object or model as part of union type
-			const errors = [];
-			checkDefinition(obj, def, path, errors, stack, shouldCast);
-			return !errors.length
-		}
-		if (is(RegExp, def)) return def.test(obj)
-		if (def === Number || def === Date) return obj.constructor === def && !isNaN(obj)
-		return obj === def
-			|| (isFunction(def) && is(def, obj))
-			|| obj.constructor === def
-	},
-
-	checkAssertions = (obj, model, path, errors = model.errors) => {
-		for (let assertion of model.assertions) {
-			let result;
-			try {
-				result = assertion.call(model, obj);
-			} catch (err) {
-				result = err;
-			}
-			if (result !== true) {
-				const onFail = isFunction(assertion.description) ? assertion.description : (assertionResult, value) =>
-					`assertion "${assertion.description}" returned ${format(assertionResult)} `
-					+ `for ${path ? path + " =" : "value"} ${format(value)}`;
-				stackError(errors, assertion, obj, path, onFail.call(model, result, obj, path));
-			}
-		}
-	},
-
-	format = (obj, stack = []) => {
-		if (stack.length > 15 || stack.includes(obj)) return "..."
-		if (obj === null || obj === undefined) return String(obj)
-		if (isString(obj)) return `"${obj}"`
-		if (is(Model, obj)) return obj.toString(stack)
-
-		stack.unshift(obj);
-
-		if (isFunction(obj)) return obj.name || obj.toString()
-		if (is(Map, obj) || is(Set, obj)) return format([...obj])
-		if (Array.isArray(obj)) return `[${obj.map(item => format(item, stack)).join(", ")}]`
-		if (obj.toString && obj.toString !== ObjectProto.toString) return obj.toString()
-		if (isObject(obj)) {
-			const props = Object.keys(obj),
-				indent = "\t".repeat(stack.length);
-			return `{${props.map(
-				key => `\n${indent + key}: ${format(obj[key], [...stack])}`
-			).join(", ")} ${props.length ? `\n${indent.slice(1)}` : ""}}`
-		}
-
-		return String(obj)
-	},
-
-	formatPath = (path, key) => path ? path + "." + key : key,
-
-	controlMutation = (model, def, path, o, key, privateAccess, applyMutation) => {
-		const newPath = formatPath(path, key),
-			isPrivate = model.conventionForPrivate(key),
-			isConstant = model.conventionForConstant(key),
-			isOwnProperty = has(o, key),
-			initialPropDescriptor = isOwnProperty && Object.getOwnPropertyDescriptor(o, key);
-
-		if (key in def && ((isPrivate && !privateAccess) || (isConstant && o[key] !== undefined)))
-			cannot(`modify ${isPrivate ? "private" : "constant"} property ${key}`, model);
-
-		applyMutation();
-		if (has(def, key)) checkDefinition(o[key], def[key], newPath, model.errors, []);
-		checkAssertions(o, model, newPath);
-
-		const nbErrors = model.errors.length;
-		if (nbErrors) {
-			if (isOwnProperty) Object.defineProperty(o, key, initialPropDescriptor);
-			else delete o[key]; // back to the initial property defined in prototype chain
-
-			unstackErrors(model);
-		}
-
-		return !nbErrors
-	},
-
-	cannot = (msg, model) => {
-		model.errors.push({ message: "cannot " + msg });
-	},
-
-	cast = (obj, defNode = []) => {
-		if (!obj || isPlainObject(defNode) || is(BasicModel, defNode) || isModelInstance(obj))
-			return obj // no value or not leaf or already a model instance
-
-		const def = parseDefinition(defNode),
-			suitableModels = [];
-
-		for (let part of def) {
-			if (is(Model, part) && !is(BasicModel, part) && part.test(obj))
-				suitableModels.push(part);
-		}
-
-		if (suitableModels.length === 1) {
-			// automatically cast to suitable model when explicit (autocasting)
-			return new suitableModels[0](obj, _checked)
-		}
-
-		if (suitableModels.length > 1)
-			console.warn(`Ambiguous model for value ${format(obj)}, could be ${suitableModels.join(" or ")}`);
-
-		return obj
-	},
-
-
-	getProp = (val, model, def, path, privateAccess) => {
-		if (!isPlainObject(def)) return cast(val, def)
-		return proxify(val, getTraps(model, def, path, privateAccess))
-	},
-
-	getTraps = (model, def, path, privateAccess) => {
-		const grantPrivateAccess = f => proxify(f, {
-			apply(fn, ctx, args) {
-				privateAccess = true;
-				const result = Reflect.apply(fn, ctx, args);
-				privateAccess = false;
-				return result
-			}
-		});
-
-		return {
-			get(o, key) {
-				if (key === _original) return o
-
-				if (!isString(key)) return Reflect.get(o, key)
-
-				const newPath = formatPath(path, key);
-				const inDef = has(def, key);
-				const defPart = def[key];
-
-				if (!privateAccess && inDef && model.conventionForPrivate(key)) {
-					cannot(`access to private property ${newPath}`, model);
-					unstackErrors(model);
-					return
-				}
-
-				let value = o[key];
-
-				if (inDef && value && has(o, key) && !isPlainObject(defPart) && !isModelInstance(value)) {
-					Reflect.set(o, key, value = cast(value, defPart)); // cast nested models
-				}
-
-				if (isFunction(value) && key !== "constructor" && !privateAccess) {
-					return grantPrivateAccess(value)
-				}
-
-				if (isPlainObject(defPart) && !value) {
-					o[key] = value = {}; // null-safe traversal
-				}
-
-				return getProp(value, model, defPart, newPath, privateAccess)
-			},
-
-			set(o, key, val) {
-				return controlMutation(model, def, path, o, key, privateAccess, () => Reflect.set(o, key, cast(val, def[key])))
-			},
-
-			deleteProperty(o, key) {
-				return controlMutation(model, def, path, o, key, privateAccess, () => Reflect.deleteProperty(o, key))
-			},
-
-			defineProperty(o, key, args) {
-				return controlMutation(model, def, path, o, key, privateAccess, () => Reflect.defineProperty(o, key, args))
-			},
-
-			has(o, key) {
-				return Reflect.has(o, key) && Reflect.has(def, key) && !model.conventionForPrivate(key)
-			},
-
-			ownKeys(o) {
-				return Reflect.ownKeys(o).filter(key => Reflect.has(def, key) && !model.conventionForPrivate(key))
-			},
-
-			getOwnPropertyDescriptor(o, key) {
-				let descriptor;
-				if (!model.conventionForPrivate(key)) {
-					descriptor = Object.getOwnPropertyDescriptor(def, key);
-					if (descriptor !== undefined) descriptor.value = o[key];
-				}
-
-				return descriptor
-			}
-		}
-	};
-
-
-function Model(def, params) {
-	return isPlainObject(def) ? new ObjectModel(def, params) : new BasicModel(def)
-}
-
-Object.assign(Model.prototype, {
-	name: "Model",
-	assertions: [],
-
-	conventionForConstant: key => key.toUpperCase() === key,
-	conventionForPrivate: key => key[0] === "_",
-
-	toString(stack) {
-		return has(this, "name") ? this.name : formatDefinition(this.definition, stack) + formatAssertions(this.assertions)
-	},
-
-	as(name) {
-		define(this, "name", name);
-		return this
-	},
-
-	defaultTo(val) {
-		this.default = val;
-		return this
-	},
-
-	[_check](obj, path, errors, stack) {
-		checkDefinition(obj, this.definition, path, errors, stack);
-		checkAssertions(obj, this, path, errors);
-	},
-
-	test(obj, errorCollector) {
-		let model = this;
-		while (!has(model, "errorCollector")) {
-			model = getProto(model);
-		}
-
-		const initialErrorCollector = model.errorCollector;
-		let failed;
-
-		model.errorCollector = errors => {
-			failed = true;
-			if (errorCollector) errorCollector.call(this, errors);
-		};
-
-		new this(obj); // may trigger errorCollector
-
-		model.errorCollector = initialErrorCollector;
-		return !failed
-	},
-
-	errorCollector(errors) {
-		const e = new TypeError(errors.map(e => e.message).join("\n"));
-		e.stack = e.stack.replace(/\n.*object-model(.|\n)*object-model.*/, ""); // blackbox objectmodel in stacktrace
-		throw e
-	},
-
-	assert(assertion, description = format(assertion)) {
-		define(assertion, "description", description);
-		this.assertions = this.assertions.concat(assertion);
-		return this
-	}
-});
-
-
-function BasicModel(def) {
-	return initModel(def, BasicModel)
-}
-
-extend(BasicModel, Model, {
-	extend(...newParts) {
-		const child = extendModel(new BasicModel(extendDefinition(this.definition, newParts)), this);
-		for (let part of newParts) {
-			if (is(BasicModel, part)) child.assertions.push(...part.assertions);
-		}
-
-		return child
-	}
-});
-
-function ObjectModel(def) {
-	return initModel(def, ObjectModel, Object, initObjectModel, model => getTraps(model, def), true)
-}
-
-extend(ObjectModel, Model, {
-	defaultTo(obj) {
-		const def = this.definition;
-		for (let key in obj) {
-			if (has(def, key)) {
-				obj[key] = checkDefinition(obj[key], def[key], key, this.errors, [], true);
-			}
-		}
-		unstackErrors(this);
-		this.default = obj;
-		return this
-	},
-
-	toString(stack) {
-		return format(this.definition, stack)
-	},
-
-	extend(...newParts) {
-		const definition = { ...this.definition };
-		const proto = { ...this.prototype };
-		const defaults = { ...this.default };
-		const newAssertions = [];
-
-		for (let part of newParts) {
-			if (is(Model, part)) {
-				merge(definition, part.definition);
-				merge(defaults, part.default);
-				newAssertions.push(...part.assertions);
-			}
-			if (isFunction(part)) merge(proto, part.prototype);
-			if (isObject(part)) merge(definition, part);
-		}
-
-		const submodel = extendModel(new ObjectModel(definition), this, proto).defaultTo(defaults);
-		submodel.assertions = [...this.assertions, ...newAssertions];
-
-		if (getProto(this) !== ObjectModel.prototype) { // extended class
-			submodel.parentClass = this;
-		}
-
-		return submodel
-	},
-
-	[_check](obj, path, errors, stack, shouldCast) {
-		if (isObject(obj)) {
-			checkDefinition(obj[_original] || obj, this.definition, path, errors, stack, shouldCast);
-		}
-		else stackError(errors, this, obj, path);
-
-		checkAssertions(obj, this, path, errors);
-	}
-});
-
-const Any = proxify(BasicModel(), {
-	apply(target, ctx, [def]) {
-		const anyOf = Object.create(Any);
-		anyOf.definition = def;
-		return anyOf
-	}
-});
-Any.definition = Any;
-Any.toString = () => "Any";
-
-Any.remaining = function (def) { this.definition = def; };
-extend(Any.remaining, Any, {
-	toString() { return "..." + formatDefinition(this.definition) }
-});
+const
+	_check = Symbol(),
+	_checked = Symbol(), // used to skip validation at instanciation for perf
+	_original = Symbol(), // used to bypass proxy
+	CHECK_ONCE = Symbol(),
+
+	initModel = (def, constructor, parent, init, getTraps, useNew) => {
+		const model = function (val = model.default, mode) {
+			if (useNew && !is(model, this)) return new model(val)
+			if (init) val = init(val, model, this);
+
+			if (mode === _checked || check(model, val))
+				return getTraps && mode !== CHECK_ONCE ? proxify(val, getTraps(model)) : val
+		};
+
+		if (parent) extend(model, parent);
+		setProto(model, constructor.prototype);
+		model.constructor = constructor;
+		model.definition = def;
+		model.assertions = [...model.assertions];
+		define(model, "errors", []);
+		delete model.name;
+		return model
+	},
+
+	initObjectModel = (obj, model, _this) => {
+		if (is(model, obj)) return obj
+
+		if (!isObject(obj) && !isFunction(obj) && obj !== undefined) {
+			// short circuit validation if not receiving an object as expected
+			return obj
+		}
+
+		merge(_this, model.default);
+		if (model.parentClass) merge(obj, new model.parentClass(obj));
+		merge(_this, obj);
+		return _this
+	},
+
+	extendModel = (child, parent, newProps) => {
+		extend(child, parent, newProps);
+		child.assertions.push(...parent.assertions);
+		return child
+	},
+
+	stackError = (errors, expected, received, path, message) => {
+		errors.push({ expected, received, path, message });
+	},
+
+	unstackErrors = (model, collector = model.errorCollector) => {
+		const nbErrors = model.errors.length;
+		if (nbErrors > 0) {
+			const errors = model.errors.map(err => {
+				if (!err.message) {
+					err.message = "expecting " + (err.path ? err.path + " to be " : "") + formatDefinition(err.expected)
+						+ ", got " + (err.received != null ? bettertypeof(err.received) + " " : "") + format$1(err.received);
+				}
+				return err
+			});
+
+			model.errors.length = 0;
+			collector.call(model, errors); // throw all errors collected
+		}
+		return nbErrors
+	},
+
+	isModelInstance = i => i && getProto(i) && is(Model, getProto(i).constructor),
+
+	parseDefinition = (def) => {
+		if (isPlainObject(def)) {
+			def = {};
+			for (let key in def) { def[key] = parseDefinition(def[key]); }
+		}
+		else if (!Array.isArray(def)) return [def]
+		else if (def.length === 1) return [def[0], undefined, null]
+
+		return def
+	},
+
+	formatDefinition = (def, stack) => {
+		const parts = parseDefinition(def).map(d => format$1(d, stack));
+		return parts.length > 1 ? parts.join(" or ") : parts[0]
+	},
+
+	formatAssertions = fns => fns.length ? `(${fns.map(f => f.name || f.description || f)})` : "",
+
+	extendDefinition = (def, newParts = []) => {
+		if (newParts.length > 0) {
+			def = [].concat(def, ...[].concat(newParts))// clone to lose ref
+				.filter((value, index, self) => self.indexOf(value) === index); // remove duplicates
+		}
+
+		return def
+	},
+
+	check = (model, obj) => {
+		model[_check](obj, null, model.errors, [], true);
+		return !unstackErrors(model)
+	},
+
+	checkDefinition = (obj, def, path, errors, stack, shouldCast) => {
+		const indexFound = stack.indexOf(def);
+		if (indexFound !== -1 && stack.indexOf(def, indexFound + 1) !== -1)
+			return obj // if found twice in call stack, cycle detected, skip validation
+
+		if (Array.isArray(def) && def.length === 1 && obj != null) {
+			def = def[0]; // shorten validation path for optionals
+		}
+
+		if (is(Model, def)) {
+			if (shouldCast) obj = cast(obj, def);
+			def[_check](obj, path, errors, stack.concat(def));
+		}
+		else if (isPlainObject(def)) {
+			for (let key in def) {
+				const val = obj ? obj[key] : undefined;
+				checkDefinition(val, def[key], formatPath(path, key), errors, stack, shouldCast);
+			}
+		}
+		else {
+			const pdef = parseDefinition(def);
+			if (pdef.some(part => checkDefinitionPart(obj, part, path, stack))) {
+				return shouldCast ? cast(obj, def) : obj
+			}
+
+			stackError(errors, def, obj, path);
+		}
+
+		return obj
+	},
+
+	checkDefinitionPart = (obj, def, path, stack, shouldCast) => {
+		if (def === Any) return true
+		if (obj == null) return obj === def
+		if (isPlainObject(def) || is(Model, def)) { // object or model as part of union type
+			const errors = [];
+			checkDefinition(obj, def, path, errors, stack, shouldCast);
+			return !errors.length
+		}
+		if (is(RegExp, def)) return def.test(obj)
+		if (def === Number || def === Date) return obj.constructor === def && !isNaN(obj)
+		return obj === def
+			|| (isFunction(def) && is(def, obj))
+			|| obj.constructor === def
+	},
+
+	checkAssertions = (obj, model, path, errors = model.errors) => {
+		for (let assertion of model.assertions) {
+			let result;
+			try {
+				result = assertion.call(model, obj);
+			} catch (err) {
+				result = err;
+			}
+			if (result !== true) {
+				const onFail = isFunction(assertion.description) ? assertion.description : (assertionResult, value) =>
+					`assertion "${assertion.description}" returned ${format$1(assertionResult)} `
+					+ `for ${path ? path + " =" : "value"} ${format$1(value)}`;
+				stackError(errors, assertion, obj, path, onFail.call(model, result, obj, path));
+			}
+		}
+	},
+
+	format$1 = (obj, stack = []) => {
+		if (stack.length > 15 || stack.includes(obj)) return "..."
+		if (obj === null || obj === undefined) return String(obj)
+		if (isString(obj)) return `"${obj}"`
+		if (is(Model, obj)) return obj.toString(stack)
+
+		stack.unshift(obj);
+
+		if (isFunction(obj)) return obj.name || obj.toString()
+		if (is(Map, obj) || is(Set, obj)) return format$1([...obj])
+		if (Array.isArray(obj)) return `[${obj.map(item => format$1(item, stack)).join(", ")}]`
+		if (obj.toString && obj.toString !== ObjectProto.toString) return obj.toString()
+		if (isObject(obj)) {
+			const props = Object.keys(obj),
+				indent = "\t".repeat(stack.length);
+			return `{${props.map(
+				key => `\n${indent + key}: ${format$1(obj[key], [...stack])}`
+			).join(", ")} ${props.length ? `\n${indent.slice(1)}` : ""}}`
+		}
+
+		return String(obj)
+	},
+
+	formatPath = (path, key) => path ? path + "." + key : key,
+
+	controlMutation$1 = (model, def, path, o, key, privateAccess, applyMutation) => {
+		const newPath = formatPath(path, key),
+			isPrivate = model.conventionForPrivate(key),
+			isConstant = model.conventionForConstant(key),
+			isOwnProperty = has(o, key),
+			initialPropDescriptor = isOwnProperty && Object.getOwnPropertyDescriptor(o, key);
+
+		if (key in def && ((isPrivate && !privateAccess) || (isConstant && o[key] !== undefined)))
+			cannot(`modify ${isPrivate ? "private" : "constant"} property ${key}`, model);
+
+		applyMutation();
+		if (has(def, key)) checkDefinition(o[key], def[key], newPath, model.errors, []);
+		checkAssertions(o, model, newPath);
+
+		const nbErrors = model.errors.length;
+		if (nbErrors) {
+			if (isOwnProperty) Object.defineProperty(o, key, initialPropDescriptor);
+			else delete o[key]; // back to the initial property defined in prototype chain
+
+			unstackErrors(model);
+		}
+
+		return !nbErrors
+	},
+
+	cannot = (msg, model) => {
+		model.errors.push({ message: "cannot " + msg });
+	},
+
+	cast = (obj, defNode = []) => {
+		if (!obj || isPlainObject(defNode) || is(BasicModel, defNode) || isModelInstance(obj))
+			return obj // no value or not leaf or already a model instance
+
+		const def = parseDefinition(defNode),
+			suitableModels = [];
+
+		for (let part of def) {
+			if (is(Model, part) && !is(BasicModel, part) && part.test(obj))
+				suitableModels.push(part);
+		}
+
+		if (suitableModels.length === 1) {
+			// automatically cast to suitable model when explicit (autocasting)
+			return new suitableModels[0](obj, _checked)
+		}
+
+		if (suitableModels.length > 1)
+			console.warn(`Ambiguous model for value ${format$1(obj)}, could be ${suitableModels.join(" or ")}`);
+
+		return obj
+	},
+
+
+	getProp = (val, model, def, path, privateAccess) => {
+		if (!isPlainObject(def)) return cast(val, def)
+		return proxify(val, getTraps(model, def, path, privateAccess))
+	},
+
+	getTraps = (model, def, path, privateAccess) => {
+		const grantPrivateAccess = f => proxify(f, {
+			apply(fn, ctx, args) {
+				privateAccess = true;
+				const result = Reflect.apply(fn, ctx, args);
+				privateAccess = false;
+				return result
+			}
+		});
+
+		return {
+			get(o, key) {
+				if (key === _original) return o
+
+				if (!isString(key)) return Reflect.get(o, key)
+
+				const newPath = formatPath(path, key);
+				const inDef = has(def, key);
+				const defPart = def[key];
+
+				if (!privateAccess && inDef && model.conventionForPrivate(key)) {
+					cannot(`access to private property ${newPath}`, model);
+					unstackErrors(model);
+					return
+				}
+
+				let value = o[key];
+
+				if (inDef && value && has(o, key) && !isPlainObject(defPart) && !isModelInstance(value)) {
+					Reflect.set(o, key, value = cast(value, defPart)); // cast nested models
+				}
+
+				if (isFunction(value) && key !== "constructor" && !privateAccess) {
+					return grantPrivateAccess(value)
+				}
+
+				if (isPlainObject(defPart) && !value) {
+					o[key] = value = {}; // null-safe traversal
+				}
+
+				return getProp(value, model, defPart, newPath, privateAccess)
+			},
+
+			set(o, key, val) {
+				return controlMutation$1(model, def, path, o, key, privateAccess, () => Reflect.set(o, key, cast(val, def[key])))
+			},
+
+			deleteProperty(o, key) {
+				return controlMutation$1(model, def, path, o, key, privateAccess, () => Reflect.deleteProperty(o, key))
+			},
+
+			defineProperty(o, key, args) {
+				return controlMutation$1(model, def, path, o, key, privateAccess, () => Reflect.defineProperty(o, key, args))
+			},
+
+			has(o, key) {
+				return Reflect.has(o, key) && Reflect.has(def, key) && !model.conventionForPrivate(key)
+			},
+
+			ownKeys(o) {
+				return Reflect.ownKeys(o).filter(key => Reflect.has(def, key) && !model.conventionForPrivate(key))
+			},
+
+			getOwnPropertyDescriptor(o, key) {
+				let descriptor;
+				if (!model.conventionForPrivate(key)) {
+					descriptor = Object.getOwnPropertyDescriptor(def, key);
+					if (descriptor !== undefined) descriptor.value = o[key];
+				}
+
+				return descriptor
+			}
+		}
+	};
+
+
+function Model(def) {
+	return isPlainObject(def) ? new ObjectModel(def) : new BasicModel(def)
+}
+
+Object.assign(Model.prototype, {
+	name: "Model",
+	assertions: [],
+
+	conventionForConstant: key => key.toUpperCase() === key,
+	conventionForPrivate: key => key[0] === "_",
+
+	toString(stack) {
+		return has(this, "name") ? this.name : formatDefinition(this.definition, stack) + formatAssertions(this.assertions)
+	},
+
+	as(name) {
+		define(this, "name", name);
+		return this
+	},
+
+	defaultTo(val) {
+		this.default = val;
+		return this
+	},
+
+	[_check](obj, path, errors, stack) {
+		checkDefinition(obj, this.definition, path, errors, stack);
+		checkAssertions(obj, this, path, errors);
+	},
+
+	test(obj, errorCollector) {
+		let model = this;
+		while (!has(model, "errorCollector")) {
+			model = getProto(model);
+		}
+
+		const initialErrorCollector = model.errorCollector;
+		let failed;
+
+		model.errorCollector = errors => {
+			failed = true;
+			if (errorCollector) errorCollector.call(this, errors);
+		};
+
+		new this(obj); // may trigger errorCollector
+
+		model.errorCollector = initialErrorCollector;
+		return !failed
+	},
+
+	errorCollector(errors) {
+		const e = new TypeError(errors.map(e => e.message).join("\n"));
+		e.stack = e.stack.replace(/\n.*object-model(.|\n)*object-model.*/, ""); // blackbox objectmodel in stacktrace
+		throw e
+	},
+
+	assert(assertion, description = format$1(assertion)) {
+		define(assertion, "description", description);
+		this.assertions = this.assertions.concat(assertion);
+		return this
+	}
+});
+
+Model.CHECK_ONCE = CHECK_ONCE;
+
+function BasicModel(def) {
+	return initModel(def, BasicModel)
+}
+
+extend(BasicModel, Model, {
+	extend(...newParts) {
+		const child = extendModel(new BasicModel(extendDefinition(this.definition, newParts)), this);
+		for (let part of newParts) {
+			if (is(BasicModel, part)) child.assertions.push(...part.assertions);
+		}
+
+		return child
+	}
+});
+
+function ObjectModel(def) {
+	return initModel(def, ObjectModel, Object, initObjectModel, model => getTraps(model, def), true)
+}
+
+extend(ObjectModel, Model, {
+	defaultTo(obj) {
+		const def = this.definition;
+		for (let key in obj) {
+			if (has(def, key)) {
+				obj[key] = checkDefinition(obj[key], def[key], key, this.errors, [], true);
+			}
+		}
+		unstackErrors(this);
+		this.default = obj;
+		return this
+	},
+
+	toString(stack) {
+		return format$1(this.definition, stack)
+	},
+
+	extend(...newParts) {
+		const definition = { ...this.definition };
+		const proto = { ...this.prototype };
+		const defaults = { ...this.default };
+		const newAssertions = [];
+
+		for (let part of newParts) {
+			if (is(Model, part)) {
+				merge(definition, part.definition);
+				merge(defaults, part.default);
+				newAssertions.push(...part.assertions);
+			}
+			if (isFunction(part)) merge(proto, part.prototype);
+			if (isObject(part)) merge(definition, part);
+		}
+
+		const submodel = extendModel(new ObjectModel(definition), this, proto).defaultTo(defaults);
+		submodel.assertions = [...this.assertions, ...newAssertions];
+
+		if (getProto(this) !== ObjectModel.prototype) { // extended class
+			submodel.parentClass = this;
+		}
+
+		return submodel
+	},
+
+	[_check](obj, path, errors, stack, shouldCast) {
+		if (isObject(obj)) {
+			checkDefinition(obj[_original] || obj, this.definition, path, errors, stack, shouldCast);
+		}
+		else stackError(errors, this, obj, path);
+
+		checkAssertions(obj, this, path, errors);
+	}
+});
+
+const Any = proxify(BasicModel(), {
+	apply(target, ctx, [def]) {
+		const anyOf = Object.create(Any);
+		anyOf.definition = def;
+		return anyOf
+	}
+});
+Any.definition = Any;
+Any.toString = () => "Any";
+
+Any.remaining = function (def) { this.definition = def; };
+extend(Any.remaining, Any, {
+	toString() { return "..." + formatDefinition(this.definition) }
+});
 Any[Symbol.iterator] = function* () { yield new Any.remaining(this.definition); };
 
 const initListModel = (base, constructor, def, init, clone, mutators, otherTraps) => {
@@ -578,11 +581,11 @@ function ArrayModel(initialDefinition) {
 		},
 		{
 			set(arr, key, val) {
-				return controlMutation$1(model, arr, key, val, (a, v) => a[key] = v, true)
+				return controlMutation(model, arr, key, val, (a, v) => a[key] = v, true)
 			},
 
 			deleteProperty(arr, key) {
-				return controlMutation$1(model, arr, key, undefined, a => delete a[key])
+				return controlMutation(model, arr, key, undefined, a => delete a[key])
 			}
 		}
 	);
@@ -608,7 +611,7 @@ extend(ArrayModel, Model, {
 	}
 });
 
-const controlMutation$1 = (model, array, key, value, applyMutation, canBeExtended) => {
+const controlMutation = (model, array, key, value, applyMutation, canBeExtended) => {
 	const path = `Array[${key}]`;
 	const isInDef = (+key >= 0 && (canBeExtended || key in array));
 	if (isInDef) value = checkDefinition(value, model.definition, path, model.errors, [], true);
@@ -685,7 +688,7 @@ extend(MapModel, Model, {
 			path = path || "Map";
 			for (let [key, value] of map) {
 				checkDefinition(key, this.definition.key, `${path} key`, errors, stack);
-				checkDefinition(value, this.definition.value, `${path}[${format(key)}]`, errors, stack);
+				checkDefinition(value, this.definition.value, `${path}[${format$1(key)}]`, errors, stack);
 			}
 		} else stackError(errors, this, map, path);
 
@@ -792,7 +795,7 @@ const getModel = (instance) => {
 
 const span = (style, ...children) => ["span", { style }, ...children];
 
-const format$1 = (x, config = {}) => {
+const format = (x, config = {}) => {
 	if (x === null || x === undefined)
 		return span(styles.null, "" + x);
 
@@ -806,7 +809,7 @@ const format$1 = (x, config = {}) => {
 		return span(styles.string, `"${x}"`);
 
 	if (Array.isArray(x) && config.isModelDefinition) {
-		return span("", ...x.flatMap(part => [format$1(part, config), " or "]).slice(0, -1))
+		return span("", ...x.flatMap(part => [format(part, config), " or "]).slice(0, -1))
 	}
 
 	if (isPlainObject(x))
@@ -821,7 +824,7 @@ const format$1 = (x, config = {}) => {
 const formatObject = (o, model, config) => span("",
 	"{",
 	["ol", { style: styles.list }, ...Object.keys(o).map(prop =>
-		["li", { style: styles.listItem }, span(styles.property, prop), ": ", format$1(o[prop], config)])
+		["li", { style: styles.listItem }, span(styles.property, prop), ": ", format(o[prop], config)])
 	],
 	"}"
 );
@@ -833,13 +836,13 @@ const formatModel = model => {
 		formatList = (list, map) => list.flatMap(e => [map(e), ", "]).slice(0, -1);
 	let parts = [];
 
-	if (is(BasicModel, model)) parts = [format$1(def, cfg)];
-	if (is(ArrayModel, model)) parts = ["Array of ", format$1(def, cfg)];
-	if (is(SetModel, model)) parts = ["Set of ", format$1(def, cfg)];
-	if (is(MapModel, model)) parts = ["Map of ", format$1(def.key, cfg), " : ", format$1(def.value, cfg)];
+	if (is(BasicModel, model)) parts = [format(def, cfg)];
+	if (is(ArrayModel, model)) parts = ["Array of ", format(def, cfg)];
+	if (is(SetModel, model)) parts = ["Set of ", format(def, cfg)];
+	if (is(MapModel, model)) parts = ["Map of ", format(def.key, cfg), " : ", format(def.value, cfg)];
 	if (is(FunctionModel, model)) {
-		parts = ["Function(", ...formatList(def.arguments, arg => format$1(arg, cfg)), ")"];
-		if ("return" in def) parts.push(" => ", format$1(def.return, cfg));
+		parts = ["Function(", ...formatList(def.arguments, arg => format(arg, cfg)), ")"];
+		if ("return" in def) parts.push(" => ", format(def.return, cfg));
 	}
 
 	if (model.assertions.length > 0) {
@@ -855,7 +858,7 @@ const ModelFormatter = {
 			return span(styles.model, "Any")
 
 		if (is(Any.remaining, x))
-			return span(styles.model, "...", format$1(x.definition, { isModelDefinition: true }))
+			return span(styles.model, "...", format(x.definition, { isModelDefinition: true }))
 
 		if (is(ObjectModel, x))
 			return span(styles.model, x.name)
@@ -865,7 +868,7 @@ const ModelFormatter = {
 		}
 
 		if (config.isModelDefinition && isPlainObject(x))
-			return format$1(x, config)
+			return format(x, config)
 
 		return null;
 	},
@@ -888,8 +891,8 @@ const ModelFormatter = {
 				}
 
 				return ["li", { style: styles.listItem },
-					span(style, prop), ": ", format$1(model.definition[prop], { isModelDefinition: true }),
-					hasDefault ? span(styles.proto, " = ", format$1(model.default[prop])) : ""
+					span(style, prop), ": ", format(model.definition[prop], { isModelDefinition: true }),
+					hasDefault ? span(styles.proto, " = ", format(model.default[prop])) : ""
 				]
 			})],
 			"}"
@@ -900,7 +903,7 @@ const ModelFormatter = {
 const ModelInstanceFormatter = {
 	header(x, config = {}) {
 		if (config.isInstanceProperty && isPlainObject(x)) {
-			return format$1(x, config)
+			return format(x, config)
 		}
 
 		const model = getModel(x);
@@ -937,7 +940,7 @@ const ModelInstanceFormatter = {
 					}
 
 					return ["li", { style: styles.listItem },
-						span(style, prop), ": ", format$1(o[prop], { isInstanceProperty: true })
+						span(style, prop), ": ", format(o[prop], { isInstanceProperty: true })
 					]
 				}),
 				["li", { style: styles.listItem },