/tutorial/backtracking/logigram/exprs/expr_value.e

http://github.com/tybor/Liberty · Specman e · 39 lines · 15 code · 6 blank · 18 comment · 0 complexity · 058ed36cfd716448f032a54a19d30450 MD5 · raw file

  1. -- See the Copyright notice at the end of this file.
  2. --
  3. class EXPR_VALUE
  4. inherit
  5. EXPR
  6. creation {ANY}
  7. make
  8. feature {ANY}
  9. make (value: INTEGER) is
  10. do
  11. to_integer := value
  12. end
  13. to_integer: INTEGER
  14. get_items (collector: ITEM_COLLECTOR) is
  15. do
  16. end
  17. end -- class EXPR_VALUE
  18. --
  19. -- ------------------------------------------------------------------------------------------------------------------------------
  20. -- Copyright notice below. Please read.
  21. --
  22. -- This file is free software, which comes along with SmartEiffel. This software is distributed in the hope that it will be
  23. -- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  24. -- You can modify it as you want, provided this footer is kept unaltered, and a notification of the changes is added.
  25. -- You are allowed to redistribute it and sell it, alone or as a part of another product.
  26. --
  27. -- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P. - University of Nancy 1 - FRANCE
  28. -- Copyright(C) 2003-2005: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
  29. --
  30. -- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
  31. --
  32. -- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
  33. -- ------------------------------------------------------------------------------------------------------------------------------