Enable checking that a child datatype is always a subset of the parent datatype, and that format strings don't violate their datatype conditions (low priority)

ontodev / valve.rs

A lightweight validation engine written in rust.

BSD 3-Clause "New" or "Revised" License

4 stars 0 forks source link

Enable checking that a child datatype is always a subset of the parent datatype, and that format strings don't violate their datatype conditions (low priority) #92

Closed lmcmicu closed 3 months ago

lmcmicu commented 5 months ago

It would be good if we could ensure that a child datatype is always a subset of the parent datatype somehow. One possible solution is to generate a few random strings and check that anything accepted by the child is also accepted by the parent.

We should also be able to ensure that format strings don't violate their datatype conditions.

Note that in both cases, these checks should be initiated by the user rather than run as part of normal valve operation.