/tutorial/backtracking/expand_expression/tree/string_node.e

http://github.com/tybor/Liberty · Specman e · 25 lines · 19 code · 6 blank · 0 comment · 0 complexity · e41126a840b8db33079ae8a025bebdcd MD5 · raw file 

    

  1. class STRING_NODE
    2. 

  2. 

  3. inherit
    4. 

  4. 	BACKTRACKING_NODE
    5. 

  5. 

  6. creation {ANY}
    7. 

  7. 	make
    8. 

  8. 

  9. feature {ANY}
    10. 

  10. 	value: STRING
    11. 

  11. 

  12. 	make (val: STRING) is
    13. 

  13. 		do
    14. 

  14. 			value := val
    15. 

  15. 		ensure
    16. 

  16. 			definition: value = val
    17. 

  17. 		end
    18. 

  18. 

  19. 	explore (expander: EXPAND_EXPRESSION) is
    20. 

  20. 		do
    21. 

  21. 			expander.stack.add_last(value)
    22. 

  22. 			expander.continue
    23. 

  23. 		end
    24. 

  24. 

  25. end -- class STRING_NODE
    26.