package mopsa

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

Module Interactive.BreakpointSource

Breakpoints for the interactive mode

Sourcetype breakpoint =
  1. | B_function of string
    (*

    function

    *)
  2. | B_line of string * int
    (*

    line

    *)
  3. | B_named of string
    (*

    Named breakpoint

    *)
  4. | B_alarm
    (*

    Break on new alarms

    *)

Breakpoint

Sourceval compare_breakpoint : breakpoint -> breakpoint -> int

Compare two breakpoints

Sourceval pp_breakpoint : Stdlib.Format.formatter -> breakpoint -> unit

Print a breakpoint

module BreakpointSet : sig ... end

Set of breakpoints

Sourceval pp_breakpoint_set : Stdlib.Format.formatter -> BreakpointSet.t -> unit

Print a set of breakpoints

Sourceexception Invalid_breakpoint_syntax

Exception raised when parsing an invalid breakpoint string

Sourceval parse_breakpoint : string -> string -> breakpoint

Parse a breakpoint string

Sourceval breakpoints : BreakpointSet.t Stdlib.ref

Set of active breakpoints

OCaml

Innovation. Community. Security.