/src/wrappers/common/library/wrappers_cache.e

http://github.com/tybor/Liberty · Specman e · 38 lines · 27 code · 9 blank · 2 comment · 2 complexity · 31b5abd81ae8c7edf1c23fc753085cc7 MD5 · raw file

  1. indexing
  2. description: "."
  3. copyright: "[
  4. Copyright (C) 2008 Paolo Redaelli
  5. This library is free software; you can redistribute it and/or
  6. modify it under the terms of the GNU Lesser General Public License
  7. as published by the Free Software Foundation; either version 2.1 of
  8. the License, or (at your option) any later version.
  9. This library is distributed in the hope that it will be useful, but
  10. WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  12. Lesser General Public License for more details.
  13. You should have received a copy of the GNU Lesser General Public
  14. License along with this library; if not, write to the Free Software
  15. Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  16. 02110-1301 USA
  17. ]"
  18. deferred class WRAPPERS_CACHE [ITEM->WRAPPER]
  19. obsolete "use GLOBAL_CACHE instead"
  20. -- A cache for other wrapper.
  21. inherit
  22. WRAPPER_HANDLER
  23. insert
  24. GLOBAL_CACHE
  25. rename
  26. wrappers as cache
  27. end
  28. -- insert ANY undefine copy, is_equal, fill_tagged_out_memory end
  29. end -- class WRAPPERS_CACHE