with Libsens.Virtual; use Libsens.Virtual; with Libsens.Virtual.Work_Class; use Libsens.Virtual.Work_Class; with Libsens.Virtual.No_Plugin; use Libsens.Virtual.No_Plugin; with Libsens.Gtk_Plugins_Specifications;use Libsens.Gtk_Plugins_Specifications; package Libsens.Gtk_No_Plugin is type No_Plugin_Specifications is new Abstract_Plugin_Specifi(Null_Plugin) with record end record; procedure Initialize (Spec : in out No_Plugin_Specifications; Plugin : in Abstract_Plugin_Access); end Libsens.Gtk_No_Plugin;