From 9acdedeef886bf3c95bc95cf9f4688e8c743b5b1 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Wed, 2 Dec 2020 02:24:06 -0800 Subject: [PATCH] [exe_env] abstract type Summary: There are no users of this, and it stands in the way of refactoring. Reviewed By: ezgicicek Differential Revision: D25241940 fbshipit-source-id: 5e653341a --- infer/src/absint/exe_env.mli | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/infer/src/absint/exe_env.mli b/infer/src/absint/exe_env.mli index b3e386d43..95f223d54 100644 --- a/infer/src/absint/exe_env.mli +++ b/infer/src/absint/exe_env.mli @@ -8,14 +8,10 @@ open! IStd -(** Execution environments: basically a cache of where procedures are and what is their type - environment *) +(** Execution environments are a means to get a function's type environment and integer widths and + cache those *) -type file_data - -type t = private - { proc_map: file_data Procname.Hash.t (** map from procedure name to file data *) - ; file_map: file_data SourceFile.Hash.t (** map from source files to file data *) } +type t val mk : unit -> t (** Create a new cache *)