1 2 /** 3 * Copyright (c) 2021-2024 Huawei Device Co., Ltd. 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #ifndef ES2PANDA_COMPILER_CHECKER_TYPES_TS_ENUM_TYPE_H 18 #define ES2PANDA_COMPILER_CHECKER_TYPES_TS_ENUM_TYPE_H 19 20 #include "checker/types/type.h" 21 22 namespace ark::es2panda::varbinder { 23 class EnumVariable; 24 } // namespace ark::es2panda::varbinder 25 26 namespace ark::es2panda::checker { 27 class EnumType : public Type { 28 public: EnumType(varbinder::Variable * enumLiteralVar,varbinder::EnumVariable * enumVar)29 EnumType(varbinder::Variable *enumLiteralVar, varbinder::EnumVariable *enumVar) 30 : Type(TypeFlag::ENUM), enumLiteralVar_(enumLiteralVar), enumVar_(enumVar) 31 { 32 } 33 EnumLiteralVar()34 const varbinder::Variable *EnumLiteralVar() const 35 { 36 return enumLiteralVar_; 37 } 38 EnumVar()39 const varbinder::EnumVariable *EnumVar() const 40 { 41 return enumVar_; 42 } 43 44 void ToString(std::stringstream &ss, [[maybe_unused]] bool precise) const override; 45 void Identical(TypeRelation *relation, Type *other) override; 46 void AssignmentTarget(TypeRelation *relation, Type *source) override; 47 TypeFacts GetTypeFacts() const override; 48 Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalTypes) override; 49 50 private: 51 varbinder::Variable *enumLiteralVar_; 52 varbinder::EnumVariable *enumVar_; 53 }; 54 } // namespace ark::es2panda::checker 55 56 #endif /* TYPESCRIPT_TYPES_ENUM_TYPE_H */ 57