FieldAccessExpression

A FieldAccessExpression represents the calculation of the address of a field within a group given the address of the group. The result type of the base_group_address must be a Pointer to the type of the field.

    concrete FieldAccessExpression : Expression
      {
        Expression * owner base_group_address in source_ops;
        FieldSymbol * reference field;
      };

base_group_address	must have type ``pointer to group'' for some group type
field	must be a FieldSymbol within that group. The result type is required to be a pointer to the type of the field.