[web-animations-1] Mapping between IDL and resolved/unresolved time values should be defined

[bzbarsky]

Consider the setter for https://drafts.csswg.org/web-animations/#dom-animation-currenttime

This takes a nullable double. It passes this nullable double to https://drafts.csswg.org/web-animations/#set-the-current-time which then passes it to https://drafts.csswg.org/web-animations/#silently-set-the-current-time

This then talks about whether time values are "resolved" or not. But nothing defines what that actually means in this case. Presumably the intent is that IDL null map to the "unresolved" state, but that needs to be defined. Perhaps what's needed here is a mapping from nullable double values to time values (and vice versa; it's not clear to me what happens with getters in this specification that are supposed to return a nullable double if a time value is not representable as a double, for example).

[birtles]

This then talks about whether time values are "resolved" or not. But nothing defines what that actually means in this case.

That's covered in https://drafts.csswg.org/web-animations/#time-values-in-the-programming-interface

it's not clear to me what happens with getters in this specification that are supposed to return a nullable double if a time value is not representable as a double, for example).

That part, however, is unspecified.

[bzbarsky]

That's covered in https://drafts.csswg.org/web-animations/#time-values-in-the-programming-interface

Ah, I see. That was ... not very discoverable from the algorithm steps. :(