Lines Matching refs:decode_time
664 decode_time (0, 0);
667 /* output differs from similar timedate because decode_time doesn't round tz offset */
668 decode_time (86400, -1927/225);
671 /* output differs from similar timedate because decode_time doesn't round tz offset */
672 decode_time (86400, 1927/225);
675 decode_time (0, float (0));
678 /* output differs from similar timedate because decode_time doesn't round tz offset */
679 decode_time (86400, float (-1927/225));
682 /* output differs from similar timedate because decode_time doesn't round tz offset */
683 decode_time (86400, float (1927/225));
689 decode_time (1614433196, -8);
695 decode_time (4097402993, 0);
755 map (lambda ([tz], decode_time (0, tz)),
808 map (lambda ([tz], decode_time (3017516508, tz)), makelist (h, h, -12, 12));
835 map (lambda ([tz], decode_time (3017516508, tz)),
873 map (lambda ([l], apply (decode_time, l)),
882 /* encode_time and decode_time should be inverses, for a given timezone offset. */
890 t_decoded : decode_time (t, tz_offset),
894 else ('apply (encode_time, 'decode_time (t, tz_offset)) = t_decoded_encoded) # t),
901 t_decoded : decode_time (t),
905 else ('apply (encode_time, 'decode_time (t)) = t_decoded_encoded) # t),
921 a_encoded_decoded : decode_time (a_encoded, tz_offset),
924 else ('decode_time (funmake (encode_time, a), tz_offset) = a_encoded_decoded) # a),
938 a_encoded_decoded : decode_time (a_encoded),
941 else ('decode_time (funmake (encode_time, a)) = a_encoded_decoded) # a),