• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /**
2  * Copyright (c) 2021-2025 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 #ifndef ES2PANDA_COMPILER_CHECKER_TYPES_ETS_BIGINT_TYPE_H
17 #define ES2PANDA_COMPILER_CHECKER_TYPES_ETS_BIGINT_TYPE_H
18 
19 #include "checker/types/ets/etsObjectType.h"
20 
21 namespace ark::es2panda::checker {
22 class ETSBigIntType : public ETSObjectType {
23 public:
ETSBigIntType(ArenaAllocator * allocator,ETSObjectType * super)24     explicit ETSBigIntType(ArenaAllocator *allocator, [[maybe_unused]] ETSObjectType *super)
25         : ETSObjectType(allocator, "", compiler::Signatures::BUILTIN_BIGINT, nullptr,
26                         ETSObjectFlags::CLASS | ETSObjectFlags::BUILTIN_BIGINT | ETSObjectFlags::RESOLVED_SUPER)
27     {
28         SetSuperType(super);
29     }
30 
ETSBigIntType(ArenaAllocator * allocator,ETSObjectType * super,TypeRelation * relation,util::StringView value)31     explicit ETSBigIntType(ArenaAllocator *allocator, ETSObjectType *super, TypeRelation *relation,
32                            util::StringView value)
33         : ETSObjectType(
34               allocator, "", compiler::Signatures::BUILTIN_BIGINT,
35               std::make_tuple(nullptr,
36                               ETSObjectFlags::CLASS | ETSObjectFlags::BUILTIN_BIGINT | ETSObjectFlags::RESOLVED_SUPER,
37                               relation)),
38           value_(value)
39     {
40         SetSuperType(super);
41         AddTypeFlag(TypeFlag::CONSTANT);
42         AddTypeFlag(TypeFlag::BIGINT_LITERAL);
43         variable_ = super->Variable();
44     }
45 
46     void Identical(TypeRelation *relation, Type *other) override;
47     void AssignmentTarget(TypeRelation *relation, Type *source) override;
48     Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalTypes) override;
49 
ToString(std::stringstream & ss,bool precise)50     void ToString(std::stringstream &ss, [[maybe_unused]] bool precise) const override
51     {
52         ss << lexer::TokenToString(lexer::TokenType::KEYW_BIGINT);
53     }
54 
ToAssemblerType(std::stringstream & ss)55     void ToAssemblerType([[maybe_unused]] std::stringstream &ss) const override
56     {
57         ss << compiler::Signatures::BUILTIN_BIGINT;
58     }
59 
GetValue()60     util::StringView GetValue() const
61     {
62         return value_;
63     }
64 
65 private:
66     util::StringView value_ {};
67 };
68 }  // namespace ark::es2panda::checker
69 
70 #endif
71