PageRenderTime 8ms CodeModel.GetById 1ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 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