note description: "Summary description for {PE_RESOURCE_HEADER}." date: "$Date$" revision: "$Revision$" class PE_RESOURCE_HEADER feature -- Access data_size: INTEGER_32 assign set_data_size -- `data_sIze' hrd_size: INTEGER_32 assign set_hrd_size -- `hrd_size' feature -- Element change set_hrd_size (a_hrd_size: like hrd_size) -- Assign `hrd_size' with `a_hrd_size'. do hrd_size := a_hrd_size ensure hrd_size_assigned: hrd_size = a_hrd_size end set_data_size (a_data_size: like data_size) -- Assign `data_size' with `a_data_size'. do data_size := a_data_size ensure data_size_assigned: data_size = a_data_size end feature -- Measurement size_of: INTEGER local l_internal: INTERNAL n: INTEGER l_obj: PE_RESOURCE_HEADER do create l_obj create l_internal n := l_internal.field_count (l_obj) across 1 |..| n as ic loop if attached l_internal.field (ic, l_obj) as l_field then if attached {INTEGER_32} l_field then Result := Result + {PLATFORM}.integer_32_bytes end end end ensure instance_free: class end end