Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't use Floats to parse "extended" Time Spans #772

Merged
merged 1 commit into from
Feb 11, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 5 additions & 4 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ jobs:
# "ld: cannot find -lexecinfo"
# - NetBSD x86_64
- Solaris sparcv9
- Solaris x86_64
# - Solaris x86_64

# Testing other channels
- Windows Beta
Expand Down Expand Up @@ -482,9 +482,10 @@ jobs:
target: sparcv9-sun-solaris
tests: skip

- label: Solaris x86_64
target: x86_64-sun-solaris
tests: skip
# FIXME: The target got renamed and cross doesn't support it yet.
# - label: Solaris x86_64
# target: x86_64-pc-solaris
# tests: skip

# Testing other channels
- label: Windows Beta
Expand Down
105 changes: 73 additions & 32 deletions src/run/parser/livesplit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,19 +4,22 @@ use super::super::ComparisonError;
use crate::{
platform::prelude::*,
run::LinkedLayout,
util::xml::{
helper::{
attribute, attribute_escaped_err, end_tag, optional_attribute_escaped_err,
parse_attributes, parse_base, parse_children, reencode_children, text,
text_as_escaped_string_err, text_parsed, Error as XmlError,
util::{
ascii_char::AsciiChar,
xml::{
helper::{
attribute, attribute_escaped_err, end_tag, optional_attribute_escaped_err,
parse_attributes, parse_base, parse_children, reencode_children, text,
text_as_escaped_string_err, text_parsed, Error as XmlError,
},
Reader,
},
Reader,
},
AtomicDateTime, DateTime, Run, RunMetadata, Segment, Time, TimeSpan,
};
use alloc::borrow::Cow;
use core::{mem::MaybeUninit, str};
use time::{Date, PrimitiveDateTime};
use time::{Date, Duration, PrimitiveDateTime};

/// The Error type for splits files that couldn't be parsed by the LiveSplit
/// Parser.
Expand All @@ -42,6 +45,8 @@ pub enum Error {
/// The underlying error.
source: crate::timing::ParseError,
},
/// Failed to parse a time that contains days.
ParseExtendedTime,
/// Failed to parse a date.
ParseDate,
/// Parsed comparison has an invalid name.
Expand Down Expand Up @@ -164,17 +169,7 @@ where
F: FnOnce(TimeSpan),
{
text_as_escaped_string_err(reader, |text| {
let time_span = || -> Result<TimeSpan> {
if let Some((before_dot, after_dot)) = text.split_once('.') {
if after_dot.contains(':') {
let days = TimeSpan::from_days(before_dot.parse()?);
let time = after_dot.parse()?;
return Ok(days + time);
}
}
text.parse().map_err(Into::into)
}()?;
f(time_span);
f(parse_time_span(text)?);
Ok(())
})
}
Expand All @@ -184,24 +179,44 @@ where
F: FnOnce(Option<TimeSpan>),
{
text_as_escaped_string_err(reader, |text| {
let time_span = || -> Result<Option<TimeSpan>> {
if text.is_empty() {
return Ok(None);
}
if let Some((before_dot, after_dot)) = text.split_once('.') {
if after_dot.contains(':') {
let days = TimeSpan::from_days(before_dot.parse()?);
let time = after_dot.parse()?;
return Ok(Some(days + time));
}
}
Ok(Some(text.parse()?))
}()?;
f(time_span);
f(if text.is_empty() {
None
} else {
Some(parse_time_span(text)?)
});
Ok(())
})
}

fn parse_time_span(text: &str) -> Result<TimeSpan> {
if let Some((before_dot, after_dot)) = AsciiChar::DOT.split_once(text) {
if AsciiChar::COLON.contains(after_dot) {
const SECS_PER_DAY: i64 = 24 * 60 * 60;

let days_secs = before_dot
.parse::<i64>()
.ok()
.and_then(|s| s.checked_mul(SECS_PER_DAY))
.ok_or(Error::ParseExtendedTime)?;

let days: TimeSpan = Duration::seconds(days_secs).into();

let time: TimeSpan = after_dot.parse()?;

if time < TimeSpan::zero() {
return Err(Error::ParseExtendedTime);
}

return Ok(if days < TimeSpan::zero() {
days - time
} else {
days + time
});
}
}
text.parse().map_err(Into::into)
}

fn time<F>(reader: &mut Reader<'_>, f: F) -> Result<()>
where
F: FnOnce(Time),
Expand Down Expand Up @@ -505,3 +520,29 @@ pub fn parse(source: &str) -> Result<Run> {

Ok(run)
}

#[cfg(test)]
mod tests {
use super::*;

#[test]
fn time_span_parsing() {
assert_eq!(
parse_time_span("1.23:34:56.789")
.unwrap()
.to_seconds_and_subsec_nanoseconds(),
(171296, 789000000)
);
assert_eq!(
parse_time_span("-1.23:34:56.789")
.unwrap()
.to_seconds_and_subsec_nanoseconds(),
(-171296, -789000000)
);
parse_time_span("-1.-23:34:56.789").unwrap_err();
parse_time_span("1.-23:34:56.789").unwrap_err();
parse_time_span("-123.45.23:34:56.789").unwrap_err();
parse_time_span("NaN.23:34:56.789").unwrap_err();
parse_time_span("Inf.23:34:56.789").unwrap_err();
}
}
9 changes: 2 additions & 7 deletions src/timing/time_span.rs
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,6 @@ impl TimeSpan {
Self(Duration::seconds_f64(0.001 * milliseconds))
}

/// Creates a new `TimeSpan` from a given amount of days.
pub fn from_days(days: f64) -> Self {
Self(Duration::seconds_f64(days * (24.0 * 60.0 * 60.0)))
}

/// Converts the `TimeSpan` to a `Duration` from the `time` crate.
pub const fn to_duration(&self) -> Duration {
self.0
Expand Down Expand Up @@ -167,14 +162,14 @@ impl From<TimeSpan> for Duration {
impl Add for TimeSpan {
type Output = TimeSpan;
fn add(self, rhs: TimeSpan) -> TimeSpan {
TimeSpan(self.0 + rhs.0)
TimeSpan(self.0.saturating_add(rhs.0))
}
}

impl Sub for TimeSpan {
type Output = TimeSpan;
fn sub(self, rhs: TimeSpan) -> TimeSpan {
TimeSpan(self.0 - rhs.0)
TimeSpan(self.0.saturating_sub(rhs.0))
}
}

Expand Down
Loading