1 /* 2 * Copyright (c) 2024 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16 #include "TSAnalyzer.h" 17 18 namespace ark::es2panda::checker { 19 20 // from as folder Check(ir::NamedType * node) const21checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::NamedType *node) const 22 { 23 UNREACHABLE(); 24 } 25 Check(ir::PrefixAssertionExpression * expr) const26checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::PrefixAssertionExpression *expr) const 27 { 28 UNREACHABLE(); 29 } 30 Check(ir::ClassProperty * st) const31checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassProperty *st) const 32 { 33 UNREACHABLE(); 34 } 35 Check(ir::ClassStaticBlock * st) const36checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassStaticBlock *st) const 37 { 38 UNREACHABLE(); 39 } 40 Check(ir::Decorator * st) const41checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::Decorator *st) const 42 { 43 UNREACHABLE(); 44 } 45 Check(ir::MethodDefinition * node) const46checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::MethodDefinition *node) const 47 { 48 UNREACHABLE(); 49 } 50 Check(ir::Property * expr) const51checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::Property *expr) const 52 { 53 UNREACHABLE(); 54 } 55 Check(ir::ScriptFunction * node) const56checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ScriptFunction *node) const 57 { 58 UNREACHABLE(); 59 } 60 Check(ir::SpreadElement * expr) const61checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::SpreadElement *expr) const 62 { 63 UNREACHABLE(); 64 } 65 Check(ir::TemplateElement * expr) const66checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TemplateElement *expr) const 67 { 68 UNREACHABLE(); 69 } 70 71 // from ets folder Check(ir::ETSScript * expr) const72checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSScript *expr) const 73 { 74 UNREACHABLE(); 75 } 76 Check(ir::ETSClassLiteral * expr) const77checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSClassLiteral *expr) const 78 { 79 UNREACHABLE(); 80 } 81 Check(ir::ETSFunctionType * node) const82checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSFunctionType *node) const 83 { 84 UNREACHABLE(); 85 } 86 Check(ir::ETSImportDeclaration * node) const87checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSImportDeclaration *node) const 88 { 89 UNREACHABLE(); 90 } 91 Check(ir::ETSLaunchExpression * expr) const92checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSLaunchExpression *expr) const 93 { 94 UNREACHABLE(); 95 } 96 Check(ir::ETSNewArrayInstanceExpression * expr) const97checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSNewArrayInstanceExpression *expr) const 98 { 99 UNREACHABLE(); 100 } 101 Check(ir::ETSNewClassInstanceExpression * expr) const102checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSNewClassInstanceExpression *expr) const 103 { 104 UNREACHABLE(); 105 } 106 Check(ir::ETSNewMultiDimArrayInstanceExpression * expr) const107checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSNewMultiDimArrayInstanceExpression *expr) const 108 { 109 UNREACHABLE(); 110 } 111 Check(ir::ETSPackageDeclaration * st) const112checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSPackageDeclaration *st) const 113 { 114 UNREACHABLE(); 115 } 116 Check(ir::ETSParameterExpression * expr) const117checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSParameterExpression *expr) const 118 { 119 UNREACHABLE(); 120 } 121 Check(ir::ETSPrimitiveType * node) const122checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSPrimitiveType *node) const 123 { 124 UNREACHABLE(); 125 } 126 Check(ir::ETSStructDeclaration * node) const127checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSStructDeclaration *node) const 128 { 129 UNREACHABLE(); 130 } 131 Check(ir::ETSTuple * node) const132checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSTuple *node) const 133 { 134 UNREACHABLE(); 135 } 136 Check(ir::ETSTypeReference * node) const137checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSTypeReference *node) const 138 { 139 UNREACHABLE(); 140 } 141 Check(ir::ETSTypeReferencePart * node) const142checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSTypeReferencePart *node) const 143 { 144 UNREACHABLE(); 145 } 146 Check(ir::ETSNullType * node) const147checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSNullType *node) const 148 { 149 UNREACHABLE(); 150 } 151 Check(ir::ETSUndefinedType * node) const152checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSUndefinedType *node) const 153 { 154 UNREACHABLE(); 155 } 156 Check(ir::ETSNeverType * node) const157checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSNeverType *node) const 158 { 159 UNREACHABLE(); 160 } 161 Check(ir::ETSStringLiteralType * node) const162checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSStringLiteralType *node) const 163 { 164 UNREACHABLE(); 165 } 166 Check(ir::ETSUnionType * node) const167checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSUnionType *node) const 168 { 169 UNREACHABLE(); 170 } 171 Check(ir::ETSWildcardType * node) const172checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSWildcardType *node) const 173 { 174 UNREACHABLE(); 175 } 176 Check(ir::BlockExpression * st) const177checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::BlockExpression *st) const 178 { 179 UNREACHABLE(); 180 } 181 Check(ir::ClassExpression * expr) const182checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassExpression *expr) const 183 { 184 UNREACHABLE(); 185 } 186 Check(ir::DirectEvalExpression * expr) const187checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::DirectEvalExpression *expr) const 188 { 189 UNREACHABLE(); 190 } 191 Check(ir::ImportExpression * expr) const192checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ImportExpression *expr) const 193 { 194 UNREACHABLE(); 195 } 196 Check(ir::CharLiteral * expr) const197checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::CharLiteral *expr) const 198 { 199 UNREACHABLE(); 200 } 201 Check(ir::UndefinedLiteral * expr) const202checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::UndefinedLiteral *expr) const 203 { 204 UNREACHABLE(); 205 } 206 207 // compile methods for MODULE-related nodes in alphabetical order Check(ir::ExportAllDeclaration * st) const208checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ExportAllDeclaration *st) const 209 { 210 UNREACHABLE(); 211 } 212 Check(ir::ExportDefaultDeclaration * st) const213checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ExportDefaultDeclaration *st) const 214 { 215 UNREACHABLE(); 216 } 217 Check(ir::ExportNamedDeclaration * st) const218checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ExportNamedDeclaration *st) const 219 { 220 UNREACHABLE(); 221 } 222 Check(ir::ExportSpecifier * st) const223checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ExportSpecifier *st) const 224 { 225 UNREACHABLE(); 226 } 227 Check(ir::ImportDeclaration * st) const228checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ImportDeclaration *st) const 229 { 230 UNREACHABLE(); 231 } 232 Check(ir::ImportDefaultSpecifier * st) const233checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ImportDefaultSpecifier *st) const 234 { 235 UNREACHABLE(); 236 } 237 Check(ir::ImportNamespaceSpecifier * st) const238checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ImportNamespaceSpecifier *st) const 239 { 240 UNREACHABLE(); 241 } 242 Check(ir::ImportSpecifier * st) const243checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ImportSpecifier *st) const 244 { 245 UNREACHABLE(); 246 } 247 // compile methods for STATEMENTS in alphabetical order Check(ir::AssertStatement * st) const248checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::AssertStatement *st) const 249 { 250 UNREACHABLE(); 251 } 252 Check(ir::ClassDeclaration * st) const253checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassDeclaration *st) const 254 { 255 UNREACHABLE(); 256 } 257 Check(ir::ContinueStatement * st) const258checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ContinueStatement *st) const 259 { 260 UNREACHABLE(); 261 } 262 Check(ir::DebuggerStatement * st) const263checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::DebuggerStatement *st) const 264 { 265 UNREACHABLE(); 266 } 267 Check(ir::ForInStatement * st) const268checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ForInStatement *st) const 269 { 270 UNREACHABLE(); 271 } 272 Check(ir::ForOfStatement * st) const273checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ForOfStatement *st) const 274 { 275 UNREACHABLE(); 276 } 277 Check(ir::LabelledStatement * st) const278checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::LabelledStatement *st) const 279 { 280 UNREACHABLE(); 281 } 282 Check(ir::SwitchCaseStatement * st) const283checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::SwitchCaseStatement *st) const 284 { 285 UNREACHABLE(); 286 } 287 Check(ir::ThrowStatement * st) const288checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ThrowStatement *st) const 289 { 290 UNREACHABLE(); 291 } 292 Check(ir::TSClassImplements * expr) const293checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSClassImplements *expr) const 294 { 295 UNREACHABLE(); 296 } 297 Check(ir::TSConditionalType * node) const298checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSConditionalType *node) const 299 { 300 UNREACHABLE(); 301 } 302 Check(ir::ETSReExportDeclaration * node) const303checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ETSReExportDeclaration *node) const 304 { 305 UNREACHABLE(); 306 } 307 Check(ir::TSEnumMember * st) const308checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSEnumMember *st) const 309 { 310 UNREACHABLE(); 311 } 312 Check(ir::TSExternalModuleReference * expr) const313checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSExternalModuleReference *expr) const 314 { 315 UNREACHABLE(); 316 } 317 Check(ir::TSImportEqualsDeclaration * st) const318checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSImportEqualsDeclaration *st) const 319 { 320 UNREACHABLE(); 321 } 322 Check(ir::TSImportType * node) const323checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSImportType *node) const 324 { 325 UNREACHABLE(); 326 } 327 Check(ir::TSInferType * node) const328checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSInferType *node) const 329 { 330 UNREACHABLE(); 331 } 332 Check(ir::TSInterfaceHeritage * expr) const333checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSInterfaceHeritage *expr) const 334 { 335 UNREACHABLE(); 336 } 337 Check(ir::TSIntersectionType * node) const338checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSIntersectionType *node) const 339 { 340 UNREACHABLE(); 341 } 342 Check(ir::TSMappedType * node) const343checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSMappedType *node) const 344 { 345 UNREACHABLE(); 346 } 347 Check(ir::TSModuleBlock * st) const348checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSModuleBlock *st) const 349 { 350 UNREACHABLE(); 351 } 352 Check(ir::TSModuleDeclaration * st) const353checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSModuleDeclaration *st) const 354 { 355 UNREACHABLE(); 356 } 357 Check(ir::TSNonNullExpression * expr) const358checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSNonNullExpression *expr) const 359 { 360 UNREACHABLE(); 361 } 362 Check(ir::TSObjectKeyword * node) const363checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSObjectKeyword *node) const 364 { 365 UNREACHABLE(); 366 } 367 Check(ir::TSParameterProperty * expr) const368checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSParameterProperty *expr) const 369 { 370 UNREACHABLE(); 371 } 372 Check(ir::TSThisType * node) const373checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSThisType *node) const 374 { 375 UNREACHABLE(); 376 } 377 Check(ir::TSTypeAssertion * expr) const378checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSTypeAssertion *expr) const 379 { 380 UNREACHABLE(); 381 } 382 Check(ir::TSTypeOperator * node) const383checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSTypeOperator *node) const 384 { 385 UNREACHABLE(); 386 } 387 Check(ir::TSTypeParameter * expr) const388checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSTypeParameter *expr) const 389 { 390 UNREACHABLE(); 391 } 392 Check(ir::TSTypeParameterDeclaration * expr) const393checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSTypeParameterDeclaration *expr) const 394 { 395 UNREACHABLE(); 396 } 397 Check(ir::TSTypeParameterInstantiation * expr) const398checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSTypeParameterInstantiation *expr) const 399 { 400 UNREACHABLE(); 401 } 402 Check(ir::TSTypePredicate * node) const403checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSTypePredicate *node) const 404 { 405 UNREACHABLE(); 406 } 407 Check(ir::DummyNode * node) const408checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::DummyNode *node) const 409 { 410 UNREACHABLE(); 411 } 412 Check(ir::NamespaceDeclaration * expr) const413checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::NamespaceDeclaration *expr) const 414 { 415 UNREACHABLE(); 416 } 417 Check(ir::NamespaceDefinition * expr) const418checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::NamespaceDefinition *expr) const 419 { 420 UNREACHABLE(); 421 } 422 } // namespace ark::es2panda::checker 423