Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: implement RDFProxy-compliance checkers for models #222

Open
wants to merge 6 commits into
base: main
Choose a base branch
from

Conversation

lu-pl
Copy link
Contributor

@lu-pl lu-pl commented Feb 14, 2025

Closes #108.
Concerns #223.

@lu-pl lu-pl marked this pull request as draft February 14, 2025 15:41
@lu-pl lu-pl force-pushed the lupl/model-checking branch 4 times, most recently from 8463b45 to bd9dbab Compare February 17, 2025 18:46
The change introduces a separate rdfproxy.utils._typing
module. Type-related functions from rdfproxy.utils.mapper_utils are
moved to this module, also two new type-checking functions are added.

Given the importance of type-checking model fields in RDFProxy, the
functions of this module should be extensively unit-tested.

Concerns #223.
@lu-pl lu-pl force-pushed the lupl/model-checking branch 3 times, most recently from ad37c41 to 8b881a1 Compare February 19, 2025 09:48
model_traverse aims to be a generic model traversal generator function. Given a
model, the function traverses all nested models and applies a function
to every model. This is used e.g. in the model checker to recursively
traverse all nested models and apply sanity checking functions, but
potentially has other uses with RDFProxy as well.
The change introduces an extensible model checker compose pipeline for
running RFDProxy-compliance checks on a model and all of its submodels.

For now, only the group_by model config is checked, the checker for
the model_bool config option is merely a stub.
This is because the model feature will undergo breaking changes soon
and is currently also conceptually in flux. See #176 and #219.
@lu-pl lu-pl force-pushed the lupl/model-checking branch from 8b881a1 to 70d9c13 Compare February 19, 2025 09:52
@lu-pl lu-pl marked this pull request as ready for review February 19, 2025 09:53
@lu-pl lu-pl requested a review from kevinstadler February 19, 2025 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Model Sanity Checking
1 participant