chc.cmdline.jsonresultutil module

chc.cmdline.jsonresultutil.api_assumption_to_json_result(a: ApiAssumption) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.cfgcontext_to_json_result(cctxt: CfgContext) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.contextnode_to_json_result(node: CContextNode) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.csource_to_json_result(csrc: CSrcFile) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.expcontext_to_json_result(ectxt: ExpContext) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.file_proofobligations_to_json_result(cfile: CFile) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.fn_api_to_json_result(fapi: CFunctionApi) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.fn_proofobligations_to_json_result(fn: CFunction) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.global_assumption_request_to_json_result(g: GlobalAssumption) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.jsondate() → Tuple[str, str]

chc.cmdline.jsonresultutil.jsonfail(msg: Optional[str]) → Dict[str, Any]

chc.cmdline.jsonresultutil.jsonfiledata(cfile: CFile) → Dict[str, str]

chc.cmdline.jsonresultutil.jsonfunctiondata(cfunction: CFunction) → Dict[str, str]

chc.cmdline.jsonresultutil.jsonok(schemaname: str, content: Dict[str, Any]) → Dict[str, Any]

chc.cmdline.jsonresultutil.postcondition_request_to_json_result(pcr: PostConditionRequest) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.ppo_to_json_result(po: CFunctionPO) → chc.jsoninterface.JSONResult.JSONResult

chc.cmdline.jsonresultutil.programcontext_to_json_result(pctxt: ProgramContext) → chc.jsoninterface.JSONResult.JSONResult