44 #ifndef GNSSTK_STREAMBUF_HPP
45 #define GNSSTK_STREAMBUF_HPP
54 template <
typename ch,
typename tr>
58 typedef std::basic_streambuf<ch, tr>
Base;
59 typedef std::basic_ios<ch, tr>
IOS;
80 if (c != char_traits::eof())
95 if (c != char_traits::eof())
114 if (c != char_traits::eof())
126 return char_traits::eof();
138 std::streamsize copied = 0;
142 if (c == char_traits::eof())
break;
143 *p++ = char_traits::to_char_type(c);
153 return char_traits::to_int_type(c);
159 return char_traits::eof();
164 return char_traits::eof();
181 #endif //GNSSTK_BASICSTREAMBUF_HPP