-
-
Notifications
You must be signed in to change notification settings - Fork 18
/
hifitime.pyi
1087 lines (782 loc) · 41.7 KB
/
hifitime.pyi
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
import typing
@typing.final
class Duration:
"""Defines generally usable durations for nanosecond precision valid for 32,768 centuries in either direction, and only on 80 bits / 10 octets.
**Important conventions:**
1. The negative durations can be mentally modeled "BC" years. One hours before 01 Jan 0000, it was "-1" years but 365 days and 23h into the current day.
It was decided that the nanoseconds corresponds to the nanoseconds _into_ the current century. In other words,
a duration with centuries = -1 and nanoseconds = 0 is _a greater duration_ (further from zero) than centuries = -1 and nanoseconds = 1.
Duration zero minus one nanosecond returns a century of -1 and a nanosecond set to the number of nanoseconds in one century minus one.
That difference is exactly 1 nanoseconds, where the former duration is "closer to zero" than the latter.
As such, the largest negative duration that can be represented sets the centuries to i16::MAX and its nanoseconds to NANOSECONDS_PER_CENTURY.
2. It was also decided that opposite durations are equal, e.g. -15 minutes == 15 minutes. If the direction of time matters, use the signum function.
(Python documentation hints)"""
def __init__(self, string_repr: str) -> Duration:
"""Defines generally usable durations for nanosecond precision valid for 32,768 centuries in either direction, and only on 80 bits / 10 octets.
**Important conventions:**
1. The negative durations can be mentally modeled "BC" years. One hours before 01 Jan 0000, it was "-1" years but 365 days and 23h into the current day.
It was decided that the nanoseconds corresponds to the nanoseconds _into_ the current century. In other words,
a duration with centuries = -1 and nanoseconds = 0 is _a greater duration_ (further from zero) than centuries = -1 and nanoseconds = 1.
Duration zero minus one nanosecond returns a century of -1 and a nanosecond set to the number of nanoseconds in one century minus one.
That difference is exactly 1 nanoseconds, where the former duration is "closer to zero" than the latter.
As such, the largest negative duration that can be represented sets the centuries to i16::MAX and its nanoseconds to NANOSECONDS_PER_CENTURY.
2. It was also decided that opposite durations are equal, e.g. -15 minutes == 15 minutes. If the direction of time matters, use the signum function.
(Python documentation hints)"""
@staticmethod
def EPSILON():...
@staticmethod
def MAX():...
@staticmethod
def MIN():...
@staticmethod
def MIN_NEGATIVE():...
@staticmethod
def MIN_POSITIVE():...
@staticmethod
def ZERO():...
def abs(self) -> Duration:
"""Returns the absolute value of this duration"""
def approx(self) -> Duration:
"""Rounds this duration to the largest units represented in this duration.
This is useful to provide an approximate human duration. Under the hood, this function uses `round`,
so the "tipping point" of the rounding is half way to the next increment of the greatest unit.
As shown below, one example is that 35 hours and 59 minutes rounds to 1 day, but 36 hours and 1 minute rounds
to 2 days because 2 days is closer to 36h 1 min than 36h 1 min is to 1 day.
# Example
```
use hifitime::{Duration, TimeUnits};
assert_eq!((2.hours() + 3.minutes()).approx(), 2.hours());
assert_eq!((24.hours() + 3.minutes()).approx(), 1.days());
assert_eq!((35.hours() + 59.minutes()).approx(), 1.days());
assert_eq!((36.hours() + 1.minutes()).approx(), 2.days());
assert_eq!((47.hours() + 3.minutes()).approx(), 2.days());
assert_eq!((49.hours() + 3.minutes()).approx(), 2.days());
```"""
def ceil(self, duration: Duration) -> Duration:
"""Ceils this duration to the closest provided duration
This simply floors then adds the requested duration
# Example
```
use hifitime::{Duration, TimeUnits};
let two_hours_three_min = 2.hours() + 3.minutes();
assert_eq!(two_hours_three_min.ceil(1.hours()), 3.hours());
assert_eq!(two_hours_three_min.ceil(30.minutes()), 2.hours() + 30.minutes());
assert_eq!(two_hours_three_min.ceil(4.hours()), 4.hours());
assert_eq!(two_hours_three_min.ceil(1.seconds()), two_hours_three_min + 1.seconds());
assert_eq!(two_hours_three_min.ceil(1.hours() + 5.minutes()), 2.hours() + 10.minutes());
```"""
def decompose(self) -> typing.Tuple:
"""Decomposes a Duration in its sign, days, hours, minutes, seconds, ms, us, ns"""
def floor(self, duration: Duration) -> Duration:
"""Floors this duration to the closest duration from the bottom
# Example
```
use hifitime::{Duration, TimeUnits};
let two_hours_three_min = 2.hours() + 3.minutes();
assert_eq!(two_hours_three_min.floor(1.hours()), 2.hours());
assert_eq!(two_hours_three_min.floor(30.minutes()), 2.hours());
// This is zero because we floor by a duration longer than the current duration, rounding it down
assert_eq!(two_hours_three_min.floor(4.hours()), 0.hours());
assert_eq!(two_hours_three_min.floor(1.seconds()), two_hours_three_min);
assert_eq!(two_hours_three_min.floor(1.hours() + 1.minutes()), 2.hours() + 2.minutes());
assert_eq!(two_hours_three_min.floor(1.hours() + 5.minutes()), 1.hours() + 5.minutes());
```"""
@staticmethod
def from_all_parts(sign: int, days: int, hours: int, minutes: int, seconds: int, milliseconds: int, microseconds: int, nanoseconds: int) -> Duration:
"""Creates a new duration from its parts"""
@staticmethod
def from_parts(centuries: int, nanoseconds: int) -> Duration:
"""Create a normalized duration from its parts"""
@staticmethod
def from_total_nanoseconds(nanos: int) -> Duration:
"""Creates a new Duration from its full nanoseconds"""
def is_negative(self) -> bool:
"""Returns whether this is a negative or positive duration."""
def max(self, other: Duration) -> Duration:
"""Returns the maximum of the two durations.
```
use hifitime::TimeUnits;
let d0 = 20.seconds();
let d1 = 21.seconds();
assert_eq!(d1, d1.max(d0));
assert_eq!(d1, d0.max(d1));
```"""
def min(self, other: Duration) -> Duration:
"""Returns the minimum of the two durations.
```
use hifitime::TimeUnits;
let d0 = 20.seconds();
let d1 = 21.seconds();
assert_eq!(d0, d1.min(d0));
assert_eq!(d0, d0.min(d1));
```"""
def round(self, duration: Duration) -> Duration:
"""Rounds this duration to the closest provided duration
This performs both a `ceil` and `floor` and returns the value which is the closest to current one.
# Example
```
use hifitime::{Duration, TimeUnits};
let two_hours_three_min = 2.hours() + 3.minutes();
assert_eq!(two_hours_three_min.round(1.hours()), 2.hours());
assert_eq!(two_hours_three_min.round(30.minutes()), 2.hours());
assert_eq!(two_hours_three_min.round(4.hours()), 4.hours());
assert_eq!(two_hours_three_min.round(1.seconds()), two_hours_three_min);
assert_eq!(two_hours_three_min.round(1.hours() + 5.minutes()), 2.hours() + 10.minutes());
```"""
def signum(self) -> int:
"""Returns the sign of this duration
+ 0 if the number is zero
+ 1 if the number is positive
+ -1 if the number is negative"""
def to_parts(self) -> typing.Tuple:
"""Returns the centuries and nanoseconds of this duration
NOTE: These items are not public to prevent incorrect durations from being created by modifying the values of the structure directly."""
def to_seconds(self) -> float:
"""Returns this duration in seconds f64.
For high fidelity comparisons, it is recommended to keep using the Duration structure."""
def to_unit(self, unit: Unit) -> float:...
def total_nanoseconds(self) -> int:
"""Returns the total nanoseconds in a signed 128 bit integer"""
def __add__():
"""Return self+value."""
def __div__():...
def __eq__(self, value: typing.Any) -> bool:
"""Return self==value."""
def __ge__(self, value: typing.Any) -> bool:
"""Return self>=value."""
def __getnewargs__(self):...
def __gt__(self, value: typing.Any) -> bool:
"""Return self>value."""
def __le__(self, value: typing.Any) -> bool:
"""Return self<=value."""
def __lt__(self, value: typing.Any) -> bool:
"""Return self<value."""
def __mul__():
"""Return self*value."""
def __ne__(self, value: typing.Any) -> bool:
"""Return self!=value."""
def __radd__():
"""Return value+self."""
def __repr__(self) -> str:
"""Return repr(self)."""
def __rmul__():
"""Return value*self."""
def __rsub__():
"""Return value-self."""
def __str__(self) -> str:
"""Return str(self)."""
def __sub__():
"""Return self-value."""
@typing.final
class DurationError:
__cause__: typing.Any
__context__: typing.Any
__suppress_context__: typing.Any
__traceback__: typing.Any
args: typing.Any
def add_note():
"""Exception.add_note(note) --
add a note to the exception"""
def with_traceback():
"""Exception.with_traceback(tb) --
set self.__traceback__ to tb and return self."""
def __delattr__():
"""Implement delattr(self, name)."""
def __getattribute__():
"""Return getattr(self, name)."""
def __init__():
"""Initialize self. See help(type(self)) for accurate signature."""
def __repr__():
"""Return repr(self)."""
def __setattr__():
"""Implement setattr(self, name, value)."""
def __setstate__():...
def __str__():
"""Return str(self)."""
@typing.final
class Epoch:
"""Defines a nanosecond-precision Epoch.
Refer to the appropriate functions for initializing this Epoch from different time scales or representations.
(Python documentation hints)"""
def __init__(self, string_repr: str) -> Epoch:
"""Defines a nanosecond-precision Epoch.
Refer to the appropriate functions for initializing this Epoch from different time scales or representations.
(Python documentation hints)"""
def day_of_year(self) -> float:
"""Returns the number of days since the start of the year."""
def duration_in_year(self) -> Duration:
"""Returns the duration since the start of the year"""
def hours(self) -> int:
"""Returns the hours of the Gregorian representation of this epoch in the time scale it was initialized in."""
@staticmethod
def init_from_bdt_days(days: float) -> Epoch:
"""Initialize an Epoch from the number of days since the BeiDou Time Epoch,
defined as January 1st 2006 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>)."""
@staticmethod
def init_from_bdt_nanoseconds(nanoseconds: float) -> Epoch:
"""Initialize an Epoch from the number of days since the BeiDou Time Epoch,
defined as January 1st 2006 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>).
This may be useful for time keeping devices that use BDT as a time source."""
@staticmethod
def init_from_bdt_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the number of seconds since the BeiDou Time Epoch,
defined as January 1st 2006 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>)."""
@staticmethod
def init_from_et_duration(duration_since_j2000: Duration) -> Epoch:
"""Initialize an Epoch from the Ephemeris Time duration past 2000 JAN 01 (J2000 reference)"""
@staticmethod
def init_from_et_seconds(seconds_since_j2000: float) -> Epoch:
"""Initialize an Epoch from the Ephemeris Time seconds past 2000 JAN 01 (J2000 reference)"""
@staticmethod
def init_from_gpst_days(days: float) -> Epoch:
"""Initialize an Epoch from the number of days since the GPS Time Epoch,
defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
@staticmethod
def init_from_gpst_nanoseconds(nanoseconds: float) -> Epoch:
"""Initialize an Epoch from the number of nanoseconds since the GPS Time Epoch,
defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>).
This may be useful for time keeping devices that use GPS as a time source."""
@staticmethod
def init_from_gpst_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the number of seconds since the GPS Time Epoch,
defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
@staticmethod
def init_from_gregorian(year: int, month: int, day: int, hour: int, minute: int, second: int, nanos: int, time_scale: TimeScale) -> Epoch:
"""Initialize from the Gregorian parts"""
@staticmethod
def init_from_gregorian_at_midnight(year: int, month: int, day: int, time_scale: TimeScale) -> Epoch:
"""Initialize from the Gregorian parts, time set to midnight"""
@staticmethod
def init_from_gregorian_at_noon(year: int, month: int, day: int, time_scale: TimeScale) -> Epoch:
"""Initialize from the Gregorian parts, time set to noon"""
@staticmethod
def init_from_gregorian_utc(year: int, month: int, day: int, hour: int, minute: int, second: int, nanos: int) -> Epoch:
"""Builds an Epoch from the provided Gregorian date and time in TAI. If invalid date is provided, this function will panic.
Use maybe_from_gregorian_tai if unsure."""
@staticmethod
def init_from_gst_days(days: float) -> Epoch:
"""Initialize an Epoch from the number of days since the Galileo Time Epoch,
starting on August 21st 1999 Midnight UT,
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>)."""
@staticmethod
def init_from_gst_nanoseconds(nanoseconds: float) -> Epoch:
"""Initialize an Epoch from the number of nanoseconds since the Galileo Time Epoch,
starting on August 21st 1999 Midnight UT,
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>).
This may be useful for time keeping devices that use GST as a time source."""
@staticmethod
def init_from_gst_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the number of seconds since the Galileo Time Epoch,
starting on August 21st 1999 Midnight UT,
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>)."""
@staticmethod
def init_from_jde_et(days: float) -> Epoch:
"""Initialize from the JDE days"""
@staticmethod
def init_from_jde_tai(days: float) -> Epoch:
"""Initialize an Epoch from given JDE in TAI time scale"""
@staticmethod
def init_from_jde_tdb(days: float) -> Epoch:
"""Initialize from Dynamic Barycentric Time (TDB) (same as SPICE ephemeris time) in JD days"""
@staticmethod
def init_from_jde_utc(days: float) -> Epoch:
"""Initialize an Epoch from given JDE in UTC time scale"""
@staticmethod
def init_from_mjd_tai(days: float) -> Epoch:
"""Initialize an Epoch from given MJD in TAI time scale"""
@staticmethod
def init_from_mjd_utc(days: float) -> Epoch:
"""Initialize an Epoch from given MJD in UTC time scale"""
@staticmethod
def init_from_qzsst_days(days: float) -> Epoch:
"""Initialize an Epoch from the number of days since the QZSS Time Epoch,
defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
@staticmethod
def init_from_qzsst_nanoseconds(nanoseconds: int) -> Epoch:
"""Initialize an Epoch from the number of nanoseconds since the QZSS Time Epoch,
defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>).
This may be useful for time keeping devices that use QZSS as a time source."""
@staticmethod
def init_from_qzsst_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the number of seconds since the QZSS Time Epoch,
defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
@staticmethod
def init_from_tai_days(days: float) -> Epoch:
"""Initialize an Epoch from the provided TAI days since 1900 January 01 at midnight"""
@staticmethod
def init_from_tai_duration(duration: Duration) -> Epoch:
"""Creates a new Epoch from a Duration as the time difference between this epoch and TAI reference epoch."""
@staticmethod
def init_from_tai_parts(centuries: int, nanoseconds: int) -> Epoch:
"""Creates a new Epoch from its centuries and nanosecond since the TAI reference epoch."""
@staticmethod
def init_from_tai_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the provided TAI seconds since 1900 January 01 at midnight"""
@staticmethod
def init_from_tdb_duration(duration_since_j2000: Duration) -> Epoch:
"""Initialize from Dynamic Barycentric Time (TDB) (same as SPICE ephemeris time) whose epoch is 2000 JAN 01 noon TAI."""
@staticmethod
def init_from_tdb_seconds(seconds_j2000: float) -> Epoch:
"""Initialize an Epoch from Dynamic Barycentric Time (TDB) seconds past 2000 JAN 01 midnight (difference than SPICE)
NOTE: This uses the ESA algorithm, which is a notch more complicated than the SPICE algorithm, but more precise.
In fact, SPICE algorithm is precise +/- 30 microseconds for a century whereas ESA algorithm should be exactly correct."""
@staticmethod
def init_from_tt_duration(duration: Duration) -> Epoch:
"""Initialize an Epoch from the provided TT seconds (approximated to 32.184s delta from TAI)"""
@staticmethod
def init_from_tt_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the provided TT seconds (approximated to 32.184s delta from TAI)"""
@staticmethod
def init_from_unix_milliseconds(milliseconds: float) -> Epoch:
"""Initialize an Epoch from the provided UNIX millisecond timestamp since UTC midnight 1970 January 01."""
@staticmethod
def init_from_unix_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the provided UNIX second timestamp since UTC midnight 1970 January 01."""
@staticmethod
def init_from_utc_days(days: float) -> Epoch:
"""Initialize an Epoch from the provided UTC days since 1900 January 01 at midnight"""
@staticmethod
def init_from_utc_seconds(seconds: float) -> Epoch:
"""Initialize an Epoch from the provided UTC seconds since 1900 January 01 at midnight"""
def isoformat(self) -> str:
"""Equivalent to `datetime.isoformat`, and truncated to 23 chars, refer to <https://docs.rs/hifitime/latest/hifitime/efmt/format/struct.Format.html> for format options"""
def leap_seconds(self, iers_only: bool) -> float:
"""Get the accumulated number of leap seconds up to this Epoch accounting only for the IERS leap seconds and the SOFA scaling from 1960 to 1972, depending on flag.
Returns None if the epoch is before 1960, year at which UTC was defined.
# Why does this function return an `Option` when the other returns a value
This is to match the `iauDat` function of SOFA (src/dat.c). That function will return a warning and give up if the start date is before 1960."""
def leap_seconds_iers(self) -> int:
"""Get the accumulated number of leap seconds up to this Epoch accounting only for the IERS leap seconds."""
def leap_seconds_with_file(self, iers_only: bool, provider: LeapSecondsFile) -> float:
"""Get the accumulated number of leap seconds up to this Epoch from the provided LeapSecondProvider.
Returns None if the epoch is before 1960, year at which UTC was defined.
# Why does this function return an `Option` when the other returns a value
This is to match the `iauDat` function of SOFA (src/dat.c). That function will return a warning and give up if the start date is before 1960."""
def microseconds(self) -> int:
"""Returns the microseconds of the Gregorian representation of this epoch in the time scale it was initialized in."""
def milliseconds(self) -> int:
"""Returns the milliseconds of the Gregorian representation of this epoch in the time scale it was initialized in."""
def minutes(self) -> int:
"""Returns the minutes of the Gregorian representation of this epoch in the time scale it was initialized in."""
def month_name(self) -> MonthName:...
def nanoseconds(self) -> int:
"""Returns the nanoseconds of the Gregorian representation of this epoch in the time scale it was initialized in."""
def seconds(self) -> int:
"""Returns the seconds of the Gregorian representation of this epoch in the time scale it was initialized in."""
def strftime(self, format_str: str) -> str:
"""Equivalent to `datetime.strftime`, refer to <https://docs.rs/hifitime/latest/hifitime/efmt/format/struct.Format.html> for format options"""
@staticmethod
def strptime(epoch_str: str, format_str: str) -> Epoch:
"""Equivalent to `datetime.strptime`, refer to <https://docs.rs/hifitime/latest/hifitime/efmt/format/struct.Format.html> for format options"""
@staticmethod
def system_now() -> Epoch:
"""Returns the computer clock in UTC"""
def timedelta(self, other: Duration) -> Duration:
"""Differences between two epochs"""
def to_bdt_days(self) -> float:
"""Returns days past BDT (BeiDou) Time Epoch, defined as Jan 01 2006 UTC
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>)."""
def to_bdt_duration(self) -> Duration:
"""Returns `Duration` past BDT (BeiDou) time Epoch."""
def to_bdt_nanoseconds(self) -> int:
"""Returns nanoseconds past BDT (BeiDou) Time Epoch, defined as Jan 01 2006 UTC
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>).
NOTE: This function will return an error if the centuries past GST time are not zero."""
def to_bdt_seconds(self) -> float:
"""Returns seconds past BDT (BeiDou) Time Epoch"""
def to_duration_in_time_scale(self, ts: TimeScale) -> Duration:
"""Returns this epoch with respect to the provided time scale.
This is needed to correctly perform duration conversions in dynamical time scales (e.g. TDB)."""
def to_et_centuries_since_j2000(self) -> float:
"""Returns the number of centuries since Ephemeris Time (ET) J2000 (used for Archinal et al. rotations)"""
def to_et_days_since_j2000(self) -> float:
"""Returns the number of days since Ephemeris Time (ET) J2000 (used for Archinal et al. rotations)"""
def to_et_duration(self) -> Duration:
"""Returns the duration between J2000 and the current epoch as per NAIF SPICE.
# Warning
The et2utc function of NAIF SPICE will assume that there are 9 leap seconds before 01 JAN 1972,
as this date introduces 10 leap seconds. At the time of writing, this does _not_ seem to be in
line with IERS and the documentation in the leap seconds list.
In order to match SPICE, the as_et_duration() function will manually get rid of that difference."""
def to_et_seconds(self) -> float:
"""Returns the Ephemeris Time seconds past 2000 JAN 01 midnight, matches NASA/NAIF SPICE."""
def to_gpst_days(self) -> float:
"""Returns days past GPS Time Epoch, defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
def to_gpst_duration(self) -> Duration:
"""Returns `Duration` past GPS time Epoch."""
def to_gpst_nanoseconds(self) -> int:
"""Returns nanoseconds past GPS Time Epoch, defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>).
NOTE: This function will return an error if the centuries past GPST time are not zero."""
def to_gpst_seconds(self) -> float:
"""Returns seconds past GPS Time Epoch, defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
def to_gst_days(self) -> float:
"""Returns days past GST (Galileo) Time Epoch,
starting on August 21st 1999 Midnight UT
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>)."""
def to_gst_duration(self) -> Duration:
"""Returns `Duration` past GST (Galileo) time Epoch."""
def to_gst_nanoseconds(self) -> int:
"""Returns nanoseconds past GST (Galileo) Time Epoch, starting on August 21st 1999 Midnight UT
(cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS>).
NOTE: This function will return an error if the centuries past GST time are not zero."""
def to_gst_seconds(self) -> float:
"""Returns seconds past GST (Galileo) Time Epoch"""
def to_isoformat(self) -> str:
"""The standard ISO format of this epoch (six digits of subseconds) in the _current_ time scale, refer to <https://docs.rs/hifitime/latest/hifitime/efmt/format/struct.Format.html> for format options."""
def to_jde_et(self, unit: Unit) -> float:...
def to_jde_et_days(self) -> float:
"""Returns the Ephemeris Time JDE past epoch"""
def to_jde_et_duration(self) -> Duration:...
def to_jde_tai(self, unit: Unit) -> float:
"""Returns the Julian Days from epoch 01 Jan -4713 12:00 (noon) in desired Duration::Unit"""
def to_jde_tai_days(self) -> float:
"""Returns the Julian days from epoch 01 Jan -4713, 12:00 (noon)
as explained in "Fundamentals of astrodynamics and applications", Vallado et al.
4th edition, page 182, and on [Wikipedia](https://en.wikipedia.org/wiki/Julian_day)."""
def to_jde_tai_duration(self) -> Duration:
"""Returns the Julian Days from epoch 01 Jan -4713 12:00 (noon) as a Duration"""
def to_jde_tai_seconds(self) -> float:
"""Returns the Julian seconds in TAI."""
def to_jde_tdb_days(self) -> float:
"""Returns the Dynamic Barycentric Time (TDB) (higher fidelity SPICE ephemeris time) whose epoch is 2000 JAN 01 noon TAI (cf. <https://gssc.esa.int/navipedia/index.php/Transformations_between_Time_Systems#TDT_-_TDB.2C_TCB>)"""
def to_jde_tdb_duration(self) -> Duration:...
def to_jde_tt_days(self) -> float:
"""Returns days past Julian epoch in Terrestrial Time (TT) (previously called Terrestrial Dynamical Time (TDT))"""
def to_jde_tt_duration(self) -> Duration:...
def to_jde_utc_days(self) -> float:
"""Returns the Julian days in UTC."""
def to_jde_utc_duration(self) -> Duration:
"""Returns the Julian days in UTC as a `Duration`"""
def to_jde_utc_seconds(self) -> float:
"""Returns the Julian Days in UTC seconds."""
def to_mjd_tai(self, unit: Unit) -> float:
"""Returns this epoch as a duration in the requested units in MJD TAI"""
def to_mjd_tai_days(self) -> float:
"""`as_mjd_days` creates an Epoch from the provided Modified Julian Date in days as explained
[here](http://tycho.usno.navy.mil/mjd.html). MJD epoch is Modified Julian Day at 17 November 1858 at midnight."""
def to_mjd_tai_seconds(self) -> float:
"""Returns the Modified Julian Date in seconds TAI."""
def to_mjd_tt_days(self) -> float:
"""Returns days past Modified Julian epoch in Terrestrial Time (TT) (previously called Terrestrial Dynamical Time (TDT))"""
def to_mjd_tt_duration(self) -> Duration:...
def to_mjd_utc(self, unit: Unit) -> float:
"""Returns the Modified Julian Date in the provided unit in UTC."""
def to_mjd_utc_days(self) -> float:
"""Returns the Modified Julian Date in days UTC."""
def to_mjd_utc_seconds(self) -> float:
"""Returns the Modified Julian Date in seconds UTC."""
def to_nanoseconds_in_time_scale(self, time_scale: TimeScale) -> int:
"""Attempts to return the number of nanoseconds since the reference epoch of the provided time scale.
This will return an overflow error if more than one century has past since the reference epoch in the provided time scale.
If this is _not_ an issue, you should use `epoch.to_duration_in_time_scale().to_parts()` to retrieve both the centuries and the nanoseconds
in that century."""
def to_qzsst_days(self) -> float:
"""Returns days past QZSS Time Epoch, defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
def to_qzsst_duration(self) -> Duration:
"""Returns `Duration` past QZSS time Epoch."""
def to_qzsst_nanoseconds(self) -> int:
"""Returns nanoseconds past QZSS Time Epoch, defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>).
NOTE: This function will return an error if the centuries past QZSST time are not zero."""
def to_qzsst_seconds(self) -> float:
"""Returns seconds past QZSS Time Epoch, defined as UTC midnight of January 5th to 6th 1980 (cf. <https://gssc.esa.int/navipedia/index.php/Time_References_in_GNSS#GPS_Time_.28GPST.29>)."""
def to_rfc3339(self) -> str:
"""Returns this epoch in UTC in the RFC3339 format"""
def to_tai(self, unit: Unit) -> float:
"""Returns the epoch as a floating point value in the provided unit"""
def to_tai_days(self) -> float:
"""Returns the number of days since J1900 in TAI"""
def to_tai_duration(self) -> Duration:
"""Returns this time in a Duration past J1900 counted in TAI"""
def to_tai_parts(self) -> typing.Tuple:
"""Returns the TAI parts of this duration"""
def to_tai_seconds(self) -> float:
"""Returns the number of TAI seconds since J1900"""
def to_tdb_centuries_since_j2000(self) -> float:
"""Returns the number of centuries since Dynamic Barycentric Time (TDB) J2000 (used for Archinal et al. rotations)"""
def to_tdb_days_since_j2000(self) -> float:
"""Returns the number of days since Dynamic Barycentric Time (TDB) J2000 (used for Archinal et al. rotations)"""
def to_tdb_duration(self) -> Duration:
"""Returns the Dynamics Barycentric Time (TDB) as a high precision Duration since J2000
## Algorithm
Given the embedded sine functions in the equation to compute the difference between TDB and TAI from the number of TDB seconds
past J2000, one cannot solve the revert the operation analytically. Instead, we iterate until the value no longer changes.
1. Assume that the TAI duration is in fact the TDB seconds from J2000.
2. Offset to J2000 because `Epoch` stores everything in the J1900 but the TDB duration is in J2000.
3. Compute the offset `g` due to the TDB computation with the current value of the TDB seconds (defined in step 1).
4. Subtract that offset to the latest TDB seconds and store this as a new candidate for the true TDB seconds value.
5. Compute the difference between this candidate and the previous one. If the difference is less than one nanosecond, stop iteration.
6. Set the new candidate as the TDB seconds since J2000 and loop until step 5 breaks the loop, or we've done five iterations.
7. At this stage, we have a good approximation of the TDB seconds since J2000.
8. Reverse the algorithm given that approximation: compute the `g` offset, compute the difference between TDB and TAI, add the TT offset (32.184 s), and offset by the difference between J1900 and J2000."""
def to_tdb_seconds(self) -> float:
"""Returns the Dynamic Barycentric Time (TDB) (higher fidelity SPICE ephemeris time) whose epoch is 2000 JAN 01 noon TAI (cf. <https://gssc.esa.int/navipedia/index.php/Transformations_between_Time_Systems#TDT_-_TDB.2C_TCB>)"""
def to_time_scale(self, ts: TimeScale) -> Epoch:
"""Converts self to another time scale
As per the [Rust naming convention](https://rust-lang.github.io/api-guidelines/naming.html#ad-hoc-conversions-follow-as_-to_-into_-conventions-c-conv),
this borrows an Epoch and returns an owned Epoch."""
def to_tt_centuries_j2k(self) -> float:
"""Returns the centuries passed J2000 TT"""
def to_tt_days(self) -> float:
"""Returns days past TAI epoch in Terrestrial Time (TT) (previously called Terrestrial Dynamical Time (TDT))"""
def to_tt_duration(self) -> Duration:
"""Returns `Duration` past TAI epoch in Terrestrial Time (TT)."""
def to_tt_seconds(self) -> float:
"""Returns seconds past TAI epoch in Terrestrial Time (TT) (previously called Terrestrial Dynamical Time (TDT))"""
def to_tt_since_j2k(self) -> Duration:
"""Returns the duration past J2000 TT"""
def to_unix(self, unit: Unit) -> float:
"""Returns the duration since the UNIX epoch in the provided unit."""
def to_unix_days(self) -> float:
"""Returns the number days since the UNIX epoch defined 01 Jan 1970 midnight UTC."""
def to_unix_duration(self) -> Duration:
"""Returns the Duration since the UNIX epoch UTC midnight 01 Jan 1970."""
def to_unix_milliseconds(self) -> float:
"""Returns the number milliseconds since the UNIX epoch defined 01 Jan 1970 midnight UTC."""
def to_unix_seconds(self) -> float:
"""Returns the number seconds since the UNIX epoch defined 01 Jan 1970 midnight UTC."""
def to_utc(self, unit: Unit) -> float:
"""Returns the number of UTC seconds since the TAI epoch"""
def to_utc_days(self) -> float:
"""Returns the number of UTC days since the TAI epoch"""
def to_utc_duration(self) -> Duration:
"""Returns this time in a Duration past J1900 counted in UTC"""
def to_utc_seconds(self) -> float:
"""Returns the number of UTC seconds since the TAI epoch"""
def year(self) -> int:
"""Returns the number of Gregorian years of this epoch in the current time scale."""
def year_days_of_year(self) -> typing.Tuple:
"""Returns the year and the days in the year so far (days of year)."""
def __add__():
"""Return self+value."""
def __eq__(self, value: typing.Any) -> bool:
"""Return self==value."""
def __ge__(self, value: typing.Any) -> bool:
"""Return self>=value."""
def __getnewargs__(self):...
def __gt__(self, value: typing.Any) -> bool:
"""Return self>value."""
def __le__(self, value: typing.Any) -> bool:
"""Return self<=value."""
def __lt__(self, value: typing.Any) -> bool:
"""Return self<value."""
def __ne__(self, value: typing.Any) -> bool:
"""Return self!=value."""
def __radd__():
"""Return value+self."""
def __repr__(self) -> str:
"""Return repr(self)."""
def __rsub__():
"""Return value-self."""
def __str__(self) -> str:
"""Return str(self)."""
def __sub__():
"""Return self-value."""
@typing.final
class HifitimeError:
__cause__: typing.Any
__context__: typing.Any
__suppress_context__: typing.Any
__traceback__: typing.Any
args: typing.Any
def add_note():
"""Exception.add_note(note) --
add a note to the exception"""
def with_traceback():
"""Exception.with_traceback(tb) --
set self.__traceback__ to tb and return self."""
def __delattr__():
"""Implement delattr(self, name)."""
def __getattribute__():
"""Return getattr(self, name)."""
def __init__():
"""Initialize self. See help(type(self)) for accurate signature."""
def __repr__():
"""Return repr(self)."""
def __setattr__():
"""Implement setattr(self, name, value)."""
def __setstate__():...
def __str__():
"""Return str(self)."""
@typing.final
class LatestLeapSeconds:
"""List of leap seconds from https://www.ietf.org/timezones/data/leap-seconds.list .
This list corresponds the number of seconds in TAI to the UTC offset and to whether it was an announced leap second or not.
The unannoucned leap seconds come from dat.c in the SOFA library."""
def __init__(self) -> None:
"""List of leap seconds from https://www.ietf.org/timezones/data/leap-seconds.list .
This list corresponds the number of seconds in TAI to the UTC offset and to whether it was an announced leap second or not.
The unannoucned leap seconds come from dat.c in the SOFA library."""
def __repr__(self) -> str:
"""Return repr(self)."""
@typing.final
class LeapSecondsFile:
"""A leap second provider that uses an IERS formatted leap seconds file.
(Python documentation hints)"""
def __init__(self, path: str) -> LeapSecondsFile:
"""A leap second provider that uses an IERS formatted leap seconds file.
(Python documentation hints)"""
def __repr__(self) -> str:
"""Return repr(self)."""
@typing.final
class MonthName:
def __eq__(self, value: typing.Any) -> bool:
"""Return self==value."""
def __ge__(self, value: typing.Any) -> bool:
"""Return self>=value."""
def __gt__(self, value: typing.Any) -> bool:
"""Return self>value."""
def __int__(self) -> None:
"""int(self)"""
def __le__(self, value: typing.Any) -> bool:
"""Return self<=value."""
def __lt__(self, value: typing.Any) -> bool:
"""Return self<value."""
def __ne__(self, value: typing.Any) -> bool:
"""Return self!=value."""
def __repr__(self) -> str:
"""Return repr(self)."""
April: MonthName = ...
August: MonthName = ...
December: MonthName = ...
February: MonthName = ...
January: MonthName = ...
July: MonthName = ...
June: MonthName = ...
March: MonthName = ...
May: MonthName = ...
November: MonthName = ...
October: MonthName = ...
September: MonthName = ...
@typing.final
class ParsingError:
__cause__: typing.Any
__context__: typing.Any
__suppress_context__: typing.Any
__traceback__: typing.Any
args: typing.Any
def add_note():
"""Exception.add_note(note) --
add a note to the exception"""
def with_traceback():
"""Exception.with_traceback(tb) --
set self.__traceback__ to tb and return self."""
def __delattr__():
"""Implement delattr(self, name)."""
def __getattribute__():
"""Return getattr(self, name)."""
def __init__():
"""Initialize self. See help(type(self)) for accurate signature."""
def __repr__():
"""Return repr(self)."""
def __setattr__():
"""Implement setattr(self, name, value)."""
def __setstate__():...
def __str__():
"""Return str(self)."""
@typing.final
class TimeScale:
"""Enum of the different time systems available"""
def uses_leap_seconds(self) -> bool:
"""Returns true if self takes leap seconds into account"""
def __eq__(self, value: typing.Any) -> bool:
"""Return self==value."""
def __ge__(self, value: typing.Any) -> bool:
"""Return self>=value."""
def __gt__(self, value: typing.Any) -> bool:
"""Return self>value."""
def __int__(self) -> None:
"""int(self)"""
def __le__(self, value: typing.Any) -> bool:
"""Return self<=value."""
def __lt__(self, value: typing.Any) -> bool:
"""Return self<value."""
def __ne__(self, value: typing.Any) -> bool:
"""Return self!=value."""
def __repr__(self) -> str:
"""Return repr(self)."""
BDT: TimeScale = ...
ET: TimeScale = ...
GPST: TimeScale = ...
GST: TimeScale = ...
QZSST: TimeScale = ...
TAI: TimeScale = ...
TDB: TimeScale = ...
TT: TimeScale = ...
UTC: TimeScale = ...
@typing.final
class TimeSeries:
"""An iterator of a sequence of evenly spaced Epochs.
(Python documentation hints)"""
def __init__(self, start: Epoch, end: Epoch, step: Duration, inclusive: bool) -> TimeSeries:
"""An iterator of a sequence of evenly spaced Epochs.
(Python documentation hints)"""
def __eq__(self, value: typing.Any) -> bool:
"""Return self==value."""
def __ge__(self, value: typing.Any) -> bool:
"""Return self>=value."""
def __getnewargs__(self):...
def __gt__(self, value: typing.Any) -> bool:
"""Return self>value."""
def __iter__(self) -> typing.Any:
"""Implement iter(self)."""