package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lang.Alarms

type MopsaLib.check +=
  1. | CHK_PY_UNCAUGHT_EXCEPTION
  2. | CHK_PY_STOPITERATION
  3. | CHK_PY_ATTRIBUTEERROR
  4. | CHK_PY_ASSERTIONERROR
  5. | CHK_PY_INDEXERROR
  6. | CHK_PY_KEYERROR
  7. | CHK_PY_LOOKUPERROR
  8. | CHK_PY_MODULENOTFOUNDERROR
  9. | CHK_PY_NAMEERROR
  10. | CHK_PY_OVERFLOWERROR
  11. | CHK_PY_SYSTEMERROR
  12. | CHK_PY_TYPEERROR
  13. | CHK_PY_UNBOUNDLOCALERROR
  14. | CHK_PY_VALUEERROR
  15. | CHK_PY_ZERODIVISIONERROR
type MopsaLib.alarm_kind +=
  1. | A_py_uncaught_exception of MopsaLib.expr * string * Universal.Strings.Powerset.StringPower.t
val py_name_to_check : string -> MopsaLib.check
val py_check_to_name : MopsaLib.check -> string
type py_exc_kind =
  1. | Py_exc_unprecise
  2. | Py_exc_with_callstack of MopsaLib.range * MopsaLib.callstack

Flow token for exceptions

val mk_py_unprecise_exception : MopsaLib.expr -> string -> MopsaLib.token
val pp_py_exc_kind : Format.formatter -> py_exc_kind -> unit
type MopsaLib.check +=
  1. | CHK_PY_INVALID_TYPE_ANNOTATION
type MopsaLib.alarm_kind +=
  1. | A_py_invalid_type_annotation of MopsaLib.expr * MopsaLib.expr
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct