Skip to content
Snippets Groups Projects
Select Git revision
  • b796f33831a60e95cc0d1d7d79785367a0155d65
  • master default
  • include-tests
  • remove-yaml-quotes
  • configurable-ci-setup-lookup-path
  • dev-image-test-bak
  • dev-images
  • tmp/deploy-image-build
  • fast-ci
  • modular-templates
10 results

asciidoctor_syntax_check.bash

Blame
  • Forked from tecnalia_robotics-public / templates
    Source project has a limited visibility.
    handlers.py 830 B
    import datetime
    from z3 import sat, unsat
    from .doml_mc import ModelChecker
    
    
    def make_error(user_msg, debug_msg=None):
        result = {"message": user_msg, "timestamp": datetime.datetime.now()}
        if debug_msg is not None:
            result["debug_message"] = debug_msg
        return result
    
    
    def post(body, requirement=None):
        doml_xmi = body
        try:
            dmc = ModelChecker(doml_xmi)
            result, msg = dmc.check_common_requirements()
    
            if result == sat:
                return {"result": "sat"}
            elif result == unsat:
                return {"result": "unsat",
                        "description": msg}
            else:
                return {"result": "dontknow",
                        "description": msg}
    
        except Exception as e:
            return make_error("Supplied with malformed DOML XMI model.", debug_msg=str(e)), 400