xref: /arkcompiler/ets_frontend/ets2panda/checker/ets/boxingConverter.h (revision 3af6ab5f)

/*
 * Copyright (c) 2021 - 2023 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_COMPILER_CHECKER_ETS_BOXING_CONVERTER_H
#define ES2PANDA_COMPILER_CHECKER_ETS_BOXING_CONVERTER_H

#include "checker/ets/typeConverter.h"
#include "checker/types/ets/etsObjectType.h"

namespace ark::es2panda::checker {
class BoxingConverter : public TypeConverter {
public:
    BoxingConverter(ETSChecker *checker, TypeRelation *relation, Type *source)
        : TypeConverter(checker, relation, nullptr, source)
    {
        if (!source->HasTypeFlag(TypeFlag::ETS_PRIMITIVE)) {
            Relation()->Result(false);
            return;
        }

        SetResult(ETSTypeFromSource(checker, source));
        Relation()->Result(true);
    }

    BoxingConverter(ETSChecker *checker, TypeRelation *relation, Type *source, Type *target)
        : TypeConverter(checker, relation, target, source)
    {
        if (!target->IsETSObjectType() || relation->IsTrue()) {
            return;
        }

        if (!source->HasTypeFlag(TypeFlag::ETS_PRIMITIVE)) {
            Relation()->Result(false);
            return;
        }

        SetResult(ETSTypeFromSource(checker, source));

        Relation()->Result(relation->IsAssignableTo(Result(), target));
    }

    static checker::ETSObjectType *ETSTypeFromSource(ETSChecker const *checker, Type const *source);
};
}  // namespace ark::es2panda::checker

#endif