/arkcompiler/ets_frontend/ets2panda/test/unit/public/ |
H A D | ast_verifier_private_access_negative_test_1_4.cpp | 50 InvariantNameSet checks; in TEST_F() local 51 checks.insert("ModifierAccessValidForAll"); in TEST_F() 52 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 55 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F() 88 InvariantNameSet checks; in TEST_F() local 89 checks.insert("ModifierAccessValidForAll"); in TEST_F() 90 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 93 ASSERT_NE(checks.find(messages[0].Invariant()), checks in TEST_F() 127 InvariantNameSet checks; TEST_F() local 166 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_identifier_has_variable_test.cpp | 47 InvariantNameSet checks; in TEST_F() local 48 checks.insert("IdentifierHasVariableForAll"); in TEST_F() 49 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 80 InvariantNameSet checks; in TEST_F() local 81 checks.insert("IdentifierHasVariableForAll"); in TEST_F() 82 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 105 InvariantNameSet checks; in TEST_F() local 106 checks.insert("IdentifierHasVariableForAll"); in TEST_F() 107 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 131 InvariantNameSet checks; in TEST_F() local 157 InvariantNameSet checks; TEST_F() local 213 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_check_scope_declaration_test.cpp | 43 InvariantNameSet checks; in TEST_F() local 44 checks.insert("CheckScopeDeclarationForAll"); in TEST_F() 45 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 69 InvariantNameSet checks; in TEST_F() local 70 checks.insert("CheckScopeDeclarationForAll"); in TEST_F() 71 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 99 InvariantNameSet checks; in TEST_F() local 100 checks.insert("CheckScopeDeclarationForAll"); in TEST_F() 101 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 125 InvariantNameSet checks; in TEST_F() local 157 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_protected_access_negative_test_4_6.cpp | 65 InvariantNameSet checks; in TEST_F() local 66 checks.insert("ModifierAccessValidForAll"); in TEST_F() 67 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 70 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F() 118 InvariantNameSet checks; in TEST_F() local 119 checks.insert("ModifierAccessValidForAll"); in TEST_F() 120 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 123 ASSERT_NE(checks.find(messages[0].Invariant()), checks in TEST_F() 171 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_private_access_negative_test_5_7.cpp | 65 InvariantNameSet checks; in TEST_F() local 66 checks.insert("ModifierAccessValidForAll"); in TEST_F() 67 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 70 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F() 118 InvariantNameSet checks; in TEST_F() local 119 checks.insert("ModifierAccessValidForAll"); in TEST_F() 120 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 123 ASSERT_NE(checks.find(messages[0].Invariant()), checks in TEST_F() 171 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_protected_access_negative_test_1_3.cpp | 51 InvariantNameSet checks; in TEST_F() local 52 checks.insert("ModifierAccessValidForAll"); in TEST_F() 53 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 56 ASSERT_NE(checks.find(messages[0].Invariant()), checks.end()); in TEST_F() 90 InvariantNameSet checks; in TEST_F() local 91 checks.insert("ModifierAccessValidForAll"); in TEST_F() 92 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 95 ASSERT_NE(checks.find(messages[0].Invariant()), checks in TEST_F() 129 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_variable_has_scope_test.cpp | 46 InvariantNameSet checks; in TEST_F() local 47 checks.insert("VariableHasScopeForAll"); in TEST_F() 48 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 85 InvariantNameSet checks; in TEST_F() local 86 checks.insert("VariableHasScopeForAll"); in TEST_F() 87 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 114 InvariantNameSet checks; in TEST_F() local 115 checks.insert("VariableHasScopeForAll"); in TEST_F() 116 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 151 InvariantNameSet checks; in TEST_F() local 185 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_short_test.cpp | 58 auto checks = ark::es2panda::compiler::ast_verifier::InvariantNameSet {}; in TEST_F() local 59 checks.insert(check); in TEST_F() 60 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F() 74 auto checks = ark::es2panda::compiler::ast_verifier::InvariantNameSet {}; in TEST_F() local 75 checks.insert(check); in TEST_F() 76 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F() 90 auto checks = InvariantNameSet {}; in TEST_F() local 91 checks.insert(check); in TEST_F() 92 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F() 105 auto checks in TEST_F() local 128 auto checks = InvariantNameSet {}; TEST_F() local 152 auto checks = InvariantNameSet {}; TEST_F() local 173 auto checks = InvariantNameSet {}; TEST_F() local 200 auto checks = InvariantNameSet {}; TEST_F() local 222 auto checks = InvariantNameSet {}; TEST_F() local 242 auto checks = InvariantNameSet {}; TEST_F() local 260 auto checks = InvariantNameSet {}; TEST_F() local 311 auto checks = ark::es2panda::compiler::ast_verifier::InvariantNameSet {}; TEST_F() local 342 auto checks = ark::es2panda::compiler::ast_verifier::InvariantNameSet {}; TEST_F() local [all...] |
H A D | ast_verifier_getter_setter_test.cpp | 53 InvariantNameSet checks; in TEST_F() local 54 checks.insert("GetterSetterValidationForAll"); in TEST_F() 55 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 83 InvariantNameSet checks; in TEST_F() local 84 checks.insert("GetterSetterValidationForAll"); in TEST_F() 85 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 112 InvariantNameSet checks; in TEST_F() local 113 checks.insert("GetterSetterValidationForAll"); in TEST_F() 114 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
H A D | ast_verifier_variable_has_enclosing_scope_test.cpp | 49 InvariantNameSet checks; in TEST_F() local 50 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F() 51 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 78 InvariantNameSet checks; in TEST_F() local 79 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F() 80 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 104 InvariantNameSet checks; in TEST_F() local 105 checks.insert("VariableHasEnclosingScopeForAll"); in TEST_F() 106 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
H A D | ast_verifier_getter_setter_neg_test.cpp | 68 InvariantNameSet checks; in TEST_F() local 69 checks.insert("GetterSetterValidationForAll"); in TEST_F() 70 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 115 InvariantNameSet checks; in TEST_F() local 116 checks.insert("GetterSetterValidationForAll"); in TEST_F() 117 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 165 InvariantNameSet checks; in TEST_F() local 166 checks.insert("GetterSetterValidationForAll"); in TEST_F() 167 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 217 InvariantNameSet checks; in TEST_F() local 265 InvariantNameSet checks; TEST_F() local 314 InvariantNameSet checks; TEST_F() local [all...] |
H A D | ast_verifier_every_child_has_valid_parent_test.cpp | 44 InvariantNameSet checks; in TEST_F() local 45 checks.insert("EveryChildHasValidParentForAll"); in TEST_F() 46 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 69 InvariantNameSet checks; in TEST_F() local 70 checks.insert("EveryChildHasValidParentForAll"); in TEST_F() 71 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
H A D | ast_verifier_reference_typeannotation_test.cpp | 53 InvariantNameSet checks; in TEST_F() local 54 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F() 56 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 80 InvariantNameSet checks; in TEST_F() local 81 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F() 82 const auto &messages = verifier.Verify(ast, checks); in TEST_F() 103 InvariantNameSet checks; in TEST_F() local 104 checks.insert("ReferenceTypeAnnotationIsNullForAll"); in TEST_F() 105 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
H A D | ast_verifier_private_protected_public_access_correct_test.cpp | 76 InvariantNameSet checks; in TEST_F() local 77 checks.insert("ModifierAccessValidForAll"); in TEST_F() 78 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
H A D | ast_verifier_check_normal_loop_test.cpp | 80 InvariantNameSet checks; in TEST_P() local 81 checks.insert("CheckInfiniteLoopForAll"); in TEST_P() 82 const auto &messages = verifier.Verify(ast, checks); in TEST_P()
|
H A D | ast_verifier_protected_access_correct_test.cpp | 50 InvariantNameSet checks; in TEST_F() local 51 checks.insert("ModifierAccessValidForAll"); in TEST_F() 52 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
H A D | ast_verifier_check_infinite_loop_test.cpp | 97 InvariantNameSet checks; in TEST_P() local 98 checks.insert("CheckInfiniteLoopForAll"); in TEST_P() 99 const auto &messages = verifier.Verify(ast, checks); in TEST_P()
|
H A D | ast_verifier_check_abstract_call_test.cpp | 77 InvariantNameSet checks; in TEST_F() local 78 checks.insert("CheckAbstractMethodForAll"); in TEST_F() 79 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
|
/arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/plugins/astchecker/ |
H A D | util_astchecker.py | 43 checks: dict, line: int, col: int, error_file: str = '') -> None: 48 self.checks = checks 52 return f'TestCase({self.name}, {self.line}:{self.col}, {self.test_type}, {self.checks}, {self.error_file})' 108 expected_error = f'{test.checks["error"]}', f'[{file_name}:{test.line}:{test.col}]' 254 if self.check_properties(node, test.checks):
|
/arkcompiler/runtime_core/tests/checked/ |
H A D | checker.rb | 492 checks = [] 506 raise "Checker with name '#{name}'' already exists" if checks.any? { |x| x.name == name } 509 checks << check 512 checks
|
/arkcompiler/runtime_core/static_core/tests/checked/ |
H A D | checker.rb | 655 checks = [] 669 checks << check_llvm 677 raise "Checker with name '#{name}'' already exists" if checks.any? { |x| x.name == name } 682 checks << check 690 checks
|
/arkcompiler/runtime_core/static_core/verification/config/handlers/ |
H A D | config_handler_method_options.cpp | 205 bool ProcessSectionCheck(const Literals &checks, MethodOptions *options) 208 for (const auto &c : checks) {
|
/arkcompiler/runtime_core/static_core/compiler/optimizer/ir/ |
H A D | ir_constructor.h | 880 IrConstructor &SetChecks(HclassChecks checks) in SetChecks() argument 884 switch (checks) { in SetChecks()
|