bug: Supported Data Types in mobile sdk: Integer instead of Number

In https://developer.garmin.com/connect-iq/core-topics/mobile-sdk-for-android/ under the Supported Data Types there's:

Java int, Integer => Monkey C Integer.

However in Monkey C Integer is Number or Long, so IMHO this is a bug in the documentation and the Monkey C data type should be Number.

The same error is made for long:

Java long, Long => Monkey C Integer, Long (If the value of the long is small enough to be represented as an integer, it will be converted to save space.)

However here too Integer should be changed to Number.

flocsy🤠

FlowState 5 months ago

Oh I see, yeah you’re right.

Clearly “Integer” was used where “Number” was intended.
- Cancel
- Up 0 Down
- More
- Cancel
flocsy🤠 5 months ago in reply to FlowState

I do think it's a bug in this page: https://developer.garmin.com/connect-iq/core-topics/mobile-sdk-for-android/ because it makes no sense:

a 32 Java int or Integer will always be sent as a 32 bit Integer and received as a Number. So it makes no sense to state in the documentation that it's received as an Integer in monkey C (= Number or Long). It will never be Long!

The same goes for long, Long => Integer or Long which is even clearer (that it's a bug in the page), because it means 64 bit long/Long => Integer or Long = Number or Long or Long! Why is Long repeated? It just shows that it either should be only Integer or what I think they actually meant is Number or Long.

In other words in the Monkey C Type column every occurance of "Integer" should be replaced with "Number"
- Cancel
- Up +1 Down
- More
- Cancel
FlowState 5 months ago

As per the API documentation, Integer is literally an alias for Number or Long. Similarly, Decimal is an alias for Float or Double. Note that these types are available since 1.0.0, so they predate type checking.

I don’t think it’s a bug in the documentation.

https://developer.garmin.com/connect-iq/api-docs/Toybox/Lang.html#Integer-named_type
- Cancel
- Up 0 Down
- More
- Cancel