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 #ifndef ES2PANDA_COMPILER_CHECKER_ETS_UNBOXING_CONVERTER_H
17 #define ES2PANDA_COMPILER_CHECKER_ETS_UNBOXING_CONVERTER_H
18 
19 #include "checker/ets/typeConverter.h"
20 #include "checker/types/ets/etsObjectType.h"
21 
22 namespace ark::es2panda::checker {
23 
24 class UnboxingConverter : public TypeConverter {
25 public:
UnboxingConverter(ETSChecker *checker, TypeRelation *relation, Type *source)26     UnboxingConverter(ETSChecker *checker, TypeRelation *relation, Type *source)
27         : TypeConverter(checker, relation, nullptr, source)
28     {
29         if (!source->IsETSObjectType()) {
30             relation->Result(false);
31             return;
32         }
33 
34         SetResult(GlobalTypeFromSource(checker, source->AsETSObjectType()));
35         relation->Result(source != Result());
36     }
37 
UnboxingConverter(ETSChecker *checker, TypeRelation *relation, Type *source, Type *target)38     UnboxingConverter(ETSChecker *checker, TypeRelation *relation, Type *source, Type *target)
39         : TypeConverter(checker, relation, target, source)
40     {
41         SetResult(Source());
42 
43         if (!Source()->IsETSObjectType() || relation->IsTrue()) {
44             return;
45         }
46 
47         SetResult(GlobalTypeFromSource(checker, source->AsETSObjectType()));
48 
49         Relation()->Result(Result()->TypeFlags() == target->TypeFlags());
50     }
51 
52     static checker::Type *GlobalTypeFromSource(checker::ETSChecker const *checker, ETSObjectType *type);
53 };
54 }  // namespace ark::es2panda::checker
55 
56 #endif
57