parse_position_updated
Description:
public static void parse_position_updated (
Message msg,
out ClockTime position)
Parse the given position-updated msg and extract the corresponding
ClockTime
Parameters:
| msg |
A Message
|
| position |
the resulting position
|