package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type attribute_v =
  1. | Name of string * (string * attribute_v) list option
  2. | Bool of bool * (string * attribute_v) list option
  3. | Int of int
  4. | Float of float
  5. | String of string
  6. | Auto
and param_t = string * attribute_v
val show_attribute_v : attribute_v -> Ppx_deriving_runtime.string
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