/tutorial/plugin/mini_gtk/gtk_agent_launcher.e
Specman e | 25 lines | 20 code | 5 blank | 0 comment | 0 complexity | 4dea874b4ad2d262b1b54ef930b3e8ef MD5 | raw file
1expanded class GTK_AGENT_LAUNCHER 2 3creation {} -- for Cecil 4 make 5 6feature {} 7 make is 8 do 9 end 10 11 launch_routine (routine: ROUTINE[TUPLE]) is 12 do 13 routine.call([]) 14 end 15 16 callback_agent: POINTER is 17 external "plug_in" 18 alias "{ 19 location: "." 20 module_name: "plugin" 21 feature_name: "G_CALLBACK(callback_agent)" 22 }" 23 end 24 25end -- class GTK_AGENT_LAUNCHER