Home
last modified time | relevance | path

Searched refs:Verify (Results 1 - 25 of 65) sorted by relevance

123

/arkcompiler/ets_frontend/ets2panda/test/unit/public/
H A Dast_verifier_identifier_has_variable_test.cpp49 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
82 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
107 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
133 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
159 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
215 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_check_scope_declaration_test.cpp45 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
71 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
101 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
127 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
159 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_variable_has_scope_test.cpp48 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
87 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
116 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
153 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
187 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_short_test.cpp60 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
76 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
92 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
107 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
130 const auto &messages = verifier.Verify(&ident, checks); in TEST_F()
154 const auto &messages = verifier.Verify(&ident, checks); in TEST_F()
175 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
202 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
224 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
244 const auto &messages = verifier.Verify(arithmeticExpressio in TEST_F()
[all...]
H A Dast_verifier_getter_setter_test.cpp55 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
85 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
114 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_variable_has_enclosing_scope_test.cpp51 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
80 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
106 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_private_access_negative_test_1_4.cpp52 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
90 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
129 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
168 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_getter_setter_neg_test.cpp70 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
117 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
167 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
219 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
267 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
316 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_every_child_has_valid_parent_test.cpp46 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
71 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_protected_access_negative_test_4_6.cpp67 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
120 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
174 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_private_access_negative_test_5_7.cpp67 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
120 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
173 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_protected_access_negative_test_1_3.cpp53 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
92 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
131 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_reference_typeannotation_test.cpp56 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
82 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
105 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_private_protected_public_access_correct_test.cpp78 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_check_normal_loop_test.cpp82 const auto &messages = verifier.Verify(ast, checks); in TEST_P()
H A Dast_verifier_protected_access_correct_test.cpp52 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
H A Dast_verifier_check_infinite_loop_test.cpp99 const auto &messages = verifier.Verify(ast, checks); in TEST_P()
/arkcompiler/runtime_core/verifier/
H A Dverify.cpp20 bool Verify(const std::string &input_file) in Verify() function
23 return vf.Verify(); in Verify()
H A Dverify.h20 bool Verify(const std::string &input_file);
H A Dmain.cpp57 return Verify(input_file.GetValue()) ? 0 : 1; in main()
/arkcompiler/ets_runtime/ecmascript/pgo_profiler/ap_file/
H A Dpgo_file_info.cpp49 if (!inHeader->Verify(buffer, bufferSize)) { in BuildFromElastic()
82 LOG_ECMA(ERROR) << "Verify ap file's file size failed. size: " << std::hex << bufferSize << " vs " in VerifyFileSize()
98 LOG_ECMA(ERROR) << "Verify ap file's consistency failed. checksum: " << std::hex << checksum << " vs " in VerifyConsistency()
134 if (!Verify()) { in ParseFromText()
151 if (!Verify()) { in ProcessToText()
H A Dpgo_file_info.h151 bool Verify() const in Verify() function in panda::ecmascript::pgo::PGOProfilerHeader
156 bool Verify(void *buffer, size_t bufferSize) const in Verify() function in panda::ecmascript::pgo::PGOProfilerHeader
158 if (!Verify()) { in Verify()
/arkcompiler/runtime_core/static_core/verification/jobs/
H A Djob.cpp50 bool Job::Verify(TypeSystem *types) const in Verify() function in ark::verifier::Job
88 if (!Verify(types)) { in DoChecks()
/arkcompiler/ets_frontend/ets2panda/ast_verifier/
H A DASTVerifier.cpp69 return Verify(ast, recursiveChecks); in VerifyFull()
72 Messages ASTVerifier::Verify(const ir::AstNode *ast, const InvariantNameSet &invariantSet) in Verify() function in ark::es2panda::compiler::ast_verifier::ASTVerifier
/arkcompiler/runtime_core/static_core/verification/
H A Dpublic.h49 PANDA_PUBLIC_API Status Verify(Service *service, ark::Method *method, VerificationMode mode);

Completed in 9 milliseconds

123