Lang.Alarmstype MopsaLib.check += | CHK_PY_UNCAUGHT_EXCEPTION| CHK_PY_STOPITERATION| CHK_PY_ATTRIBUTEERROR| CHK_PY_ASSERTIONERROR| CHK_PY_INDEXERROR| CHK_PY_KEYERROR| CHK_PY_LOOKUPERROR| CHK_PY_MODULENOTFOUNDERROR| CHK_PY_NAMEERROR| CHK_PY_OVERFLOWERROR| CHK_PY_SYSTEMERROR| CHK_PY_TYPEERROR| CHK_PY_UNBOUNDLOCALERROR| CHK_PY_VALUEERROR| CHK_PY_ZERODIVISIONERRORtype MopsaLib.alarm_kind += | A_py_uncaught_exception of MopsaLib.expr
* string
* Universal.Strings.Powerset.StringPower.tval raise_py_uncaught_exception_alarm :
MopsaLib.expr ->
string ->
Universal.Strings.Powerset.StringPower.t ->
Mopsa_utils.Core.Location.range ->
'a Framework.Core.Lattice.lattice ->
'a Mopsa_analyzer.MopsaLib.Flow.flow ->
'a Mopsa_analyzer.MopsaLib.Flow.flowval py_name_to_check : string -> MopsaLib.checkval py_check_to_name : MopsaLib.check -> stringFlow token for exceptions
type MopsaLib.token += | T_py_exception of MopsaLib.expr
* string
* Universal.Strings.Powerset.StringPower.t
* py_exc_kindval mk_py_unprecise_exception : MopsaLib.expr -> string -> MopsaLib.tokenval mk_py_exception :
MopsaLib.expr ->
string ->
Universal.Strings.Powerset.StringPower.t ->
cs:MopsaLib.callstack ->
MopsaLib.range ->
MopsaLib.tokenval pp_py_exc_kind : Format.formatter -> py_exc_kind -> unit