package mopsa

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

Source file constant.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
(****************************************************************************)
(*                                                                          *)
(* 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/>.    *)
(*                                                                          *)
(****************************************************************************)

(** Constants *)

open Typ
open Mopsa_utils

type constant = ..

type constant +=
  | C_top of typ
  | C_bool of bool

let constant_compare_chain = TypeExt.mk_compare_chain (fun c1 c2 ->
    match c1, c2 with
    | C_top t1, C_top t2 -> compare_typ t1 t2
    | C_bool b1, C_bool b2 -> Bool.compare b1 b2
    | _ -> compare c1 c2
  )

let constant_pp_chain = TypeExt.mk_print_chain (fun fmt c ->
    match c with
    | C_top T_any -> Format.fprintf fmt "⊤"
    | C_top t -> Format.fprintf fmt "⊤:%a" pp_typ t
    | C_bool(b) -> Format.fprintf fmt "%a" Format.pp_print_bool b
    | _ -> Exceptions.panic "constant_pp_chain: unknown constant"
  )

let register_constant (info: constant TypeExt.info) : unit =
  TypeExt.register info constant_compare_chain constant_pp_chain

let register_constant_compare cmp = TypeExt.register_compare cmp constant_compare_chain

let register_constant_pp pp = TypeExt.register_print pp constant_pp_chain

let compare_constant o1 o2 = TypeExt.compare constant_compare_chain o1 o2

let pp_constant fmt constant = TypeExt.print constant_pp_chain fmt constant
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