package mopsa

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

Source file exceptions.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
(****************************************************************************)
(*                                                                          *)
(* This file is part of MOPSA, a Modular Open Platform for Static Analysis. *)
(*                                                                          *)
(* Copyright (C) 2017-2019 The MOPSA Project.                               *)
(*                                                                          *)
(* This program is free software: you can redistribute it and/or modify     *)
(* it under the terms of the GNU Lesser General Public License as published *)
(* by the Free Software Foundation, either version 3 of the License, or     *)
(* (at your option) any later version.                                      *)
(*                                                                          *)
(* This program is distributed in the hope that it will be useful,          *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of           *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the            *)
(* GNU Lesser General Public License for more details.                      *)
(*                                                                          *)
(* You should have received a copy of the GNU Lesser General Public License *)
(* along with this program.  If not, see <http://www.gnu.org/licenses/>.    *)
(*                                                                          *)
(****************************************************************************)

(** Common exceptions and warnings *)



(** {2 Warnings} *)
(** =-=-=-=-=-=- *)

let warn = Debug.warn

let warn_at = Debug.warn_at


(** {2 Panic exceptions} *)
(** =-=-=-=-=-=-=-=-=-=- *)

let pp fmt = Debug.debug ~channel:"panic" fmt

let () = Debug.add_channel "panic"

let pp_at range fmt =
  Format.kasprintf (fun str ->
      pp "%a: %s" Location.pp_range range str
    ) fmt


exception Panic of string (** message *) * string (** OCaml line of code *)
exception PanicAtLocation of Location.range * string (** message *) * string (** OCaml line of code *)
exception PanicAtFrame of Location.range * Callstack.callstack * string (** message *) * string (** OCaml line of code *)

(** Raise a panic exception using a formatted string *)
let panic ?(loc="") fmt =
  Format.kasprintf (fun str ->
      raise (Panic (str, loc))
    ) fmt

let panic_at ?(loc="") range fmt =
  Format.kasprintf (fun str ->
      raise (PanicAtLocation (range, str, loc))
    ) fmt

let panic_at_frame ?(loc="") range cs fmt =
  Format.kasprintf (fun str ->
      raise (PanicAtFrame (range, cs, str, loc))
    ) fmt


(** {2 Syntax-related exceptions *)
(** =-=-=-=-=-=-=-=-=-=-=-=-=-=- *)

exception SyntaxError of Location.range * string
exception SyntaxErrorList of (Location.range * string) list

exception UnnamedSyntaxError of Location.range
exception UnnamedSyntaxErrorList of Location.range list

let syntax_error range fmt =
    Format.kasprintf (fun str ->
      raise (SyntaxError (range, str))
    ) fmt

let syntax_errors l =
  raise (SyntaxErrorList l)

let unnamed_syntax_error range =
    raise (UnnamedSyntaxError range)

let unnamed_syntax_errors ranges =
    raise (UnnamedSyntaxErrorList ranges)
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