Home
last modified time | relevance | path

Searched defs:service (Results 1 – 9 of 9) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/
Dpublic.cpp82 void DestroyService(Service *service, bool updateCacheFile) in DestroyService()
94 Config const *GetServiceConfig(Service const *service) in GetServiceConfig()
114 static void ReportStatus(Service const *service, Method const *method, std::string const &status) in ReportStatus()
142 static std::optional<Status> CheckBeforeVerification(Service *service, ark::Method *method, Verific… in CheckBeforeVerification()
190 Status Verify(Service *service, ark::Method *method, VerificationMode mode) in Verify()
/arkcompiler/runtime_core/static_core/verification/absint/tests/
Dreg_context_test.cpp37 auto *service = CreateService(config, Runtime::GetCurrent()->GetInternalAllocator(), in TEST_F() local
Dexec_context_test.cpp91 auto *service = CreateService(config, Runtime::GetCurrent()->GetInternalAllocator(), in TEST_F() local
/arkcompiler/runtime_core/static_core/verification/jobs/
Dservice.h73 …explicit TaskProcessor(VerifierService *service, SourceLang lang) : service_ {service}, lang_ {lan… in TaskProcessor()
Djob.h35 Job(Service *service, Method const *method, const MethodOptions &options) in Job()
/arkcompiler/runtime_core/static_core/verification/value/tests/
Dabstract_typed_value_test.cpp35 auto *service = CreateService(config, Runtime::GetCurrent()->GetInternalAllocator(), in TEST_F() local
/arkcompiler/runtime_core/static_core/verification/type/
Dtype_system.cpp48 TypeSystem::TypeSystem(VerifierService *service, panda_file::SourceLang lang) in TypeSystem()
/arkcompiler/runtime_core/static_core/verification/verifier/
Dverifier.cpp51 auto *service = Runtime::GetCurrent()->GetVerifierService(); in Worker() local
/arkcompiler/runtime_core/static_core/runtime/
Dmethod.cpp491 auto service = Runtime::GetCurrent()->GetVerifierService(); in Verify() local