Function _RecordPropagateEntry

src/execution_plan/record.c:14–32

migrate the entry at the given index in the source Record to the same index in the destination. Ownership is transferred according to transfer_ownership

// migrate the entry at the given index in the source Record to the same index
// in the destination. Ownership is transferred according to transfer_ownership
static void _RecordPropagateEntry
(
	Record dest,
	Record src,
	uint idx,
	bool transfer_ownership
) {
	// copy the entry
	dest->entries[idx] = src->entries[idx];

	// ownership is determined according to transfer_ownership
	if(src->entries[idx].type == REC_TYPE_SCALAR) {
		if(transfer_ownership) {
			SIValue_MakeVolatile(&src->entries[idx].value.s);
		} else {
			SIValue_MakeVolatile(&dest->entries[idx].value.s);
		}
	}
}

// this function is currently unused
Record Record_New