Home
last modified time | relevance | path

Searched full:verificationcontext (Results 1 – 6 of 6) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/
Dabsint.h31 VerificationContext PrepareVerificationContext(TypeSystem *typeSystem, Job const *job);
33 VerificationStatus AbstractInterpret(VerificationContext &verifCtx, const uint8_t *pc);
35 VerificationStatus VerifyMethod(VerificationContext &verifCtx);
Dverification_context.h37 class VerificationContext {
41 VerificationContext(TypeSystem *typeSystem, Job const *job, Type methodClassType) in VerificationContext() function
71 ~VerificationContext() = default;
72 DEFAULT_MOVE_SEMANTIC(VerificationContext);
73 DEFAULT_COPY_SEMANTIC(VerificationContext);
Dabsint.cpp59 VerificationContext PrepareVerificationContext(TypeSystem *typeSystem, Job const *job) in PrepareVerificationContext()
67 VerificationContext verifCtx {typeSystem, job, methodClassType}; in PrepareVerificationContext()
128 VerificationStatus VerifyEntryPoints(VerificationContext &verifCtx, ExecContext &execCtx) in VerifyEntryPoints()
161 bool ComputeRegContext(Method const *method, TryBlock const *tryBlock, VerificationContext &verifCt… in ComputeRegContext()
210 VerificationContext *verifCtx, RegContext *regContext) in VerifyExcHandler()
256 VerificationStatus VerifyMethod(VerificationContext &verifCtx) in VerifyMethod()
Dabs_int_inl.h162 …AbsIntInstructionHandler(VerificationContext &verifCtx, const uint8_t *pc, EntryPointType codeType) in AbsIntInstructionHandler()
4314 VerificationContext &context_;
/arkcompiler/runtime_core/static_core/verification/gen/templates/
Dabs_int_inl_gen.h.erb17 inline VerificationStatus AbstractInterpret(VerificationContext& verifCtx, const uint8_t* pc, Entry…
/arkcompiler/ets_frontend/ets2panda/public/
DcppToCTypes.yaml3216 name: 'VerificationContext'
3228 …reinterpret_cast<compiler::ast_verifier::VerificationContext |es2panda_arg.type.ptr_depth|>(|arg_n…
3235 … (reinterpret_cast<?const? compiler::ast_verifier::VerificationContext *>(classInstance))->
3238 ctxAllocator->New<compiler::ast_verifier::VerificationContext>(
3245 name: 'VerificationContext'
3257 *(reinterpret_cast<compiler::ast_verifier::VerificationContext *>(|arg_name|));