Synopsis

char *platform_button_name(int index);

Description

platform_button_name returns the preferred name for the button with index index. The returned pointer is guaranteed non-zero. The button name is derived as follows:

• If index is not a valid button index, the button name is INVALID.
• If the button name is non-zero in the button catalog, the button name is the cataloged name.
• If the cataloged signal name for the button's pin is nonzero, the button name is that signal name.
• If the cataloged connection name for the button's pin is nonzero, the button name is that connection name.
• Otherwise the button name is ANON.

See Also

PLATFORM_BUTTON_CONFIGURATION_t