Module Absint.Exe_env
type file_datatype t= private{proc_map : file_data IR.Procname.Hash.t;map from procedure name to file data
file_map : file_data IBase.SourceFile.Hash.t;map from source files to file data
}
val mk : unit -> tCreate a new cache
val get_tenv : t -> IR.Procname.t -> IR.Tenv.treturn the type environment associated with the procedure
val load_java_global_tenv : t -> IR.Tenv.tLoad Java type environment (if not done yet), and return it. Useful for accessing type info not related to any concrete function.
val get_integer_type_widths : t -> IR.Procname.t -> IR.Typ.IntegerWidths.treturn the integer type widths associated with the procedure