The following attributes are defined for integer values.
size
Gives an offset with the storage occupied by the string. This includes the terminating null. Examples:
(poke) 10'size 0x20UL#b (poke) 10N'size 0x4UL#b (poke) (10 as int<1>)'size 0x1UL#b
signed
¶Gives 1 if the value is a signed integer, 0 otherwise. Examples:
(poke) 10'signed 1 (poke) 10UL'signed 0
mapped
Always 0 for integers. (see Mapping).
length
Always 1UL
for integers.