Home
last modified time | relevance | path

Searched defs:typeSystem (Results 1 – 7 of 7) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/tests/
Dreg_context_test.cpp39 TypeSystem typeSystem(service->verifierService); in TEST_F() local
Dexec_context_test.cpp93 TypeSystem typeSystem(service->verifierService); in TEST_F() local
/arkcompiler/runtime_core/static_core/verification/value/tests/
Dabstract_typed_value_test.cpp37 TypeSystem typeSystem(service->verifierService); in TEST_F() local
/arkcompiler/runtime_core/static_core/verification/absint/
Dverification_context.h41 VerificationContext(TypeSystem *typeSystem, Job const *job, Type methodClassType) in VerificationContext()
Dabsint.cpp59 VerificationContext PrepareVerificationContext(TypeSystem *typeSystem, Job const *job) in PrepareVerificationContext()
166 auto *typeSystem = verifCtx.GetTypeSystem(); in ComputeRegContext() local
Dexec_context.h179 ExecContext(const uint8_t *pcStartPtr, const uint8_t *pcEndPtr, TypeSystem *typeSystem) in ExecContext()
/arkcompiler/runtime_core/static_core/verification/
Dverification_options.h47 bool typeSystem = false; member