1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | with ada.unchecked_Deallocation; package body physics.Space is procedure free (Self : in out View) is procedure deallocate is new ada.unchecked_Deallocation (Item'Class, View); begin Self.destruct; deallocate (Self); end free; end physics.Space; |