- def visit_handle(self, handle, lvalue, rvalue):
- OpaqueValueExtractor().visit(handle.type, lvalue, rvalue);
- new_lvalue = handle_entry(handle, lvalue)
- print ' if (retrace::verbosity >= 2)'
+ def visitIntPointer(self, pointer, lvalue, rvalue):
+ print ' %s = static_cast<%s>((%s).toPointer());' % (lvalue, pointer, rvalue)
+
+ def visitLinearPointer(self, pointer, lvalue, rvalue):
+ print ' %s = static_cast<%s>(retrace::toPointer(%s));' % (lvalue, pointer, rvalue)
+
+ def visitHandle(self, handle, lvalue, rvalue):
+ #OpaqueValueDeserializer().visit(handle.type, lvalue, rvalue);
+ self.visit(handle.type, lvalue, rvalue);
+ new_lvalue = lookupHandle(handle, lvalue)
+ print ' if (retrace::verbosity >= 2) {'