20.3.5 String Attributes

The following attributes are defined for string values.

length

Gives the number of characters composing the string, not counting the terminating null. Examples:

(poke) "foo"'length
3UL
(poke) ""'length
0UL

size

Gives an offset with the storage occupied by the string. This includes the terminating null. Examples:

(poke) "foo"'size
32UL#b
(poke) ""'size
8UL#b

mapped

Always 0 for strings. (see Mapping).