/src/wrappers/common/library/c_owned.e
Specman e | 39 lines | 32 code | 6 blank | 1 comment | 3 complexity | f7d37ab5d25f46b5a37f9a6d4876613f MD5 | raw file
1note 2 description: 3 "A wrapper for a C object whose memory is handled by the Eiffel library " 4 copyright: 5 "[ 6 Copyright (C) 2008-2017: Paolo Redaelli 7 8 This library is free software; you can redistribute it and/or 9 modify it under the terms of the GNU Lesser General Public License 10 as published by the Free Software Foundation; either version 2.1 of 11 the License, or (at your option) any later version. 12 13 This library is distributed in the hope that it will be useful, but 14 WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 16 Lesser General Public License for more details. 17 18 You should have received a copy of the GNU Lesser General Public 19 License along with this library; if not, write to the Free Software 20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 21 02110-1301 USA 22 ]" 23deferred class C_OWNED 24 -- A wrapper for a C object whose memory is handled by the underlying C library 25 26inherit 27 WRAPPER 28 undefine from_external_pointer 29 end 30 31feature {ANY} 32 dispose 33 do 34 debug 35 print("Disposing a " + generating_type + "; since it is a C_OWNED object the underlying memory is handled by the C library and not freed now. From now on, the struct will not be used anymore by any Eiffel object.%N") 36 end 37 end 38 39end -- class C_OWNED