Package rst.timing

Not documented

Messages

• Point2DTimeseries
• Point2DTimestampPair
• Timestamp
• Frequency
• Duration

clearer: should be made invisible via css

Message Point2DTimeseries

class rst.timing.Point2DTimeseries

An ordered list of pairs each consisting of a timestamp and a 2D point.

Code author: Agnes Swadzba <aswadzba@techfak.uni-bielefeld.de>

entry

Type :array of rst.timing.Point2DTimestampPair

Constraint: for i from 0 below (len(value) - 1) value[i].timestamp.time < value[i+1].timestamp.time end

Entries are sorted in increasing order of the timestamp field.

Download this file

message Point2DTimeseries {

    /**
     * Entries are sorted in increasing order of the @ref
     * .Point2DTimestampPair.timestamp field.
     */
    // @constraint(for i from 0 below (len(value) - 1) value[i].timestamp.time < value[i+1].timestamp.time end)
    repeated Point2DTimestampPair entry = 1;

}

Message Point2DTimestampPair

class rst.timing.Point2DTimestampPair

A pair assembled from a 2D Point and a timestamp.

Code author: Agnes Swadzba <aswadzba@techfak.uni-bielefeld.de>

point

Type :rst.math.Vec2DFloat

Not documented

timestamp

Type :rst.timing.Timestamp

Not documented

Download this file

message Point2DTimestampPair {

    required math.Vec2DFloat point = 1;

    required Timestamp timestamp = 2;

}

Message Timestamp

class rst.timing.Timestamp

Holds a UNIX timestamp in microseconds.

Count starts at the Unix Epoch on January 1st, 1970 in UTC time.

Code author: Agnes Swadzba <aswadzba@techfak.uni-bielefeld.de>

time

Type :UINT64

Unit: microsecond

Number of microseconds since January 1st, 1970 in UTC time.

Download this file

message Timestamp {

    /**
     * Number of microseconds since January 1st, 1970 in UTC time.
     */
    // @unit(microsecond)
    required uint64 time = 1;

}

Message Frequency

class rst.timing.Frequency

Holds a frequency.

Code author: Arne Nordmann <anordman@techfak.uni-bielefeld.de>

hz

Type :FLOAT64

Unit: hertz

Download this file

message Frequency {

    // @unit(hertz)
    required double hz = 1;

}

Message Duration

class rst.timing.Duration

Holds a time duration in microseconds.

Code author: Arne Nordmann <anordman@techfak.uni-bielefeld.de>

time

Type :UINT64

Unit: microsecond

Download this file

message Duration {

    // @unit(microsecond)
    required uint64 time = 1;

}