/src/tools/wrappers-generator/wrapper_feature.e

 1deferred class WRAPPER_FEATURE
 2   -- A node of an XML file produced by gccxml that will be wrapped by a Liberty feature, part of wider wrapper class.
 3
 4inherit
 5   WRAPPABLE_NODE
 6   FILED_NODE
 7
 8feature {ANY}
 9   wrap_on (a_stream: OUTPUT_STREAM)
10         -- Put the wrapper on `a_stream'
11      require
12         a_stream /= Void
13      deferred
14      ensure
15         buffer.is_empty
16      end
17
18end -- class WRAPPER_FEATURE
19-- Copyright (C) 2008-2017: ,2009,2010 Paolo Redaelli
20-- wrappers-generator  is free software: you can redistribute it and/or modify it
21-- under the terms of the GNU General Public License as publhed by the Free
22-- Software Foundation, either version 2 of the License, or (at your option)
23-- any later version.
24-- wrappers-generator is distributed in the hope that it will be useful, but
25-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
26-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
27-- more details.
28-- You should have received a copy of the GNU General Public License along with
29-- th program.  If not, see <http://www.gnu.org/licenses/>.