/tutorial/vision/widget/check_button_demo.e

http://github.com/tybor/Liberty · Specman e · 33 lines · 27 code · 5 blank · 1 comment · 1 complexity · 647b332e09a325eba83a52cafdc1b5d2 MD5 · raw file 

    

  1. class CHECK_BUTTON_DEMO
    2. 

  2. 	-- Show how to use CHECK_BUTTON.
    3. 

  3. 

  4. inherit
    5. 

  5. 	GRAPHIC
    6. 

  6. 

  7. creation {ANY}
    8. 

  8. 	make
    9. 

  9. 

  10. feature {}
    11. 

  11. 	make is
    12. 

  12. 		local
    13. 

  13. 			toplevel_window: TOPLEVEL_WINDOW; check_button: CHECK_BUTTON
    14. 

  14. 		do
    15. 

  15. 			create toplevel_window.default_create
    16. 

  16. 			toplevel_window.when_close_requested(agent vision.loop_stack.break)
    17. 

  17. 			toplevel_window.set_background_color(white_color)
    18. 

  18. 			create check_button.with_label(toplevel_window, U"I'm happy")
    19. 

  19. 			check_button.when_value_change(agent print_state)
    20. 

  20. 			toplevel_window.map
    21. 

  21. 			vision.start
    22. 

  22. 		end
    23. 

  23. 

  24. 	print_state (happy: BOOLEAN) is
    25. 

  25. 		do
    26. 

  26. 			if happy then
    27. 

  27. 				io.put_string(once "I'm happy%N")
    28. 

  28. 			else
    29. 

  29. 				io.put_string(once "I'm not happy%N")
    30. 

  30. 			end
    31. 

  31. 		end
    32. 

  32. 

  33. end -- class CHECK_BUTTON_DEMO
    34.