|
Module Simantics/Layer0This module is undocumented. This is a list of its definitions. clusterValidator :: Resource -> <ReadGraph> [Resource] Reports an issue if the cluster of the resource does not belong to a cluster set, or belongs to a different one than its nearest owning cluster set. This check only runs in a development build; in an ordinary one it always reports nothing. Non-persistent, immutable and built-in resources are skipped. propertyValidator :: Resource -> <ReadGraph> [Resource] Reports an issue for each property of the resource whose value does not match the value type the property requires. relationValidator :: Resource -> <ReadGraph> [Resource] Checks the statements made about the resource: that each predicate really is a relation, that a functional relation is stated only once, and that the subject and the object are instances of the domain and the range of the relation. Reports one issue per violation. uriValidator :: Resource -> <ReadGraph> [Resource] Reports an issue if the resource is part of something that has a URI but does not have a name of its own, which leaves it without a URI. valueValidator :: Resource -> <ReadGraph> [Resource] Reports an issue if the resource has a value without being a literal, or is a literal without a value. |