1#ifndef NDS_REQUEST_FRAGMENT_HH
2#define NDS_REQUEST_FRAGMENT_HH
20 channel::channel_names_type
names;
32 buffer::gps_second_type gps_start,
33 buffer::gps_second_type gps_stop );
A buffer holds the data contents of a channel.
Definition nds_buffer.hh:28
std::vector< std::string > channel_names_type
A vector of channel names.
Definition nds_channel.hh:104
A list of simple segments. This does not contain the channel name.
Definition nds_availability.hh:80
std::vector< request_fragment > request_fragments_type
Definition nds_request_fragment.hh:36
The NDS client namespace.
Definition debug_stream.cc:18
Definition nds_request_fragment.hh:13
channel::channel_names_type names
Definition nds_request_fragment.hh:20
bool is_compatible(const time_span_type &avail) const
Definition nds_request_fragment.cc:13
time_span_type time_spans
Definition nds_request_fragment.hh:22
std::vector< buffer * > working_buffers
Definition nds_request_fragment.hh:17
simple_segment_list_type time_span_type
Definition nds_request_fragment.hh:18
bool push_back_if(const std::string &name, time_span_type avail, buffer *dest_buffer)
Definition nds_request_fragment.cc:23
void bulk_set(const buffer::channel_names_type &names, const working_buffers &dest_buffers, buffer::gps_second_type gps_start, buffer::gps_second_type gps_stop)
Definition nds_request_fragment.cc:41
working_buffers buffers
Definition nds_request_fragment.hh:21