Module `OilUtil`

type attribute_v =

| Name of string * (string * attribute_v) list option
| Bool of bool * (string * attribute_v) list option
| Int of int
| Float of float
| String of string
| Auto

and param_t = string * attribute_v

val pp_attribute_v : 
  Ppx_deriving_runtime.Format.formatter ->
  attribute_v ->
  Ppx_deriving_runtime.unit

val show_attribute_v : attribute_v -> Ppx_deriving_runtime.string

val pp_param_t : 
  Ppx_deriving_runtime.Format.formatter ->
  param_t ->
  Ppx_deriving_runtime.unit

val show_param_t : param_t -> Ppx_deriving_runtime.string

type object_t = string * string * param_t list

type res_t = string * int * Cil.exp

type event_t = string * bool

type task_t = bool * int * string list * string list * bool * bool * int

type isr_t = int * string list * int

type spinlock_t = string * string list * Cil.exp

val osek_renames : string ref

val osek_ids : string ref

val header : string

val osek_names : (string, string) Hashtbl.t

val osek_ISR_PRIORITY : string list ref

val osek_API_funs : string list

val startuphook : bool ref

val shutdownhook : bool ref

val errorhook : bool ref

val pretaskhook : bool ref

val posttaskhook : bool ref

val bcc1 : bool ref

val bcc2 : bool ref

val ecc1 : bool ref

val ecc2 : bool ref

val use_res_scheduler : bool ref

val resources : (string, res_t) Hashtbl.t

val events : (string, event_t) Hashtbl.t

val tasks : (string, task_t) Hashtbl.t

val isrs : (string, isr_t) Hashtbl.t

val alarms : (string, bool * string list) Hashtbl.t

val spinlocks : (string, spinlock_t) Hashtbl.t

val spinlockids : (Cil.exp, string) Hashtbl.t

val resourceids : (Cil.exp, string) Hashtbl.t

val eventids : (Cil.exp, string) Hashtbl.t

val taskids : (Cil.exp, string) Hashtbl.t

val isrids : (Cil.exp, string) Hashtbl.t

val alarmids : (Cil.exp, string) Hashtbl.t

val starting_tasks : string list ref

val concurrent_tasks : string list ref

val warned : string list ref

val enclose_string : string -> string -> string -> string

val make_task : string -> string

val make_isr : string -> string

val trim_task : string -> string

val trim_isr : string -> string

val trim : string -> string

val pry : string -> int

val get_api_names : string -> string

val is_task : string -> bool

val is_task_res : string -> bool

val is_starting : string -> bool

val generate_header : unit -> unit

val finish_alarm_handling : unit -> unit

val compare_objs : (string * 'a * 'b) -> (string * 'c * 'd) -> int

val check_api_use : int -> string -> string -> unit

val get_lock : string -> Cil.exp

val get_spinlock : string -> Cil.exp

val make_lock : string -> Cil.exp

val make_spinlock : string -> Cil.exp

val find_name : string -> string

val check_res_decl : string -> unit

val check_event_decl : string -> unit

val check_task : 
  string ->
  ('a * int * string list * string list * 'b * 'c * 'd) ->
  unit

val check_isr : int -> int -> string -> (int * string list * int) -> unit

val check_osek : unit -> unit

val compute_ceiling_priority : string -> (string * int * Cil.exp) -> unit

val handle_attribute_os : (string * attribute_v) -> unit

val handle_attribute_task : 
  string ->
  (bool * int * string list * string list * 'a * bool * int) ->
  (string * attribute_v) ->
  bool * int * string list * string list * 'a * bool * int

val handle_attribute_isr : 
  string ->
  (int * string list * int) ->
  (string * attribute_v) ->
  int * string list * int

val handle_action_alarm : string -> (string * attribute_v) -> unit

val handle_event_alarm : string -> (string * attribute_v) -> unit

val handle_attribute_alarm : string -> (string * attribute_v) -> unit

val handle_attribute_resource : string -> (string * attribute_v) -> unit

val handle_attribute_event : string -> (string * 'a) -> unit

val add_to_table : (string * string * (string * attribute_v) list) -> unit

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/goblint.lib/OilUtil/index.html

Module `OilUtil`

package goblint

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/goblint.lib/OilUtil/index.html

Module OilUtil

dune-project
Dependency

Module `OilUtil`