1 2 3 4 5 6 7 8 9 10 11 12 13
// // $Id$ // module Test { /// Defines an empty interface used only for the test interface Empty { /// Destroy the object void destroy (); }; };