PIPS
Data Fields
multi_recurse Struct Reference

the current data needed for a multi recursion are stored in a multi recurse struct. More...

+ Collaboration diagram for multi_recurse:

Data Fields

hash_table seen
 
bool always_recurse
 
GenDecisionTableType * domains
 
GenDecisionTableType * decisions
 
GenFilterTableType * filters
 
GenRewriteTableType * rewrites
 
void * context
 
stack upwards
 
gen_chunk * previous
 
gen_chunk * current
 

Detailed Description

the current data needed for a multi recursion are stored in a multi recurse struct.

  • the seen hash_table stores the already encountered obj, not to walk twice thru them. The previous implementation used 2 recursions, one to mark the obj to visit, with an associated number, and the other was the actual recursion. This version is lazy, and just marks the encountered nodes, thus allowing the full benefit of the decision table to avoid walking thru the whole data structure.
  • the visited domains are marked true in domains. I could have checked that the filter is not NULL, but it is clearer this way, I think, for the one who will try to understand, if any:-)
  • the decision table used is in decisions. It is computed as the logical sum of the decision tables for the domains to be walked thru
  • filters and rewrites store the user decision functions for each domain.
  • context passed to filters and rewrites functions, as a 2nd arg.

Definition at line 3108 of file genClib.c.

Field Documentation

◆ always_recurse

bool multi_recurse::always_recurse

Definition at line 3114 of file genClib.c.

Referenced by gen_internal_context_multi_recurse(), quick_multi_recurse_obj_in(), and quick_multi_recurse_simple_in().

◆ context

void* multi_recurse::context

Definition at line 3123 of file genClib.c.

Referenced by gen_internal_context_multi_recurse(), quick_multi_recurse_obj_in(), and quick_multi_recurse_obj_out().

◆ current

gen_chunk* multi_recurse::current

Definition at line 3129 of file genClib.c.

Referenced by gen_get_current_object(), gen_internal_context_multi_recurse(), quick_multi_recurse_obj_in(), and quick_multi_recurse_obj_out().

◆ decisions

GenDecisionTableType* multi_recurse::decisions

Definition at line 3118 of file genClib.c.

Referenced by gen_internal_context_multi_recurse(), quick_multi_recurse_obj_in(), and quick_multi_recurse_simple_in().

◆ domains

GenDecisionTableType* multi_recurse::domains

Definition at line 3116 of file genClib.c.

Referenced by gen_internal_context_multi_recurse(), quick_multi_recurse_obj_in(), quick_multi_recurse_obj_out(), and quick_multi_recurse_simple_in().

◆ filters

GenFilterTableType* multi_recurse::filters

Definition at line 3120 of file genClib.c.

Referenced by gen_internal_context_multi_recurse(), and quick_multi_recurse_obj_in().

◆ previous

gen_chunk* multi_recurse::previous

Definition at line 3127 of file genClib.c.

Referenced by gen_get_recurse_previous_visited_object(), gen_internal_context_multi_recurse(), quick_multi_recurse_obj_in(), and quick_multi_recurse_obj_out().

◆ rewrites

GenRewriteTableType* multi_recurse::rewrites

Definition at line 3121 of file genClib.c.

Referenced by gen_internal_context_multi_recurse(), and quick_multi_recurse_obj_out().

◆ seen

hash_table multi_recurse::seen

Definition at line 3111 of file genClib.c.

Referenced by gen_get_ancestor(), gen_get_recurse_ancestor(), gen_internal_context_multi_recurse(), gen_recurse_stop(), and quick_multi_already_seen_p().

◆ upwards

stack multi_recurse::upwards

Definition at line 3125 of file genClib.c.

Referenced by gen_get_recurse_current_ancestor(), gen_internal_context_multi_recurse(), quick_multi_already_seen_p(), quick_multi_recurse_obj_in(), and quick_multi_recurse_obj_out().

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