embassy-time-driver 0.1.0

Driver trait for embassy-time
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

import os
from glob import glob

abspath = os.path.abspath(__file__)
dname = os.path.dirname(abspath)
os.chdir(dname)

ticks = []
for i in range(10):
    ticks.append(10**i)
for i in range(1, 25):
    ticks.append(2**i)
for i in range(1, 20):
    ticks.append(2**i * 1000)
for i in range(1, 20):
    ticks.append(2**i * 10000)
for i in range(1, 10):
    ticks.append(2**i * 1000000)
    ticks.append(2**i * 9 // 8 * 1000000)
    ticks.append(2**i * 3 // 2 * 1000000)
for i in range(1, 30):
    ticks.append(10 * i * 1_000_000)
for i in range(15, 50):
    ticks.append(20 * i * 1_000_000)

seen = set()
ticks = sorted([x for x in ticks if not (x in seen or seen.add(x))])

# ========= Update Cargo.toml

SEPARATOR_START = '# BEGIN TICKS\n'
SEPARATOR_END = '# END TICKS\n'
HELP = '# Generated by gen_tick.py. DO NOT EDIT.\n'

feats_time = ''
feats_driver = ''
for freq in ticks:
    feature = f'tick-hz-{freq:_}'
    if freq >= 1_000_000_000:
        freq_human = f"{freq / 1_000_000_000}GHz"
    elif freq >= 1_000_000:
        freq_human = f"{freq / 1_000_000}MHz"
    elif freq >= 1_000:
        freq_human = f"{freq / 1000}kHz"
    else:
        freq_human = f"{freq}Hz"

    feats_time += f"## {freq_human} Tick Rate\n"
    feats_time += f"{feature} = [\"embassy-time-driver/{feature}\"]\n"
    feats_driver += f"## {freq_human} Tick Rate\n"
    feats_driver += f"{feature} = []\n"

with open('Cargo.toml', 'r') as f:
    data = f.read()
before, data = data.split(SEPARATOR_START, maxsplit=1)
_, after = data.split(SEPARATOR_END, maxsplit=1)
with open('Cargo.toml', 'w') as f:
    f.write(before + SEPARATOR_START + HELP + feats_driver + SEPARATOR_END + after)

with open('../embassy-time/Cargo.toml', 'r') as f:
    data = f.read()
before, data = data.split(SEPARATOR_START, maxsplit=1)
_, after = data.split(SEPARATOR_END, maxsplit=1)
with open('../embassy-time/Cargo.toml', 'w') as f:
    f.write(before + SEPARATOR_START + HELP + feats_time + SEPARATOR_END + after)

# ========= Update src/tick.rs

with open('src/tick.rs', 'w') as f:

    f.write('// Generated by gen_tick.py. DO NOT EDIT.\n\n')
    for hz in ticks:
        f.write(
            f'#[cfg(feature = "tick-hz-{hz:_}")] pub const TICK_HZ: u64 = {hz:_};\n')
    f.write('#[cfg(not(any(\n')
    for hz in ticks:
        f.write(f'feature = "tick-hz-{hz:_}",\n')
    f.write(')))] pub const TICK_HZ: u64 = 1_000_000;')


os.system('rustfmt src/tick.rs')