substudy 0.5.2

Language-learning tools for working with parallel, bilingual subtitles and media files.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

// Compiled automatically using `build.rs` script and `peg`.

use std::str::FromStr;

use srt::{Subtitle, SubtitleFile};
use time::Period;

#[pub]
subtitle_file -> SubtitleFile
    = blank_lines? result:subtitles blank_lines? {
        SubtitleFile { subtitles: result }
    }

subtitles -> Vec<Subtitle>
    = subs:subtitle ** blank_lines { subs }

subtitle -> Subtitle
    = index:digits newline p:time_period newline l:lines {
        Subtitle { index: index, period: p, lines: l }
    }

time_period -> Period
    = begin:time " --> " end:time {?
        let mut end = end;
        if begin == end {
            // If subtitle has zero length, fix it. These are generated by
            // the Aeneas audio/text alignment tool, which is otherwise
            // excellent for use with audiobooks.
            end += 0.001;
        }
        match Period::new(begin, end) {
          Ok(p) => Ok(p),
          Err(_) => Err("invalid time period"),
        }
    }

time -> f32
    = hh:digits ":" mm:digits ":" ss:comma_float {
        (hh as f32)*3600.0 + (mm as f32)*60.0 + ss
    }

lines -> Vec<String>
    = lines:line ** newline { lines }

line -> String
    = text:$([^\r\n]+) { text.to_string() }

digits -> usize
    = digits:$([0-9]+) { FromStr::from_str(digits).unwrap() }

comma_float -> f32
    = float_str:$([0-9]+ "," [0-9]+) {
        let fixed: String = float_str.replace(",", ".");
        FromStr::from_str(&fixed).unwrap()
    }

newline
    = "\r"? "\n"

blank_lines
    = newline+