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

http://github.com/tybor/Liberty · Specman e · 29 lines · 13 code · 3 blank · 13 comment · 0 complexity · c0c0f006aaf86775fb7b857799284f49 MD5 · raw file 

    

  1. deferred class WRAPPER_FEATURE
    2. 

  2.    -- A node of an XML file produced by gccxml that will be wrapped by a Liberty feature, part of wider wrapper class.
    3. 

  3. 

  4. inherit
    5. 

  5.    WRAPPABLE_NODE
    6. 

  6.    FILED_NODE
    7. 

  7. 

  8. feature {ANY}
    9. 

  9.    wrap_on (a_stream: OUTPUT_STREAM)
    10. 

  10.          -- Put the wrapper on `a_stream'
    11. 

  11.       require
    12. 

  12.          a_stream /= Void
    13. 

  13.       deferred
    14. 

  14.       ensure
    15. 

  15.          buffer.is_empty
    16. 

  16.       end
    17. 

    18. 

  18. end -- class WRAPPER_FEATURE
    19. 

  19. -- Copyright (C) 2008-2017: ,2009,2010 Paolo Redaelli
    20. 

  20. -- wrappers-generator  is free software: you can redistribute it and/or modify it
    21. 

  21. -- under the terms of the GNU General Public License as publhed by the Free
    22. 

  22. -- Software Foundation, either version 2 of the License, or (at your option)
    23. 

  23. -- any later version.
    24. 

  24. -- wrappers-generator is distributed in the hope that it will be useful, but
    25. 

  25. -- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
    26. 

  26. -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
    27. 

  27. -- more details.
    28. 

  28. -- You should have received a copy of the GNU General Public License along with
    29. 

  29. -- th program.  If not, see <http://www.gnu.org/licenses/>.
    30.