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

   1 File root|module_enums.php--modules.php
   2 [("X",
   3   (Shallow_decl_defs.Module
   4      { Typing_defs.mdt_pos = [4:12-13]; mdt_exports = None;
   5        mdt_imports = None }));
   6   ("Y",
   7    (Shallow_decl_defs.Module
   8       { Typing_defs.mdt_pos = [5:12-13]; mdt_exports = None;
   9         mdt_imports = None }))
  10   ]
  11
  12 File root|module_enums.php--X.php
  13 [("\\X",
  14   (Shallow_decl_defs.Class
  15      { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  16        sc_abstract = false; sc_is_xhp = false; sc_internal = true;
  17        sc_has_xhp_keyword = false; sc_kind = Cenum;
  18        sc_module = (Some ([3:8-9], "X")); sc_name = ([5:15-16], "\\X");
  19        sc_tparams = []; sc_where_constraints = [];
  20        sc_extends =
  21        [(Rhint ([5:15-16]),
  22          (Tapply (([5:15-16], "\\HH\\BuiltinEnum"),
  23             [(Rhint ([5:15-16]), (Tapply (([5:15-16], "\\X"), [])))])))
  24          ];
  25        sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
  26        sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
  27        sc_implements = []; sc_support_dynamic_type = false;
  28        sc_consts =
  29        [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  30           scc_name = ([6:3-4], "A");
  31           scc_type = (Rwitness_from_decl ([6:7-8]), (Tprim Tint));
  32           scc_refs = [] };
  33          { Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  34            scc_name = ([7:3-4], "B");
  35            scc_type = (Rwitness_from_decl ([7:7-8]), (Tprim Tint));
  36            scc_refs = [] };
  37          { Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  38            scc_name = ([8:3-4], "C");
  39            scc_type = (Rwitness_from_decl ([8:7-8]), (Tprim Tint));
  40            scc_refs = [] }
  41          ];
  42        sc_typeconsts = []; sc_props = []; sc_sprops = [];
  43        sc_constructor = None; sc_static_methods = []; sc_methods = [];
  44        sc_user_attributes = [];
  45        sc_enum_type =
  46        (Some { Typing_defs.te_base = (Rhint ([5:18-21]), (Tprim Tint));
  47                te_constraint = None; te_includes = [] });
  48        sc_docs_url = None }));
  49   ("\\f1",
  50    (Shallow_decl_defs.Fun
  51       { Typing_defs.fe_deprecated = None; fe_module = (Some ([3:8-9], "X"));
  52         fe_internal = true;
  53         fe_type =
  54         (Rwitness_from_decl ([12:19-21]),
  55          (Tfun
  56             { ft_tparams = []; ft_where_constraints = [];
  57               ft_params =
  58               [{ fp_pos = [12:24-26]; fp_name = (Some "$x");
  59                  fp_type =
  60                  { et_enforced = Typing_defs_core.Unenforced;
  61                    et_type =
  62                    (Rhint ([12:22-23]), (Tapply (([12:22-23], "\\X"), []))) };
  63                  fp_flags =
  64                  (make_fp_flags ~accept_disposable:false ~has_default:false
  65                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
  66                    ~ifc_can_call:false ~readonly:false);
  67                   }
  68                 ];
  69               ft_implicit_params = { capability = (CapDefaults [12:19-21]) };
  70               ft_ret =
  71               { et_enforced = Typing_defs_core.Unenforced;
  72                 et_type = (Rhint ([12:29-33]), (Tprim Tvoid)) };
  73               ft_flags =
  74               (make_ft_flags FSync ~return_disposable:false
  75                 ~returns_readonly:false ~support_dynamic_type:false
  76                 ~readonly_this:false ~is_memoized:false ~variadic:false);
  77               ft_ifc_decl = FDPolicied {PUBLIC} }));
  78         fe_pos = [12:19-21]; fe_php_std_lib = false;
  79         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }));
  80   ("\\f2",
  81    (Shallow_decl_defs.Fun
  82       { Typing_defs.fe_deprecated = None; fe_module = (Some ([3:8-9], "X"));
  83         fe_internal = false;
  84         fe_type =
  85         (Rwitness_from_decl ([15:10-12]),
  86          (Tfun
  87             { ft_tparams = []; ft_where_constraints = [];
  88               ft_params =
  89               [{ fp_pos = [15:15-17]; fp_name = (Some "$x");
  90                  fp_type =
  91                  { et_enforced = Typing_defs_core.Unenforced;
  92                    et_type =
  93                    (Rhint ([15:13-14]), (Tapply (([15:13-14], "\\X"), []))) };
  94                  fp_flags =
  95                  (make_fp_flags ~accept_disposable:false ~has_default:false
  96                    ~mode:Typing_defs_core.FPnormal ~ifc_external:false
  97                    ~ifc_can_call:false ~readonly:false);
  98                   }
  99                 ];
 100               ft_implicit_params = { capability = (CapDefaults [15:10-12]) };
 101               ft_ret =
 102               { et_enforced = Typing_defs_core.Unenforced;
 103                 et_type = (Rhint ([15:20-24]), (Tprim Tvoid)) };
 104               ft_flags =
 105               (make_ft_flags FSync ~return_disposable:false
 106                 ~returns_readonly:false ~support_dynamic_type:false
 107                 ~readonly_this:false ~is_memoized:false ~variadic:false);
 108               ft_ifc_decl = FDPolicied {PUBLIC} }));
 109         fe_pos = [15:10-12]; fe_php_std_lib = false;
 110         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }));
 111   ("\\f5",
 112    (Shallow_decl_defs.Fun
 113       { Typing_defs.fe_deprecated = None; fe_module = (Some ([3:8-9], "X"));
 114         fe_internal = true;
 115         fe_type =
 116         (Rwitness_from_decl ([18:19-21]),
 117          (Tfun
 118             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 119               ft_implicit_params = { capability = (CapDefaults [18:19-21]) };
 120               ft_ret =
 121               { et_enforced = Typing_defs_core.Unenforced;
 122                 et_type = (Rhint ([18:25-29]), (Tprim Tvoid)) };
 123               ft_flags =
 124               (make_ft_flags FSync ~return_disposable:false
 125                 ~returns_readonly:false ~support_dynamic_type:false
 126                 ~readonly_this:false ~is_memoized:false ~variadic:false);
 127               ft_ifc_decl = FDPolicied {PUBLIC} }));
 128         fe_pos = [18:19-21]; fe_php_std_lib = false;
 129         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }));
 130   ("\\f6",
 131    (Shallow_decl_defs.Fun
 132       { Typing_defs.fe_deprecated = None; fe_module = (Some ([3:8-9], "X"));
 133         fe_internal = false;
 134         fe_type =
 135         (Rwitness_from_decl ([23:10-12]),
 136          (Tfun
 137             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 138               ft_implicit_params = { capability = (CapDefaults [23:10-12]) };
 139               ft_ret =
 140               { et_enforced = Typing_defs_core.Unenforced;
 141                 et_type = (Rhint ([23:16-20]), (Tprim Tvoid)) };
 142               ft_flags =
 143               (make_ft_flags FSync ~return_disposable:false
 144                 ~returns_readonly:false ~support_dynamic_type:false
 145                 ~readonly_this:false ~is_memoized:false ~variadic:false);
 146               ft_ifc_decl = FDPolicied {PUBLIC} }));
 147         fe_pos = [23:10-12]; fe_php_std_lib = false;
 148         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }))
 149   ]
 150
 151 File root|module_enums.php--Y.php
 152 [("\\f3",
 153   (Shallow_decl_defs.Fun
 154      { Typing_defs.fe_deprecated = None; fe_module = (Some ([3:8-9], "Y"));
 155        fe_internal = false;
 156        fe_type =
 157        (Rwitness_from_decl ([6:10-12]),
 158         (Tfun
 159            { ft_tparams = []; ft_where_constraints = [];
 160              ft_params =
 161              [{ fp_pos = [6:15-17]; fp_name = (Some "$x");
 162                 fp_type =
 163                 { et_enforced = Typing_defs_core.Unenforced;
 164                   et_type =
 165                   (Rhint ([6:13-14]), (Tapply (([6:13-14], "\\X"), []))) };
 166                 fp_flags =
 167                 (make_fp_flags ~accept_disposable:false ~has_default:false
 168                   ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 169                   ~ifc_can_call:false ~readonly:false);
 170                  }
 171                ];
 172              ft_implicit_params = { capability = (CapDefaults [6:10-12]) };
 173              ft_ret =
 174              { et_enforced = Typing_defs_core.Unenforced;
 175                et_type = (Rhint ([6:20-24]), (Tprim Tvoid)) };
 176              ft_flags =
 177              (make_ft_flags FSync ~return_disposable:false
 178                ~returns_readonly:false ~support_dynamic_type:false
 179                ~readonly_this:false ~is_memoized:false ~variadic:false);
 180              ft_ifc_decl = FDPolicied {PUBLIC} }));
 181        fe_pos = [6:10-12]; fe_php_std_lib = false;
 182        fe_support_dynamic_type = false; fe_no_auto_dynamic = false }));
 183   ("\\f7",
 184    (Shallow_decl_defs.Fun
 185       { Typing_defs.fe_deprecated = None; fe_module = (Some ([3:8-9], "Y"));
 186         fe_internal = false;
 187         fe_type =
 188         (Rwitness_from_decl ([10:10-12]),
 189          (Tfun
 190             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 191               ft_implicit_params = { capability = (CapDefaults [10:10-12]) };
 192               ft_ret =
 193               { et_enforced = Typing_defs_core.Unenforced;
 194                 et_type = (Rhint ([10:16-20]), (Tprim Tvoid)) };
 195               ft_flags =
 196               (make_ft_flags FSync ~return_disposable:false
 197                 ~returns_readonly:false ~support_dynamic_type:false
 198                 ~readonly_this:false ~is_memoized:false ~variadic:false);
 199               ft_ifc_decl = FDPolicied {PUBLIC} }));
 200         fe_pos = [10:10-12]; fe_php_std_lib = false;
 201         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }))
 202   ]
 203
 204 File root|module_enums.php--no-module.php
 205 [("\\f4",
 206   (Shallow_decl_defs.Fun
 207      { Typing_defs.fe_deprecated = None; fe_module = None;
 208        fe_internal = false;
 209        fe_type =
 210        (Rwitness_from_decl ([3:10-12]),
 211         (Tfun
 212            { ft_tparams = []; ft_where_constraints = [];
 213              ft_params =
 214              [{ fp_pos = [3:15-17]; fp_name = (Some "$x");
 215                 fp_type =
 216                 { et_enforced = Typing_defs_core.Unenforced;
 217                   et_type =
 218                   (Rhint ([3:13-14]), (Tapply (([3:13-14], "\\X"), []))) };
 219                 fp_flags =
 220                 (make_fp_flags ~accept_disposable:false ~has_default:false
 221                   ~mode:Typing_defs_core.FPnormal ~ifc_external:false
 222                   ~ifc_can_call:false ~readonly:false);
 223                  }
 224                ];
 225              ft_implicit_params = { capability = (CapDefaults [3:10-12]) };
 226              ft_ret =
 227              { et_enforced = Typing_defs_core.Unenforced;
 228                et_type = (Rhint ([3:20-24]), (Tprim Tvoid)) };
 229              ft_flags =
 230              (make_ft_flags FSync ~return_disposable:false
 231                ~returns_readonly:false ~support_dynamic_type:false
 232                ~readonly_this:false ~is_memoized:false ~variadic:false);
 233              ft_ifc_decl = FDPolicied {PUBLIC} }));
 234        fe_pos = [3:10-12]; fe_php_std_lib = false;
 235        fe_support_dynamic_type = false; fe_no_auto_dynamic = false }));
 236   ("\\f8",
 237    (Shallow_decl_defs.Fun
 238       { Typing_defs.fe_deprecated = None; fe_module = None;
 239         fe_internal = false;
 240         fe_type =
 241         (Rwitness_from_decl ([5:10-12]),
 242          (Tfun
 243             { ft_tparams = []; ft_where_constraints = []; ft_params = [];
 244               ft_implicit_params = { capability = (CapDefaults [5:10-12]) };
 245               ft_ret =
 246               { et_enforced = Typing_defs_core.Unenforced;
 247                 et_type = (Rhint ([5:16-20]), (Tprim Tvoid)) };
 248               ft_flags =
 249               (make_ft_flags FSync ~return_disposable:false
 250                 ~returns_readonly:false ~support_dynamic_type:false
 251                 ~readonly_this:false ~is_memoized:false ~variadic:false);
 252               ft_ifc_decl = FDPolicied {PUBLIC} }));
 253         fe_pos = [5:10-12]; fe_php_std_lib = false;
 254         fe_support_dynamic_type = false; fe_no_auto_dynamic = false }))
 255   ]