class WAD_READER General cluster: brie_doom description: "Utility class to read WAD contents" Ancestors ANY Queries read_array_integer_16 (m: MANAGED_POINTER): ARRAY [INTEGER_16]
Generated by ISE EiffelStudio