1/* 2 * Copyright (c) 2021-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 "prefixAssertionExpression.h" 17 18#include "checker/TSchecker.h" 19#include "compiler/core/ETSGen.h" 20#include "compiler/core/pandagen.h" 21#include "ir/astDump.h" 22#include "ir/srcDump.h" 23#include "ir/typeNode.h" 24 25namespace ark::es2panda::ir { 26void PrefixAssertionExpression::TransformChildren(const NodeTransformer &cb, std::string_view transformationName) 27{ 28 if (auto *transformedNode = cb(type_); type_ != transformedNode) { 29 type_->SetTransformedNode(transformationName, transformedNode); 30 type_ = static_cast<TypeNode *>(transformedNode); 31 } 32 33 if (auto *transformedNode = cb(expr_); expr_ != transformedNode) { 34 expr_->SetTransformedNode(transformationName, transformedNode); 35 expr_ = transformedNode->AsExpression(); 36 } 37} 38 39void PrefixAssertionExpression::Iterate(const NodeTraverser &cb) const 40{ 41 cb(type_); 42 cb(expr_); 43} 44 45void PrefixAssertionExpression::Dump(AstDumper *dumper) const 46{ 47 dumper->Add({{"type", "PrefixAssertionExpression"}, {"expression", expr_}, {"type", type_}}); 48} 49 50void PrefixAssertionExpression::Dump(SrcDumper *dumper) const 51{ 52 dumper->Add("PrefixAssertionExpression"); 53} 54 55void PrefixAssertionExpression::Compile(compiler::PandaGen *pg) const 56{ 57 pg->GetAstCompiler()->Compile(this); 58} 59 60void PrefixAssertionExpression::Compile(compiler::ETSGen *etsg) const 61{ 62 etsg->GetAstCompiler()->Compile(this); 63} 64 65checker::Type *PrefixAssertionExpression::Check(checker::TSChecker *checker) 66{ 67 return checker->GetAnalyzer()->Check(this); 68} 69 70checker::Type *PrefixAssertionExpression::Check(checker::ETSChecker *checker) 71{ 72 return checker->GetAnalyzer()->Check(this); 73} 74} // namespace ark::es2panda::ir 75