1 /*
2 * Copyright (c) 2021 - 2023 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 "castingContext.h"
17
18 namespace panda::es2panda::checker {
CastingContext(TypeRelation * relation,ir::Expression * node,Type * source,Type * target,const lexer::SourcePosition & pos,std::initializer_list<TypeErrorMessageElement> list,TypeRelationFlag extraFlags)19 CastingContext::CastingContext(TypeRelation *relation, ir::Expression *node, Type *source, Type *target,
20 const lexer::SourcePosition &pos, std::initializer_list<TypeErrorMessageElement> list,
21 TypeRelationFlag extraFlags)
22 {
23 flags_ |= extraFlags;
24
25 const SavedTypeRelationFlagsContext savedTypeRelationFlags(relation, flags_);
26 relation->SetNode(node);
27 relation->Result(false);
28
29 relation->IsCastableTo(source, target);
30 if (!relation->IsTrue() && (flags_ & TypeRelationFlag::NO_THROW) == 0) {
31 relation->RaiseError(list, pos);
32 }
33
34 uncheckedCast_ = relation->UncheckedCast();
35 relation->SetNode(nullptr);
36 }
37
UncheckedCast() const38 bool CastingContext::UncheckedCast() const noexcept
39 {
40 return uncheckedCast_;
41 }
42 } // namespace panda::es2panda::checker
43