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

   1 [("\\A",
   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 = Cenum; sc_module = None;
   6        sc_name = ([3:6-7], "\\A"); sc_tparams = [];
   7        sc_where_constraints = [];
   8        sc_extends =
   9        [(Rhint ([3:6-7]),
  10          (Tapply (([3:6-7], "\\HH\\BuiltinEnum"),
  11             [(Rhint ([3:6-7]), (Tapply (([3:6-7], "\\A"), [])))])))
  12          ];
  13        sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
  14        sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
  15        sc_implements = []; sc_support_dynamic_type = false;
  16        sc_consts =
  17        [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  18           scc_name = ([3:28-29], "X");
  19           scc_type = (Rwitness_from_decl ([3:30-33]), (Tprim Tstring));
  20           scc_refs = [] }
  21          ];
  22        sc_typeconsts = []; sc_props = []; sc_sprops = [];
  23        sc_constructor = None; sc_static_methods = []; sc_methods = [];
  24        sc_user_attributes = [];
  25        sc_enum_type =
  26        (Some { Typing_defs.te_base = (Rhint ([3:10-16]), (Tprim Tstring));
  27                te_constraint = (Some (Rhint ([3:20-26]), (Tprim Tstring)));
  28                te_includes = [] })
  29        }));
  30   ("\\B",
  31    (Shallow_decl_defs.Class
  32       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  33         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
  34         sc_has_xhp_keyword = false; sc_kind = Cenum; sc_module = None;
  35         sc_name = ([5:6-7], "\\B"); sc_tparams = [];
  36         sc_where_constraints = [];
  37         sc_extends =
  38         [(Rhint ([5:6-7]),
  39           (Tapply (([5:6-7], "\\HH\\BuiltinEnum"),
  40              [(Rhint ([5:6-7]), (Tapply (([5:6-7], "\\B"), [])))])))
  41           ];
  42         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
  43         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
  44         sc_implements = []; sc_support_dynamic_type = false;
  45         sc_consts =
  46         [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  47            scc_name = ([5:26-27], "X");
  48            scc_type = (Rwitness_from_decl ([5:28-29]), (Tprim Tint));
  49            scc_refs = [] }
  50           ];
  51         sc_typeconsts = []; sc_props = []; sc_sprops = [];
  52         sc_constructor = None; sc_static_methods = []; sc_methods = [];
  53         sc_user_attributes = [];
  54         sc_enum_type =
  55         (Some { Typing_defs.te_base = (Rhint ([5:10-13]), (Tprim Tint));
  56                 te_constraint =
  57                 (Some (Rhint ([5:17-24]),
  58                        (Tapply (([5:17-21], "\\IdOf"),
  59                           [(Rhint ([5:22-23]),
  60                             (Tapply (([5:22-23], "\\X"), [])))]
  61                           ))));
  62                 te_includes = [] })
  63         }));
  64   ("\\C",
  65    (Shallow_decl_defs.Class
  66       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
  67         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
  68         sc_has_xhp_keyword = false; sc_kind = Cenum; sc_module = None;
  69         sc_name = ([7:6-7], "\\C"); sc_tparams = [];
  70         sc_where_constraints = [];
  71         sc_extends =
  72         [(Rhint ([7:6-7]),
  73           (Tapply (([7:6-7], "\\HH\\BuiltinEnum"),
  74              [(Rhint ([7:6-7]), (Tapply (([7:6-7], "\\C"), [])))])))
  75           ];
  76         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
  77         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
  78         sc_implements = []; sc_support_dynamic_type = false;
  79         sc_consts =
  80         [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
  81            scc_name = ([7:27-28], "X");
  82            scc_type = (Rwitness_from_decl ([7:29-30]), (Tprim Tint));
  83            scc_refs = [] }
  84           ];
  85         sc_typeconsts = []; sc_props = []; sc_sprops = [];
  86         sc_constructor = None; sc_static_methods = []; sc_methods = [];
  87         sc_user_attributes = [];
  88         sc_enum_type =
  89         (Some { Typing_defs.te_base = (Rhint ([7:10-13]), (Tprim Tint));
  90                 te_constraint = (Some (Rhint ([7:17-25]), (Tprim Tarraykey)));
  91                 te_includes = [] })
  92         }));
  93   ("\\N",
  94    (Shallow_decl_defs.Typedef
  95       { Typing_defs.td_module = None; td_pos = [9:9-10]; td_vis = Opaque;
  96         td_tparams = [];
  97         td_constraint = (Some (Rhint ([9:14-22]), (Tprim Tarraykey)));
  98         td_type = (Rhint ([9:25-28]), (Tprim Tint)); td_is_ctx = false;
  99         td_attributes = [] }));
 100   ("\\D",
 101    (Shallow_decl_defs.Class
 102       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
 103         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
 104         sc_has_xhp_keyword = false; sc_kind = Cenum; sc_module = None;
 105         sc_name = ([11:6-7], "\\D"); sc_tparams = [];
 106         sc_where_constraints = [];
 107         sc_extends =
 108         [(Rhint ([11:6-7]),
 109           (Tapply (([11:6-7], "\\HH\\BuiltinEnum"),
 110              [(Rhint ([11:6-7]), (Tapply (([11:6-7], "\\D"), [])))])))
 111           ];
 112         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 113         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
 114         sc_implements = []; sc_support_dynamic_type = false;
 115         sc_consts =
 116         [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
 117            scc_name = ([11:20-21], "X");
 118            scc_type = (Rwitness_from_decl ([11:22-23]), (Tprim Tint));
 119            scc_refs = [] };
 120           { Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
 121             scc_name = ([11:25-26], "Y");
 122             scc_type = (Rwitness_from_decl ([11:27-30]), (Tprim Tstring));
 123             scc_refs = [] }
 124           ];
 125         sc_typeconsts = []; sc_props = []; sc_sprops = [];
 126         sc_constructor = None; sc_static_methods = []; sc_methods = [];
 127         sc_user_attributes = [];
 128         sc_enum_type =
 129         (Some { Typing_defs.te_base = (Rhint ([11:10-13]), (Tprim Tint));
 130                 te_constraint =
 131                 (Some (Rhint ([11:17-18]), (Tapply (([11:17-18], "\\N"), []))));
 132                 te_includes = [] })
 133         }));
 134   ("\\E",
 135    (Shallow_decl_defs.Class
 136       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
 137         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
 138         sc_has_xhp_keyword = false; sc_kind = Cenum; sc_module = None;
 139         sc_name = ([13:6-7], "\\E"); sc_tparams = [];
 140         sc_where_constraints = [];
 141         sc_extends =
 142         [(Rhint ([13:6-7]),
 143           (Tapply (([13:6-7], "\\HH\\BuiltinEnum"),
 144              [(Rhint ([13:6-7]), (Tapply (([13:6-7], "\\E"), [])))])))
 145           ];
 146         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 147         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
 148         sc_implements = []; sc_support_dynamic_type = false;
 149         sc_consts =
 150         [{ Shallow_decl_defs.scc_abstract = Typing_defs.CCConcrete;
 151            scc_name = ([13:18-19], "X");
 152            scc_type = (Rwitness_from_decl ([13:18-19]), Tany);
 153            scc_refs = [((Typing_defs.From "\\C"), "X")] }
 154           ];
 155         sc_typeconsts = []; sc_props = []; sc_sprops = [];
 156         sc_constructor = None; sc_static_methods = []; sc_methods = [];
 157         sc_user_attributes = [];
 158         sc_enum_type =
 159         (Some { Typing_defs.te_base =
 160                 (Rhint ([13:10-11]), (Tapply (([13:10-11], "\\C"), [])));
 161                 te_constraint =
 162                 (Some (Rhint ([13:15-16]), (Tapply (([13:15-16], "\\C"), []))));
 163                 te_includes = [] })
 164         }))
 165   ]
 166
 167 They matched!