package mopsa

  1. Overview
  2. Docs

Module Cpython.Alarms

Alarms

type MopsaLib.check +=
  1. | CHK_CPYTHON_CLASS_READY
type MopsaLib.alarm_kind +=
  1. | A_cpython_class_not_ready of MopsaLib.expr
val raise_cpython_class_not_ready : ?bottom:??? -> MopsaLib.expr -> Mopsa_utils.Core.Location.range -> ('a, 'b) MopsaLib.man -> 'a Mopsa_analyzer.MopsaLib.Flow.flow -> 'a Mopsa_analyzer.MopsaLib.Flow.flow