package mopsa

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

Module Libmopsa.Domain

Domain identification

=====================

include sig ... end
val id : unit Mopsa_analyzer__Framework__Core__Id.id
val name : string
val debug : ('a, Format.formatter, unit, unit) format4 -> 'a
val checks : MopsaLib.check list
val is_rand_function : string -> bool
val extract_rand_type : string -> MopsaLib.typ
val is_range_function : string -> bool
val extract_range_type : string -> MopsaLib.typ

Printing of abstract values

*******************************

val exp_to_str : MopsaLib.expr -> string
val print_int_value : MopsaLib.expr -> ?display:string -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print the value of an integer expression

val print_float_value : MopsaLib.expr -> ?display:string -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print the value of a float expression

val print_pointer_value : MopsaLib.expr -> ?display:string -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print the value of a pointer expression

val print_array_values : MopsaLib.expr -> ?display:string -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print the values of an array

val print_record_values : MopsaLib.expr -> ?display:string -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print fields values of a record

val print_value : MopsaLib.expr -> ?display:string -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print the value of an expression

val print_values : MopsaLib.expr list -> ('a, 'b) MopsaLib.man -> Format.formatter -> 'a Core.Flow.flow -> unit

Print the values of a list of expressions

Transfer functions

val init : 'a -> 'b -> 'c -> 'd option
val exec : 'a -> 'b -> 'c -> 'd option
val eval : MopsaLib.expr -> ('a, 'b) MopsaLib.man -> 'a Core.Flow.flow -> 'a Framework.Core.Eval.eval option
val ask : 'a -> 'b -> 'c -> 'd option
val print_expr : 'a -> 'b -> 'c -> 'd -> unit
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