/** * Copyright (c) 2021-2024 Huawei Device Co., Ltd. * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ #ifndef ES2PANDA_IR_TS_AS_EXPRESSION_H #define ES2PANDA_IR_TS_AS_EXPRESSION_H #include "ir/astDump.h" #include "ir/srcDump.h" #include "ir/expression.h" namespace ark::es2panda::checker { class ETSAnalyzer; } // namespace ark::es2panda::checker namespace ark::es2panda::compiler { class ETSCompiler; } // namespace ark::es2panda::compiler namespace ark::es2panda::ir { class TSAsExpression : public AnnotatedExpression { public: TSAsExpression() = delete; ~TSAsExpression() override = default; NO_COPY_SEMANTIC(TSAsExpression); NO_MOVE_SEMANTIC(TSAsExpression); explicit TSAsExpression(Expression *expression, TypeNode *typeAnnotation, bool isConst) : AnnotatedExpression(AstNodeType::TS_AS_EXPRESSION, typeAnnotation), expression_(expression), isConst_(isConst) { } // NOTE (vivienvoros): these friend relationships can be removed once there are getters for private fields friend class checker::ETSAnalyzer; friend class compiler::ETSCompiler; [[nodiscard]] const Expression *Expr() const noexcept { return expression_; } [[nodiscard]] Expression *Expr() noexcept; void SetExpr(Expression *expr) noexcept; [[nodiscard]] bool IsConst() const noexcept { return isConst_; } [[nodiscard]] TSAsExpression *Clone(ArenaAllocator *allocator, AstNode *parent) override; void SetUncheckedCast(bool isUncheckedCast) noexcept { isUncheckedCast_ = isUncheckedCast; } void TransformChildren(const NodeTransformer &cb, std::string_view transformationName) override; void Iterate(const NodeTraverser &cb) const override; void Dump(ir::AstDumper *dumper) const override; void Dump(ir::SrcDumper *dumper) const override; void Compile([[maybe_unused]] compiler::PandaGen *pg) const override; void Compile([[maybe_unused]] compiler::ETSGen *etsg) const override; checker::Type *Check([[maybe_unused]] checker::TSChecker *checker) override; checker::Type *Check([[maybe_unused]] checker::ETSChecker *checker) override; void Accept(ASTVisitorT *v) override { v->Accept(this); } private: Expression *expression_; bool isUncheckedCast_ {true}; bool isConst_; }; } // namespace ark::es2panda::ir #endif