model_server/ui_viewer/src/enable_reparse_buttons.cxx
// Find ldrOODT views that depend on the specified smt header and add
// the header to the pending list of the corresponding ldrOODT.
Find ldrOODT views that depend on the specified smt header and add
the header to the pending list of the corresponding ldrOODT.
Find ldrOODT views that depend on the specified smt header and add the header to the pending list of the corresponding ldrOODT .
void
add_to_pending_lists(smtHeader *smth)
{
	Initialize(add_to_pending_lists);
	viewerShell *vs;
	int i, j;
	for(i=0; vs = viewerShell::get_vs_by_idx(i); i++) {
		RTLNodePtr rtlnode = checked_cast(RTLNode, vs->get_rtl()->get_root());
		symbolArr &view_array = rtlnode->rtl_contents();
		int size = view_array.size();
		for(j = 0; j < size; j++) {
			viewPtr v = checked_cast(view, view_array[j]);
			if(v) {
				ldrPtr ldr_head = checked_cast(ldr, get_relation(ldr_of_view, v));
				if(ldr_head && is_ldrOODT(ldr_head) && view_contains(ldr_head, smth)) {
					checked_cast(ldrOODT, ldr_head)->add_pending(smth);
				}
			}
		}
	}
}
void add_to_pending_lists ( smtHeader * smth ) { Initialize ( add_to_pending_lists ) ; viewerShell * vs ; int i , j ; for ( i = 0 ; vs = viewerShell :: get_vs_by_idx ( i ) ; i ++ ) { RTLNodePtr rtlnode = checked_cast ( RTLNode , vs -> get_rtl ( ) -> get_root ( ) ) ; symbolArr & view_array = rtlnode -> rtl_contents ( ) ; int size = view_array . size ( ) ; for ( j = 0 ; j < size ; j ++ ) { viewPtr v = checked_cast ( view , view_array [ j ] ) ; if ( v ) { ldrPtr ldr_head = checked_cast ( ldr , get_relation ( ldr_of_view , v ) ) ; if ( ldr_head && is_ldrOODT ( ldr_head ) && view_contains ( ldr_head , smth ) ) { checked_cast ( ldrOODT , ldr_head ) -> add_pending ( smth ) ; } } } } }
Find ldrOODT views that depend on the specified smt header and add
the header to the pending list of the corresponding ldrOODT.
Find ldrOODT views that depend on the specified smt header and add the header to the pending list of the corresponding ldrOODT .