Up – Package index » mopsa » Library mopsa.mopsa_analyzer » Mopsa_analyzer » Languages » Stubs » Alarms

Module `Stubs.Alarms`

Stub alarms

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library parsing
  - Parsing
- Library passes
  - Passes
- Sources

type MopsaLib.check +=

| CHK_STUB_CONDITION

type MopsaLib.alarm_kind +=

| A_stub_invalid_requirement of MopsaLib.expr
(*
condition
*)
| A_stub_raise of string
(*
message
*)

val raise_stub_invalid_requirement : 
  ?bottom:bool ->
  MopsaLib.expr ->
  Mopsa_utils.Core.Location.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

val raise_stub_alarm : 
  ?bottom:bool ->
  string ->
  Mopsa_utils.Core.Location.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

val safe_stub_condition : 
  Mopsa_utils.Core.Location.range ->
  'a ->
  'b Mopsa_analyzer.MopsaLib.Flow.flow ->
  'b Mopsa_analyzer.MopsaLib.Flow.flow