Field_Operand_Interface

interface Field_Operand_Interface (logical)

only parts of the object are read/written [field access]

Direct parents:

• inherits Partial_Operand_Interface

Inherited interfaces:

Partial_Operand_Interface

Direct implementations:

• class Direct_Field_Operand

• class Indirect_Field_Operand

Field	Kind	Type	Description
Offset	attribute	builtin Natural	direct case: The_Object + Offset denotes the object used/defined. indirect case: (*The_Object) + Offset as in p->field. The offset is relative to the start of the object, and is not necessarily uniquely identifying a field (union, EBO, [[no_unique_address]], bit-fields).
Offset_In_Bits	attribute	builtin UInt64	Same as Offset * CHAR_BIT. The Offset_In_Bits does not include the Bit_Position for bit-fields.
Target	semantic	class Field	The selected field, as symbolic information. If the operand represents a nested field access object.a.b.c, Target will be the last field (c). The combination of Offset+Target is uniquely identifying the whole field chain, which can be retrieved with the get_field_chain function. To ensure uniqueness, union field accesses may only appear as the last element in the chain.