/tutorial/plugin/mini_gtk/gtk_agent_launcher.e

http://github.com/tybor/Liberty · Specman e · 25 lines · 20 code · 5 blank · 0 comment · 0 complexity · 4dea874b4ad2d262b1b54ef930b3e8ef MD5 · raw file 

    

  1. expanded class GTK_AGENT_LAUNCHER
    2. 

  2. 

  3. creation {} -- for Cecil
    4. 

  4. 	make
    5. 

  5. 

  6. feature {}
    7. 

  7. 	make is
    8. 

  8. 		do
    9. 

  9. 		end
    10. 

  10. 

  11. 	launch_routine (routine: ROUTINE[TUPLE]) is
    12. 

  12. 		do
    13. 

  13. 			routine.call([])
    14. 

  14. 		end
    15. 

  15. 

  16. 	callback_agent: POINTER is
    17. 

  17. 		external "plug_in"
    18. 

  18. 		alias "{
    19. 

  19. 			location: "."
    20. 

  20. 			module_name: "plugin"
    21. 

  21. 			feature_name: "G_CALLBACK(callback_agent)"
    22. 

  22. 			}"
    23. 

  23. 		end
    24. 

  24. 

  25. end -- class GTK_AGENT_LAUNCHER
    26.