Direct_Partial_Operand

class Direct_Partial_Operand (abstract, logical)

Access to a subobject of a variable: obj.subobject. Subclasses distinguish: kind of subobject, read/write/address

Implemented interfaces:

• implements Partial_Operand_Interface

Direct parents:

• inherits Direct_Operand

Ancestor classes and implemented interfaces:

Direct_Operand, Execution_Node, Logical_IR_Root, Operand, Partial_Operand_Interface

Direct child classes:

• subclass Direct_Pointer_To_Member_Operand

• subclass Direct_Field_Operand

• subclass Direct_Array_Element_Operand

• subclass Direct_Multi_Array_Element_Operand

Field	Kind	Type	Description
The_Object (from Operand)	semantic	class Object
Its_Type (from Operand)	semantic	class Type	The type of the operand. WARNING: For address operands, this field returns the pointed-to-type. That is, for int i, the operand &i will report Its_Type=int. Code using this field must check the read/write/address kind to avoid bugs!
Parent (from Logical_IR_Root)	semantic	class Logical_IR_Root
Physical (from Logical_IR_Root)	semantic to physical	class Physical_IR_Root