Ticket #1728: date_time_unref.patch
File date_time_unref.patch, 3.2 KB (added by , 15 years ago) |
---|
-
date_parsing.hpp
210 210 inline 211 211 date_type 212 212 from_stream_type(iterator_type& beg, 213 iterator_type& end,213 iterator_type& /*end*/, 214 214 std::string) 215 215 { 216 216 return parse_date<date_type>(*beg); … … 246 246 inline 247 247 date_type 248 248 from_stream_type(iterator_type& beg, 249 iterator_type& end,249 iterator_type& /*end*/, 250 250 std::wstring) { 251 251 std::wstring ws = *beg; 252 252 std::stringstream ss(""); -
local_timezone_defs.hpp
66 66 if (y < 2007) return Apr; 67 67 return Mar; 68 68 } 69 static day_of_week_type end_day(year_type y) {return Sunday;}69 static day_of_week_type end_day(year_type /*y*/) {return Sunday;} 70 70 static month_type end_month(year_type y) 71 71 { 72 72 if (y < 2007) return Oct; -
period_parser.hpp
119 119 period_type get_period(stream_itr_type& sitr, 120 120 stream_itr_type& stream_end, 121 121 std::ios_base& a_ios, 122 const period_type& p,122 const period_type& /*p*/, 123 123 const duration_type& dur_unit, 124 124 const facet_type& facet) const 125 125 { -
time.hpp
77 77 /*! Optional bool parameter will return time zone as an offset 78 78 * (ie "+07:00"). Empty string is returned for classes that do 79 79 * not use a time_zone */ 80 std::string zone_name(bool as_offset=false) const80 std::string zone_name(bool /*as_offset*/ = false) const 81 81 { 82 82 return time_system::zone_name(time_); 83 83 } 84 84 /*! Optional bool parameter will return time zone as an offset 85 85 * (ie "+07:00"). Empty string is returned for classes that do 86 86 * not use a time_zone */ 87 std::string zone_abbrev(bool as_offset=false) const87 std::string zone_abbrev(bool /*as_offset*/ = false) const 88 88 { 89 89 return time_system::zone_name(time_); 90 90 } -
time_system_split.hpp
76 76 77 77 static time_rep_type get_time_rep(const date_type& day, 78 78 const time_duration_type& tod, 79 date_time::dst_flags dst=not_dst)79 date_time::dst_flags /*dst*/ = not_dst) 80 80 { 81 81 if(day.is_special() || tod.is_special()) { 82 82 if(day.is_not_a_date() || tod.is_not_a_date_time()) {