Home
last modified time | relevance | path

Searched refs:checks (Results 1 - 23 of 23) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/test/unit/public/
H A Dast_verifier_private_access_negative_test_1_4.cpp50 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 Dast_verifier_identifier_has_variable_test.cpp47 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 Dast_verifier_check_scope_declaration_test.cpp43 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 Dast_verifier_protected_access_negative_test_4_6.cpp65 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 Dast_verifier_private_access_negative_test_5_7.cpp65 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 Dast_verifier_protected_access_negative_test_1_3.cpp51 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 Dast_verifier_variable_has_scope_test.cpp46 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 Dast_verifier_short_test.cpp58 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 Dast_verifier_getter_setter_test.cpp53 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 Dast_verifier_variable_has_enclosing_scope_test.cpp49 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 Dast_verifier_getter_setter_neg_test.cpp68 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 Dast_verifier_every_child_has_valid_parent_test.cpp44 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 Dast_verifier_reference_typeannotation_test.cpp53 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 Dast_verifier_private_protected_public_access_correct_test.cpp76 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 Dast_verifier_check_normal_loop_test.cpp80 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 Dast_verifier_protected_access_correct_test.cpp50 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 Dast_verifier_check_infinite_loop_test.cpp97 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 Dast_verifier_check_abstract_call_test.cpp77 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 Dutil_astchecker.py43 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 Dchecker.rb492 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 Dchecker.rb655 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 Dconfig_handler_method_options.cpp205 bool ProcessSectionCheck(const Literals &checks, MethodOptions *options)
208 for (const auto &c : checks) {
/arkcompiler/runtime_core/static_core/compiler/optimizer/ir/
H A Dir_constructor.h880 IrConstructor &SetChecks(HclassChecks checks) in SetChecks() argument
884 switch (checks) { in SetChecks()

Completed in 35 milliseconds