Static Access

The static access postfix operation accesses a named symbol within a namespace, or a variant within an enumeration.

Process

At compile time:

1. the operand is resolved;
2. the provided identifier is resolved as a member of the operand's namespace, or as a variant of the operand's enumeration; and
3. the result is the resolved member.

Assertions

1. The operand is a value of the namespace type, or a value of the type type which denotes an enumeration type.
2. The provided identifier matches a member of that namespace, or a variant of that enumeration.

Syntax

static_access_operation = colon_colon, identifier ;