hphp/hack/test/decl/ifc_policied.php.exp

   1 [("\\Policy",
   2   (Shallow_decl_defs.Class
   3      { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
   4        sc_abstract = false; sc_is_xhp = false; sc_internal = false;
   5        sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
   6        sc_module = None; sc_name = ([3:7-13], "\\Policy"); sc_tparams = [];
   7        sc_where_constraints = []; sc_extends = []; sc_uses = [];
   8        sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
   9        sc_req_implements = []; sc_req_class = []; sc_implements = [];
  10        sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
  11        sc_props = []; sc_sprops = []; sc_constructor = None;
  12        sc_static_methods = []; sc_methods = []; sc_user_attributes = [];
  13        sc_enum_type = None; sc_docs_url = None }));
  14   ("\\C",
  15    (Shallow_decl_defs.Class
  16       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  17         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
  18         sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
  19         sc_module = None; sc_name = ([5:7-8], "\\C"); sc_tparams = [];
  20         sc_where_constraints = []; sc_extends = []; sc_uses = [];
  21         sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
  22         sc_req_implements = []; sc_req_class = []; sc_implements = [];
  23         sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
  24         sc_props = []; sc_sprops = []; sc_constructor = None;
  25         sc_static_methods = [];
  26         sc_methods =
  27         [{ Shallow_decl_defs.sm_name = ([7:19-20], "f");
  28            sm_type =
  29            (Rwitness_from_decl ([7:19-20]),
  30             (Tfun
  31                { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  32                  ft_implicit_params =
  33                  { capability = (CapDefaults [7:19-20]) };
  34                  ft_ret =
  35                  { et_enforced = Typing_defs_core.Unenforced;
  36                    et_type = (Rhint ([7:24-28]), (Tprim Tvoid)) };
  37                  ft_flags =
  38                  (make_ft_flags FSync ~return_disposable:false
  39                    ~returns_readonly:false ~support_dynamic_type:false
  40                    ~readonly_this:false ~is_memoized:false ~variadic:false);
  41                  ft_ifc_decl = FDPolicied {Test} }));
  42            sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
  43            sm_attributes = [] };
  44           { Shallow_decl_defs.sm_name = ([10:19-20], "g");
  45             sm_type =
  46             (Rwitness_from_decl ([10:19-20]),
  47              (Tfun
  48                 { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  49                   ft_implicit_params =
  50                   { capability = (CapDefaults [10:19-20]) };
  51                   ft_ret =
  52                   { et_enforced = Typing_defs_core.Unenforced;
  53                     et_type = (Rhint ([10:24-28]), (Tprim Tvoid)) };
  54                   ft_flags =
  55                   (make_ft_flags FSync ~return_disposable:false
  56                     ~returns_readonly:false ~support_dynamic_type:false
  57                     ~readonly_this:false ~is_memoized:false ~variadic:false);
  58                   ft_ifc_decl = FDPolicied {Public} }));
  59             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
  60             sm_attributes = [] };
  61           { Shallow_decl_defs.sm_name = ([13:19-27], "implicit");
  62             sm_type =
  63             (Rwitness_from_decl ([13:19-27]),
  64              (Tfun
  65                 { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  66                   ft_implicit_params =
  67                   { capability = (CapDefaults [13:19-27]) };
  68                   ft_ret =
  69                   { et_enforced = Typing_defs_core.Unenforced;
  70                     et_type = (Rhint ([13:31-35]), (Tprim Tvoid)) };
  71                   ft_flags =
  72                   (make_ft_flags FSync ~return_disposable:false
  73                     ~returns_readonly:false ~support_dynamic_type:false
  74                     ~readonly_this:false ~is_memoized:false ~variadic:false);
  75                   ft_ifc_decl = FDPolicied {} }));
  76             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
  77             sm_attributes = [] };
  78           { Shallow_decl_defs.sm_name = ([16:19-29], "inferflows");
  79             sm_type =
  80             (Rwitness_from_decl ([16:19-29]),
  81              (Tfun
  82                 { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  83                   ft_implicit_params =
  84                   { capability = (CapDefaults [16:19-29]) };
  85                   ft_ret =
  86                   { et_enforced = Typing_defs_core.Unenforced;
  87                     et_type = (Rhint ([16:33-37]), (Tprim Tvoid)) };
  88                   ft_flags =
  89                   (make_ft_flags FSync ~return_disposable:false
  90                     ~returns_readonly:false ~support_dynamic_type:false
  91                     ~readonly_this:false ~is_memoized:false ~variadic:false);
  92                   ft_ifc_decl = FDInferFlows }));
  93             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
  94             sm_attributes = [] };
  95           { Shallow_decl_defs.sm_name = ([19:19-28], "classname");
  96             sm_type =
  97             (Rwitness_from_decl ([19:19-28]),
  98              (Tfun
  99                 { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 100                   ft_implicit_params =
 101                   { capability = (CapDefaults [19:19-28]) };
 102                   ft_ret =
 103                   { et_enforced = Typing_defs_core.Unenforced;
 104                     et_type = (Rhint ([19:32-36]), (Tprim Tvoid)) };
 105                   ft_flags =
 106                   (make_ft_flags FSync ~return_disposable:false
 107                     ~returns_readonly:false ~support_dynamic_type:false
 108                     ~readonly_this:false ~is_memoized:false ~variadic:false);
 109                   ft_ifc_decl = FDPolicied {\Policy} }));
 110             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
 111             sm_attributes = [] };
 112           { Shallow_decl_defs.sm_name = ([22:19-27], "defaults");
 113             sm_type =
 114             (Rwitness_from_decl ([22:19-27]),
 115              (Tfun
 116                 { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 117                   ft_implicit_params =
 118                   { capability = (CapDefaults [22:19-27]) };
 119                   ft_ret =
 120                   { et_enforced = Typing_defs_core.Unenforced;
 121                     et_type = (Rhint ([22:31-35]), (Tprim Tvoid)) };
 122                   ft_flags =
 123                   (make_ft_flags FSync ~return_disposable:false
 124                     ~returns_readonly:false ~support_dynamic_type:false
 125                     ~readonly_this:false ~is_memoized:false ~variadic:false);
 126                   ft_ifc_decl = FDPolicied {PUBLIC} }));
 127             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
 128             sm_attributes = [] };
 129           { Shallow_decl_defs.sm_name = ([24:19-28], "with_args");
 130             sm_type =
 131             (Rwitness_from_decl ([24:19-28]),
 132              (Tfun
 133                 { ft_tparams = []; ft_where_constraints = [];
 134                   ft_params =
 135                   [{ fp_pos = [25:22-24]; fp_name = (Some "$x");
 136                      fp_type =
 137                      { et_enforced = Typing_defs_core.Unenforced;
 138                        et_type =
 139                        (Rhint ([25:20-21]),
 140                         (Tapply (([25:20-21], "\\C"), [])))
 141                        };
 142                      fp_flags =
 143                      (make_fp_flags ~accept_disposable:false
 144                        ~has_default:false ~mode:Typing_defs_core.FPnormal
 145                        ~ifc_external:true ~ifc_can_call:false
 146                        ~readonly:false);
 147                       };
 148                     { fp_pos = [26:38-40]; fp_name = (Some "$f");
 149                       fp_type =
 150                       { et_enforced = Typing_defs_core.Unenforced;
 151                         et_type =
 152                         (Rhint ([26:19-37]),
 153                          (Tfun
 154                             { ft_tparams = []; ft_where_constraints = [];
 155                               ft_params = [];
 156                               ft_implicit_params =
 157                               { capability = (CapDefaults [26:19-37]) };
 158                               ft_ret =
 159                               { et_enforced = Typing_defs_core.Unenforced;
 160                                 et_type = (Rhint ([26:32-36]), (Tprim Tvoid))
 161                                 };
 162                               ft_flags =
 163                               (make_ft_flags FSync ~return_disposable:false
 164                                 ~returns_readonly:false
 165                                 ~support_dynamic_type:false
 166                                 ~readonly_this:false ~is_memoized:false
 167                                 ~variadic:false);
 168                               ft_ifc_decl = FDPolicied {PUBLIC} }))
 169                         };
 170                       fp_flags =
 171                       (make_fp_flags ~accept_disposable:false
 172                         ~has_default:false ~mode:Typing_defs_core.FPnormal
 173                         ~ifc_external:false ~ifc_can_call:true
 174                         ~readonly:false);
 175                        }
 176                     ];
 177                   ft_implicit_params =
 178                   { capability = (CapDefaults [24:19-28]) };
 179                   ft_ret =
 180                   { et_enforced = Typing_defs_core.Unenforced;
 181                     et_type = (Rhint ([27:6-10]), (Tprim Tvoid)) };
 182                   ft_flags =
 183                   (make_ft_flags FSync ~return_disposable:false
 184                     ~returns_readonly:false ~support_dynamic_type:false
 185                     ~readonly_this:false ~is_memoized:false ~variadic:false);
 186                   ft_ifc_decl = FDPolicied {PUBLIC} }));
 187             sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
 188             sm_attributes = [] }
 189           ];
 190         sc_user_attributes = []; sc_enum_type = None; sc_docs_url = None }));
 191   ("\\inferflows",
 192    (Shallow_decl_defs.Fun
 193       { Typing_defs.fe_deprecated = None; fe_module = None;
 194         fe_internal = false;
 195         fe_type =
 196         (Rwitness_from_decl ([31:10-20]),
 197          (Tfun
 198             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 199               ft_implicit_params = { capability = (CapDefaults [31:10-20]) };
 200               ft_ret =
 201               { et_enforced = Typing_defs_core.Unenforced;
 202                 et_type = (Rhint ([31:24-28]), (Tprim Tvoid)) };
 203               ft_flags =
 204               (make_ft_flags FSync ~return_disposable:false
 205                 ~returns_readonly:false ~support_dynamic_type:false
 206                 ~readonly_this:false ~is_memoized:false ~variadic:false);
 207               ft_ifc_decl = FDInferFlows }));
 208         fe_pos = [31:10-20]; fe_php_std_lib = false;
 209         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }))
 210   ]