Module Stubs.AlarmsSource

Stub alarms

Sourcetype Mopsa.check +=
  1. | CHK_STUB_CONDITION
Sourcetype Mopsa.alarm_kind +=
  1. | A_stub_invalid_requirement of Mopsa.expr
    (*

    condition

    *)
  2. | A_stub_raise of string
    (*

    message

    *)
Sourceval raise_stub_invalid_requirement : ?bottom:bool -> Mopsa.expr -> Mopsa_utils.Location.range -> ('a, 'b) Mopsa.man -> 'a Mopsa.Flow.flow -> 'a Mopsa.Flow.flow
Sourceval raise_stub_alarm : ?bottom:bool -> string -> Mopsa_utils.Location.range -> ('a, 'b) Mopsa.man -> 'a Mopsa.Flow.flow -> 'a Mopsa.Flow.flow
Sourceval safe_stub_condition : Mopsa_utils.Location.range -> 'a -> 'b Mopsa.Flow.flow -> 'b Mopsa.Flow.flow