Lines Matching refs:state
157 def __init__(self, state, address, pname):
159 self.state = state
162 t1 = address in state.ptr_list
164 rname = state.ptr_type_list[address]
178 tmp = "{}_{}".format(pname, state.ptr_types_list[pname])
179 state.ptr_list[address] = tmp
180 state.ptr_type_list[address] = pname
183 if pname not in self.state.ptr_types_list:
184 self.state.ptr_types_list[pname] = 0
186 self.state.ptr_types_list[pname] += delta
189 return self.state.ptr_list[self.address]