1 /*
2  * Copyright (c) 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_CORE_AST_VERIFIER_VARIABLEHASSCOPE_H
17 #define ES2PANDA_COMPILER_CORE_AST_VERIFIER_VARIABLEHASSCOPE_H
18 
19 #include "checkContext.h"
20 
21 #include "varbinder/varbinder.h"
22 
23 namespace ark::es2panda::compiler::ast_verifier {
24 
25 class VariableHasScope {
26 public:
VariableHasScope(ArenaAllocator &allocator)27     explicit VariableHasScope(ArenaAllocator &allocator) : allocator_ {allocator} {}
28 
29     [[nodiscard]] CheckResult operator()(CheckContext &ctx, const ir::AstNode *ast);
30     static std::optional<varbinder::LocalVariable *> GetLocalScopeVariable(ArenaAllocator &allocator, CheckContext &ctx,
31                                                                            const ir::AstNode *ast);
32     bool ScopeEncloseVariable(CheckContext &ctx, const varbinder::LocalVariable *var);
33 
34 private:
35     ArenaAllocator &allocator_;
36     bool CheckAstExceptions(const ir::AstNode *ast);
37 };
38 
39 }  // namespace ark::es2panda::compiler::ast_verifier
40 
41 #endif  // ES2PANDA_COMPILER_CORE_AST_VERIFIER_VARIABLEHASSCOPE_H
42