/test/language/unclassified/uw/aux_uw01action_node.e

http://github.com/tybor/Liberty · Specman e · 49 lines · 24 code · 5 blank · 20 comment · 0 complexity · cc6e8f95a72d2067c31af23b2cfa1025 MD5 · raw file

  1. note
  2. description:
  3. "nodes representing an action"
  4. status:
  5. "See notice at end of class"
  6. author:
  7. "Ulrich Windl <Ulrich.Windl@rz.uni-regensburg.de>"
  8. version:
  9. "$Revision$"
  10. last_modification:
  11. "$Date$"
  12. deferred class AUX_UW01ACTION_NODE
  13. feature {ANY}
  14. extra_io: AUX_UW01EXTRA_IO
  15. -- shared EXTRA_IO object
  16. once
  17. create Result.make
  18. end
  19. execute
  20. -- perform action
  21. deferred
  22. end
  23. language: AUX_UW01LANGUAGE
  24. -- language to use
  25. invariant
  26. good_language: language /= Void
  27. end -- class AUX_UW01ACTION_NODE
  28. -- Copyright (C) 1998-2017: by Ulrich Windl
  29. -- Copyright (C) 1998-2017: by Klinikum der Universität Regensburg,
  30. -- D-93042 Regensburg
  31. --
  32. -- This program is free software; you can redistribute it and/or modify
  33. -- it under the terms of the GNU General Public License as published by
  34. -- the Free Software Foundation; either version 2 of the License, or
  35. -- (at your option) any later version.
  36. --
  37. -- This program is distributed in the hope that it will be useful,
  38. -- but WITHOUT ANY WARRANTY; without even the implied warranty of
  39. -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  40. -- GNU General Public License for more details.
  41. --
  42. -- You should have received a copy of the GNU General Public License
  43. -- along with this program; if not, write to the Free Software
  44. -- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA