Module Trace_analysis

module Trace_analysis: sig .. end

type control_type = 
| FC_ESID of int
| FLATAC_SINTER_SID of int
| FLATAC_SINIT
exception UnknownESidDescriptor of string
exception Unreferenced_esid_in of Trace_types.esid * (Trace_types.esid, Trace_types.sid) Hashtbl.t
exception NoSubsystem of string * Trace_types.tr_subsystem_table
val type_statename_1 : string -> control_type
val type_statename_5 : string -> control_type
val type_statename_6 : string -> control_type
val type_statename : string -> control_type
val get_esid_of_statename : string -> Trace_types.esid option
val get_sid_statement_of_esid : Trace_types.esid ->
Trace_types.map_2_fcinfos ->
Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
val sid_anot_info_of_opt_esid : Trace_types.esid option ->
Trace_types.map_2_fcinfos ->
Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
val sid_infos_of_syscontrol : ?annot_less_callee:(string, 'a) Hashtbl.t option ->
Trace_types.tr_subsystem_table ->
Trace_types.sys_control ->
Trace_types.sid * (string * (Lexing.position * Lexing.position) option)