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

http://github.com/tybor/Liberty · Specman e · 38 lines · 18 code · 8 blank · 12 comment · 0 complexity · 7ba9b7a05e0098a5275288f188d7c310 MD5 · raw file

  1. class C_POINTER_TYPE
  2. -- A GccXml node representing a pointer type.
  3. inherit
  4. C_TYPE
  5. IDENTIFIED_NODE
  6. STORABLE_NODE
  7. TYPED_NODE
  8. create {GCCXML_TREE}
  9. make
  10. feature {ANY}
  11. is_fundamental: BOOLEAN True
  12. is_void: BOOLEAN False
  13. has_wrapper: BOOLEAN True
  14. wrapper_type: STRING "POINTER"
  15. store
  16. do
  17. types.put(Current, id)
  18. end -- invariant name.is_equal(once U"PointerType")
  19. end -- class C_POINTER_TYPE
  20. -- Copyright (C) 2008-2017: ,2009,2010 Paolo Redaelli
  21. -- wrappers-generator is free software: you can redistribute it and/or modify it
  22. -- under the terms of the GNU General Public License as publhed by the Free
  23. -- Software Foundation, either version 2 of the License, or (at your option)
  24. -- any later version.
  25. -- wrappers-generator is distributed in the hope that it will be useful, but
  26. -- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  27. -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
  28. -- more details.
  29. -- You should have received a copy of the GNU General Public License along with
  30. -- th program. If not, see <http://www.gnu.org/licenses/>.