Closed Walfou closed 6 years ago
To which output format are you referring? Is it the "debug format"?
Yes it is. Is this the reason the output is rounded?
The rounding is done only in the output formatter. There's also no special reason except that a debugging tool that I used in the past was using a time resolution in seconds and did not allow time intervals below. If you rely on the output formatter, you can easily edit the rounding to your need (or add another output formatter that is the same as the output formatter with your modifications). See here: https://github.com/bmwcarit/barefoot/blob/master/src/main/java/com/bmwcarit/barefoot/matcher/MatcherKState.java#L107
Problem solved. Thanks! I am not even sure this is really an "issue" !
I obtained raw GPS coordinates with millisecond precision timestamps. So instead of adding 000 to second-rounded timestamps, I have non-zeros in the 3 last digits of the input timestamp. Nevertheless, the output I receive from barefoot is integer timestamps rounded to seconds.
Any clue?