hphp/hack/test/full_fidelity/cases/test_is_expression_errors.php.json.exp

   1 {
   2   "parse_tree":{
   3     "kind":"script",
   4     "script_declarations":{
   5       "kind":"list",
   6       "elements":[
   7         {
   8           "kind":"markup_section",
   9           "markup_hashbang":{
  10             "kind":"token",
  11             "token":{
  12               "kind":"hashbang",
  13               "text":"",
  14               "offset":0,
  15               "leading_width":0,
  16               "width":0,
  17               "trailing_width":0,
  18               "leading":[],
  19               "trailing":[],
  20               "line_number":1
  21             }
  22           },
  23           "markup_suffix":{
  24             "kind":"markup_suffix",
  25             "markup_suffix_less_than_question":{
  26               "kind":"token",
  27               "token":{
  28                 "kind":"<?",
  29                 "text":"<?",
  30                 "offset":0,
  31                 "leading_width":0,
  32                 "width":2,
  33                 "trailing_width":0,
  34                 "leading":[],
  35                 "trailing":[],
  36                 "line_number":1
  37               }
  38             },
  39             "markup_suffix_name":{
  40               "kind":"token",
  41               "token":{
  42                 "kind":"name",
  43                 "text":"hh",
  44                 "offset":2,
  45                 "leading_width":0,
  46                 "width":2,
  47                 "trailing_width":1,
  48                 "leading":[],
  49                 "trailing":[{"kind":"end_of_line","text":"\n","offset":4,"width":1}],
  50                 "line_number":1
  51               }
  52             }
  53           }
  54         },
  55         {
  56           "kind":"function_declaration",
  57           "function_attribute_spec":{"kind":"missing"},
  58           "function_declaration_header":{
  59             "kind":"function_declaration_header",
  60             "function_modifiers":{"kind":"missing"},
  61             "function_keyword":{
  62               "kind":"token",
  63               "token":{
  64                 "kind":"function",
  65                 "text":"function",
  66                 "offset":5,
  67                 "leading_width":208,
  68                 "width":8,
  69                 "trailing_width":1,
  70                 "leading":[
  71                   {
  72                     "kind":"delimited_comment",
  73                     "text":"/**\n * Copyright (c) 2014, Facebook, Inc.\n * All rights reserved.\n *\n * This source code is licensed under the MIT license found in the\n * LICENSE file in the \"hack\" directory of this source tree.\n *\n *\n */",
  74                     "offset":5,
  75                     "width":206
  76                   },
  77                   {"kind":"end_of_line","text":"\n","offset":211,"width":1},
  78                   {"kind":"end_of_line","text":"\n","offset":212,"width":1}
  79                 ],
  80                 "trailing":[{"kind":"whitespace","text":" ","offset":221,"width":1}],
  81                 "line_number":12
  82               }
  83             },
  84             "function_name":{
  85               "kind":"token",
  86               "token":{
  87                 "kind":"name",
  88                 "text":"test",
  89                 "offset":222,
  90                 "leading_width":0,
  91                 "width":4,
  92                 "trailing_width":0,
  93                 "leading":[],
  94                 "trailing":[],
  95                 "line_number":12
  96               }
  97             },
  98             "function_type_parameter_list":{"kind":"missing"},
  99             "function_left_paren":{
 100               "kind":"token",
 101               "token":{
 102                 "kind":"(",
 103                 "text":"(",
 104                 "offset":226,
 105                 "leading_width":0,
 106                 "width":1,
 107                 "trailing_width":0,
 108                 "leading":[],
 109                 "trailing":[],
 110                 "line_number":12
 111               }
 112             },
 113             "function_parameter_list":{
 114               "kind":"list",
 115               "elements":[
 116                 {
 117                   "kind":"list_item",
 118                   "list_item":{
 119                     "kind":"parameter_declaration",
 120                     "parameter_attribute":{"kind":"missing"},
 121                     "parameter_visibility":{"kind":"missing"},
 122                     "parameter_call_convention":{"kind":"missing"},
 123                     "parameter_type":{
 124                       "kind":"simple_type_specifier",
 125                       "simple_type_specifier":{
 126                         "kind":"token",
 127                         "token":{
 128                           "kind":"mixed",
 129                           "text":"mixed",
 130                           "offset":227,
 131                           "leading_width":0,
 132                           "width":5,
 133                           "trailing_width":1,
 134                           "leading":[],
 135                           "trailing":[{"kind":"whitespace","text":" ","offset":232,"width":1}],
 136                           "line_number":12
 137                         }
 138                       }
 139                     },
 140                     "parameter_name":{
 141                       "kind":"token",
 142                       "token":{
 143                         "kind":"variable",
 144                         "text":"$e",
 145                         "offset":233,
 146                         "leading_width":0,
 147                         "width":2,
 148                         "trailing_width":0,
 149                         "leading":[],
 150                         "trailing":[],
 151                         "line_number":12
 152                       }
 153                     },
 154                     "parameter_default_value":{"kind":"missing"}
 155                   },
 156                   "list_separator":{"kind":"missing"}
 157                 }
 158               ]
 159             },
 160             "function_right_paren":{
 161               "kind":"token",
 162               "token":{
 163                 "kind":")",
 164                 "text":")",
 165                 "offset":235,
 166                 "leading_width":0,
 167                 "width":1,
 168                 "trailing_width":0,
 169                 "leading":[],
 170                 "trailing":[],
 171                 "line_number":12
 172               }
 173             },
 174             "function_capability":{"kind":"missing"},
 175             "function_colon":{
 176               "kind":"token",
 177               "token":{
 178                 "kind":":",
 179                 "text":":",
 180                 "offset":236,
 181                 "leading_width":0,
 182                 "width":1,
 183                 "trailing_width":1,
 184                 "leading":[],
 185                 "trailing":[{"kind":"whitespace","text":" ","offset":237,"width":1}],
 186                 "line_number":12
 187               }
 188             },
 189             "function_type":{
 190               "kind":"simple_type_specifier",
 191               "simple_type_specifier":{
 192                 "kind":"token",
 193                 "token":{
 194                   "kind":"void",
 195                   "text":"void",
 196                   "offset":238,
 197                   "leading_width":0,
 198                   "width":4,
 199                   "trailing_width":1,
 200                   "leading":[],
 201                   "trailing":[{"kind":"whitespace","text":" ","offset":242,"width":1}],
 202                   "line_number":12
 203                 }
 204               }
 205             },
 206             "function_where_clause":{"kind":"missing"}
 207           },
 208           "function_body":{
 209             "kind":"compound_statement",
 210             "compound_left_brace":{
 211               "kind":"token",
 212               "token":{
 213                 "kind":"{",
 214                 "text":"{",
 215                 "offset":243,
 216                 "leading_width":0,
 217                 "width":1,
 218                 "trailing_width":1,
 219                 "leading":[],
 220                 "trailing":[{"kind":"end_of_line","text":"\n","offset":244,"width":1}],
 221                 "line_number":12
 222               }
 223             },
 224             "compound_statements":{
 225               "kind":"list",
 226               "elements":[
 227                 {
 228                   "kind":"expression_statement",
 229                   "expression_statement_expression":{
 230                     "kind":"is_expression",
 231                     "is_left_operand":{
 232                       "kind":"variable",
 233                       "variable_expression":{
 234                         "kind":"token",
 235                         "token":{
 236                           "kind":"variable",
 237                           "text":"$e",
 238                           "offset":245,
 239                           "leading_width":2,
 240                           "width":2,
 241                           "trailing_width":1,
 242                           "leading":[{"kind":"whitespace","text":"  ","offset":245,"width":2}],
 243                           "trailing":[{"kind":"whitespace","text":" ","offset":249,"width":1}],
 244                           "line_number":13
 245                         }
 246                       }
 247                     },
 248                     "is_operator":{
 249                       "kind":"token",
 250                       "token":{
 251                         "kind":"is",
 252                         "text":"is",
 253                         "offset":250,
 254                         "leading_width":0,
 255                         "width":2,
 256                         "trailing_width":1,
 257                         "leading":[],
 258                         "trailing":[{"kind":"whitespace","text":" ","offset":252,"width":1}],
 259                         "line_number":13
 260                       }
 261                     },
 262                     "is_right_operand":{
 263                       "kind":"soft_type_specifier",
 264                       "soft_at":{
 265                         "kind":"token",
 266                         "token":{
 267                           "kind":"@",
 268                           "text":"@",
 269                           "offset":253,
 270                           "leading_width":0,
 271                           "width":1,
 272                           "trailing_width":0,
 273                           "leading":[],
 274                           "trailing":[],
 275                           "line_number":13
 276                         }
 277                       },
 278                       "soft_type":{
 279                         "kind":"simple_type_specifier",
 280                         "simple_type_specifier":{
 281                           "kind":"token",
 282                           "token":{
 283                             "kind":"int",
 284                             "text":"int",
 285                             "offset":254,
 286                             "leading_width":0,
 287                             "width":3,
 288                             "trailing_width":0,
 289                             "leading":[],
 290                             "trailing":[],
 291                             "line_number":13
 292                           }
 293                         }
 294                       }
 295                     }
 296                   },
 297                   "expression_statement_semicolon":{
 298                     "kind":"token",
 299                     "token":{
 300                       "kind":";",
 301                       "text":";",
 302                       "offset":257,
 303                       "leading_width":0,
 304                       "width":1,
 305                       "trailing_width":10,
 306                       "leading":[],
 307                       "trailing":[
 308                         {"kind":"whitespace","text":" ","offset":258,"width":1},
 309                         {"kind":"single_line_comment","text":"// error","offset":259,"width":8},
 310                         {"kind":"end_of_line","text":"\n","offset":267,"width":1}
 311                       ],
 312                       "line_number":13
 313                     }
 314                   }
 315                 }
 316               ]
 317             },
 318             "compound_right_brace":{
 319               "kind":"token",
 320               "token":{
 321                 "kind":"}",
 322                 "text":"}",
 323                 "offset":268,
 324                 "leading_width":0,
 325                 "width":1,
 326                 "trailing_width":1,
 327                 "leading":[],
 328                 "trailing":[{"kind":"end_of_line","text":"\n","offset":269,"width":1}],
 329                 "line_number":14
 330               }
 331             }
 332           }
 333         },
 334         {
 335           "kind":"end_of_file",
 336           "end_of_file_token":{
 337             "kind":"token",
 338             "token":{
 339               "kind":"end_of_file",
 340               "text":"",
 341               "offset":270,
 342               "leading_width":0,
 343               "width":0,
 344               "trailing_width":0,
 345               "leading":[],
 346               "trailing":[],
 347               "line_number":15
 348             }
 349           }
 350         }
 351       ]
 352     }
 353   },
 354   "program_text":"<?hh\n/**\n * Copyright (c) 2014, Facebook, Inc.\n * All rights reserved.\n *\n * This source code is licensed under the MIT license found in the\n * LICENSE file in the \"hack\" directory of this source tree.\n *\n *\n */\n\nfunction test(mixed $e): void {\n  $e is @int; // error\n}\n",
 355   "version":"2020-12-09-0001"
 356 }