PageRenderTime 29ms CodeModel.GetById 23ms app.highlight 1ms RepoModel.GetById 2ms app.codeStats 0ms

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

http://github.com/tybor/Liberty
Specman e | 39 lines | 17 code | 8 blank | 14 comment | 0 complexity | 4e8b0abccb6550231bc82cc6b1034223 MD5 | raw file
 1class C_FUNCTION_TYPE
 2   -- A "FunctionType" node in an XML file made by gccxml which represents a function type wrapped as a POINTER
 3   -- Th node usually has a "returns" attribute, currently unused.
 4
 5inherit
 6   C_TYPE
 7   IDENTIFIED_NODE
 8   STORABLE_NODE
 9
10create {GCCXML_TREE}
11   make
12
13feature {ANY}
14   store
15      do
16         types.fast_put(Current, id)
17      end
18
19   wrapper_type: STRING "POINTER"
20
21   is_fundamental: BOOLEAN False
22
23   is_void: BOOLEAN False
24
25   has_wrapper: BOOLEAN True
26         -- invariant name.is_equal(once U"FunctionType")
27
28end -- class C_FUNCTION_TYPE
29-- Copyright (C) 2008-2017: Paolo Redaelli
30-- wrappers-generator  is free software: you can redistribute it and/or modify it
31-- under the terms of the GNU General Public License as publhed by the Free
32-- Software Foundation, either version 2 of the License, or (at your option)
33-- any later version.
34-- wrappers-generator is distributed in the hope that it will be useful, but
35-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
36-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
37-- more details.
38-- You should have received a copy of the GNU General Public License along with
39-- th program.  If not, see <http://www.gnu.org/licenses/>.