Datatype
Types¶
datatype $tType¶
A precise information encoding that is taken as granted. As the name suggests, the fundamental types of data considered.
Example
- real number
- uint8
- pixel
Source: fundamental-concepts.tff¶
ROS 2 Interface builtins¶
ROS 2 interfaces (messages, services, and actions) are formalisms constructed from semantically named builtin datatypes and arrays of these builtins. See the ROS 2 documentation for more details.
Important
These individuals are not associated with a particular semantic label. The
intention (WIP) is to match a particular datatype (the
fieldtype) and a concept (the fieldname) in some
formalism representing the ROS 2 interface.
'ROS2.msg.Bool' datatype¶
The builtin bool field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Byte' datatype¶
The builtin byte field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Char' datatype¶
The builtin char field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Float32' datatype¶
The builtin float32 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Float64' datatype¶
The builtin float64 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Int8' datatype¶
The builtin int8 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Uint8' datatype¶
The builtin uint8 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Int16' datatype¶
The builtin int16 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Uint16' datatype¶
The builtin uin16 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Int32' datatype¶
The builtin int32 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Uint32' datatype¶
The builtin uint32 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Int64' datatype¶
The builtin int64 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.Uint64' datatype¶
The builtin uint64 field type of a ROS 2 interface.
Source: datatypes.tff¶
'ROS2.msg.String' datatype¶
The builtin (unbounded) string field type of a ROS 2 interface.
These strings use 8-bit characters.
Source: datatypes.tff¶
'ROS2.msg.Wstring' datatype¶
The builtin wstring field type of a ROS 2 interface.
These strings use 16-bit characters.
Source: datatypes.tff¶
ROS 2 Interface arrays¶
ROS 2 interfaces support arrays of builtins, optionally with a fixed or bounded size.
Warning
Sizes of array datatypes are assumed to be natural numbers. This is NOT enforced by the type checker or logic.
'ROS2.msg.BoundedString' ($int>datatype)¶
A bounded string<=n field type of a ROS 2 interface.
n is a natural number.
Source: datatypes.tff¶
'ROS2.msg.UnboundedDynamicArray' (datatype>datatype)¶
An array of any builtin with an unbouned size field type in a ROS 2 interface.
Example
char[]float32[]
Source: datatypes.tff¶
'ROS2.msg.BoundedDynamicArray' ((datatype*$int) >datatype)¶
A dynamic array of any builtin with a bounded size field type in a ROS 2 interface. The size must be a natural number.
Example
char[<=5]float32[<=4]
Source: datatypes.tff¶
'ROS2.msg.StaticArray' ((datatype*$int) >datatype)¶
A static array of any builtin with a fixed size field type in a ROS 2 interface. The size must be a natural number.
Example
char[5]float32[4]