hphp/hack/src/shape_analysis/shape_analysis.mli

   1 (*
   2  * Copyright (c) Facebook, Inc. and its affiliates.
   3  *
   4  * This source code is licensed under the MIT license found in the
   5  * LICENSE file in the "hack" directory of this source tree.
   6  *
   7  *)
   8
   9 (** A program analysis to find shape like dicts and the static keys used in
  10     these dicts. *)
  11
  12 open Shape_analysis_types
  13
  14 exception Shape_analysis_exn of string
  15
  16 val is_shape_like_dict : shape_result -> bool
  17
  18 val simplify : Typing_env_types.env -> constraint_ list -> shape_result list
  19
  20 val callable :
  21   A.id_ ->
  22   Tast_env.t ->
  23   Tast.fun_param list ->
  24   return:Tast.type_hint ->
  25   Tast.func_body ->
  26   decorated_constraints
  27
  28 val do_ : options -> Provider_context.t -> Tast.program -> unit
  29
  30 val show_shape_result : Typing_env_types.env -> shape_result -> string