boolean function ( ) { return id != - 1 ; }
this pointer/object is reachable if its enclosing method is reachable . pleas always call this method to check the status before querying points-to information . concode_field_sep int id concode_elem_sep int Qpos concode_elem_sep IVarAbstraction parent concode_elem_sep IFigureManager stubManager concode_elem_sep int lrf_value concode_elem_sep IFigureManager deadManager concode_elem_sep Node me concode_elem_sep RectangleNode pres concode_elem_sep boolean willUpdate concode_elem_sep int top_value concode_field_sep Set<AllocNode> get_all_points_to_objects concode_elem_sep IVarAbstraction getRepresentative concode_elem_sep boolean isDeadObject concode_elem_sep boolean hasPTResult concode_elem_sep void put_complex_constraint concode_elem_sep int getNumber concode_elem_sep void drop_duplicates concode_elem_sep void do_after_propagation concode_elem_sep boolean heap_sensitive_intersection concode_elem_sep boolean lessThan concode_elem_sep IVarAbstraction merge concode_elem_sep void propagate concode_elem_sep void get_all_context_sensitive_objects concode_elem_sep boolean add_simple_constraint_3 concode_elem_sep boolean add_simple_constraint_4 concode_elem_sep void do_before_propagation concode_elem_sep void deleteAll concode_elem_sep void reconstruct concode_elem_sep boolean pointer_interval_points_to concode_elem_sep SootMethod enclosingMethod concode_elem_sep void remove_points_to concode_elem_sep int num_of_diff_edges concode_elem_sep void setNumber concode_elem_sep int count_flow_intervals concode_elem_sep void keepPointsToOnly concode_elem_sep void print_context_sensitive_points_to concode_elem_sep Node getWrappedNode concode_elem_sep int count_pts_intervals concode_elem_sep Type getType concode_elem_sep boolean add_points_to_4 concode_elem_sep boolean add_points_to_3 concode_elem_sep void injectPts concode_elem_sep boolean isLocalPointer concode_elem_sep String toString concode_elem_sep int count_new_pts_intervals concode_elem_sep int num_of_diff_objs