Lines Matching defs:Explorer

23 class Explorer(object):
26 # This map is filled by the Explorer.init_env() function
84 if type_code in Explorer.type_code_to_explorer_map:
85 explorer_class = Explorer.type_code_to_explorer_map[type_code]
89 print("Explorer for type '%s' not yet available.\n" % str(value.type))
109 if type_code in Explorer.type_code_to_explorer_map:
110 explorer_class = Explorer.type_code_to_explorer_map[type_code]
114 print("Explorer for type '%s' not yet available.\n" % str(datatype))
118 """Initializes the Explorer environment.
123 Explorer.type_code_to_explorer_map = {
156 return type.code in Explorer._SCALAR_TYPE_LIST
195 See Explorer.explore_expr and Explorer.is_scalar_type for more
202 Explorer.return_to_parent_value_prompt()
203 Explorer.return_to_parent_value()
210 See Explorer.explore_type and Explorer.is_scalar_type for more
225 Explorer.return_to_enclosing_type_prompt()
226 Explorer.return_to_enclosing_type()
237 See Explorer.explore_expr for more information.
256 Explorer.return_to_parent_value_prompt()
258 Explorer.explore_expr(
259 "*%s" % Explorer.guard_expr(expr), deref_value, is_child
276 element_expr = "%s[%d]" % (Explorer.guard_expr(expr), index)
283 Explorer.explore_expr(element_expr, element, True)
287 Explorer.return_to_parent_value()
293 See Explorer.explore_type for more information.
298 Explorer.explore_type("the pointee type of %s" % name, target_type, is_child)
308 See Explorer.explore_expr for more information.
311 Explorer.explore_expr(expr, referenced_value, is_child)
317 See Explorer.explore_type for more information.
320 Explorer.explore_type(name, target_type, is_child)
330 See Explorer.explore_expr for more information.
344 Explorer.return_to_parent_value()
356 Explorer.explore_expr(
357 "%s[%d]" % (Explorer.guard_expr(expr), index), element, True
364 See Explorer.explore_type for more information.
369 Explorer.explore_type("the array element of %s" % name, target_type, is_child)
399 See Explorer.explore_expr for more information.
416 Explorer.return_to_parent_value_prompt()
431 field_full_name = Explorer.guard_expr(expr) + "." + field.name
444 if Explorer.is_scalar_type(field.type):
475 Explorer.explore_expr(
483 Explorer.return_to_parent_value()
486 Explorer.return_to_parent_value_prompt()
493 See Explorer.explore_type for more information.
509 Explorer.return_to_enclosing_type_prompt()
563 Explorer.explore_type(
569 Explorer.return_to_enclosing_type()
572 Explorer.return_to_enclosing_type_prompt()
583 See Explorer.explore_expr for more information.
592 Explorer.explore_expr(expr, value.cast(actual_type), is_child)
598 See Explorer.explore_type for more information.
608 Explorer.explore_type(name, actual_type, is_child)
698 Explorer.explore_expr(arg_str, value, False)
704 Explorer.explore_type(arg_str, datatype, False)
744 Explorer.explore_expr(arg_str, value, False)
767 Explorer.explore_type(arg_str, datatype, False)
773 Explorer.explore_type(str(value.type), value.type, False)
781 Explorer.init_env()