Manipulation on second and fractional_second are in fact always made through fine_second. Users who do not want to deal with precision do not need to care about this.
Features dealing with
Creation (common to
make_fineis similar to makeexcept that it takes a DOUBLEfor its third argument (instead of an INTEGER, as is the case with make). fine_secondis then set to this value.
make_by_fine_secondsis similar to make_by_secondsexcept that it takes a DOUBLEfor an argument (instead of an INTEGER, as is the case with make_by_seconds).
Measurement and access
fine_secondslooks like seconds but it contains fractions.
fine_seconds_countlooks like seconds_countbut it contains fractions.
fine_seconddirectly with set_fine_second.
fractional_seconddirectly with set_fractionals.
fine_second_addlooks like second_addexcept that it takes a DOUBLEas an argument.
- Parent <EiffelTime Tutorial>