Character to character code in TADS3/adv3

Does TADS3 provide any mechanism for converting a character into the corresponding Unicode character code?

CharacterSet allows to you check if a given character or character code exists in a given character set, but not (as far as I can tell) look up specific mappings.

You can also, with tads-gen, do the reverse (get a character given a Unicode character code). So I guess I could brute force it by building an array/hash/whatever by iterating through all valid codes. But that seems…ridiculous.

1 Like

I’ve never had to deal with CharacterSets… don’t have anything for ya…

Answering myself: String implements toUnicode(), which I somehow or other managed to miss the dozen or so times I went looking for it.