LocalContext Struct Reference

Public Attributes
const RzILValidateGlobalContext *	global_ctx
HtPP *	local_vars_known
HtPP *	local_vars_available
	vars that can be accessed right now More...

Detailed Description

Definition at line 108 of file il_validate.c.

Member Data Documentation

global_ctx

const RzILValidateGlobalContext* LocalContext::global_ctx

Definition at line 109 of file il_validate.c.

local_vars_available

HtPP* LocalContext::local_vars_available

vars that can be accessed right now

Definition at line 119 of file il_validate.c.

Referenced by local_var_meet_avail_cb().

local_vars_known

HtPP* LocalContext::local_vars_known

all vars' types that were encountered somewhere before, for enforcing vars always have the same type, even if they are not available anymore. This must always be a superset of local_vars_available. This owns all values, local_vars_available borrows them.

Definition at line 117 of file il_validate.c.

Referenced by local_var_meet_known_cb(), and rz_il_validate_effect().

---

The documentation for this struct was generated from the following file:

• librz/il/il_validate.c