Home
last modified time | relevance | path

Searched defs:typeSystem (Results 1 - 4 of 4) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/
H A Dverification_context.h41 VerificationContext(TypeSystem *typeSystem, Job const *job, Type methodClassType) in VerificationContext() argument
H A Dabsint.cpp59 VerificationContext PrepareVerificationContext(TypeSystem *typeSystem, Job const *job) in PrepareVerificationContext() argument
166 auto *typeSystem = verifCtx.GetTypeSystem(); in ComputeRegContext() local
H A Dexec_context.h179 ExecContext(const uint8_t *pcStartPtr, const uint8_t *pcEndPtr, TypeSystem *typeSystem) in ExecContext() argument
/arkcompiler/runtime_core/static_core/verification/
H A Dverification_options.h48 bool typeSystem = false; member

Completed in 2 milliseconds