2  * Copyright (c) 2023-2024 Huawei Device Co., Ltd.
7  * http://www.apache.org/licenses/LICENSE-2.0
41 ASTVerifier::ASTVerifier(ArenaAllocator *allocator)  in ASTVerifier()  argument
43     AddInvariant<NodeHasParent>(allocator, "NodeHasParent");  in ASTVerifier()
44     AddInvariant<NodeHasSourceRange>(allocator, "NodeHasSourceRange");  in ASTVerifier()
45     AddInvariant<NodeHasType>(allocator, "NodeHasType");  in ASTVerifier()
46     AddInvariant<IdentifierHasVariable>(allocator, "IdentifierHasVariable");  in ASTVerifier()
47     AddInvariant<VariableHasScope>(allocator, "VariableHasScope");  in ASTVerifier()
48     AddInvariant<EveryChildHasValidParent>(allocator, "EveryChildHasValidParent");  in ASTVerifier()
49     AddInvariant<EveryChildInParentRange>(allocator, "EveryChildInParentRange");  in ASTVerifier()
50     AddInvariant<VariableHasEnclosingScope>(allocator, "VariableHasEnclosingScope");  in ASTVerifier()
51     AddInvariant<CheckInfiniteLoop>(allocator, "CheckInfiniteLoop");  in ASTVerifier()
52     AddInvariant<ForLoopCorrectlyInitialized>(allocator, "ForLoopCorrectlyInitialized");  in ASTVerifier()
53     AddInvariant<ModifierAccessValid>(allocator, "ModifierAccessValid");  in ASTVerifier()
54     AddInvariant<ImportExportAccessValid>(allocator, "ImportExportAccessValid");  in ASTVerifier()
55     AddInvariant<ArithmeticOperationValid>(allocator, "ArithmeticOperationValid");  in ASTVerifier()
56     AddInvariant<SequenceExpressionHasLastType>(allocator, "SequenceExpressionHasLastType");  in ASTVerifier()
57     AddInvariant<ReferenceTypeAnnotationIsNull>(allocator, "ReferenceTypeAnnotationIsNull");  in ASTVerifier()
58     AddInvariant<VariableNameIdentifierNameSame>(allocator, "VariableNameIdentifierNameSame");  in ASTVerifier()
59     AddInvariant<CheckAbstractMethod>(allocator, "CheckAbstractMethod");  in ASTVerifier()
60     AddInvariant<GetterSetterValidation>(allocator, "GetterSetterValidation");  in ASTVerifier()
61     AddInvariant<CheckScopeDeclaration>(allocator, "CheckScopeDeclaration");  in ASTVerifier()
62     AddInvariant<CheckConstProperties>(allocator, "CheckConstProperties");  in ASTVerifier()
97             auto invariant = found->second;  in Verify()