28 #if defined (HAVE_CONFIG_H)
39 make_handle_fraction ()
41 static double maxrand = RAND_MAX + 2.0;
43 return (
rand () + 1.0) / maxrand;
55 auto p = m_handle_free_list.begin ();
57 if (p != m_handle_free_list.end ())
60 m_handle_free_list.erase (p);
66 m_next_handle =
std::ceil (m_next_handle) - 1.0 - make_handle_fraction ();
77 auto p = m_handle_map.find (h);
79 if (p == m_handle_map.end ())
80 error (
"url_handle_manager::free: invalid object %g", h.
value ());
87 m_handle_map.erase (p);
90 m_handle_free_list.insert
95 OCTAVE_END_NAMESPACE(
octave)
void free(const url_handle &h)
OCTAVE_BEGIN_NAMESPACE(octave) static octave_value daspk_fcn
void() error(const char *fmt,...)
std::complex< T > ceil(const std::complex< T > &x)