C++ (Cpp) d_write Examples

Example #1

File: data_dp.cpp Project: Dthird/CBMC

void data_dpt::dp_analysis(const abstract_eventt& read, 
  const abstract_eventt& write)
{
  datat d_read(read.variable,read.source_location);
  datat d_write(write.variable,write.source_location);
  dp_analysis(d_read,read.local,d_write,write.local);
}

Example #2

File: dev.c Project: prelegalwonder/bacula

/* write to fd */
ssize_t DEVICE::write(const void *buf, size_t len)
{
   ssize_t write_len ;

   get_timer_count();

   write_len = d_write(m_fd, buf, len);

   last_tick = get_timer_count();

   DevWriteTime += last_tick;
   VolCatInfo.VolWriteTime += last_tick;

   if (write_len > 0) {         /* skip error */
      DevWriteBytes += write_len;
   }

   return write_len;
}