--- a/tool/MasterDevice.h	Tue Feb 23 17:40:46 2010 +0100
+++ b/tool/MasterDevice.h	Wed Feb 24 16:27:11 2010 +0100
@@ -79,7 +79,7 @@
 class MasterDevice
 {
     public:
-        MasterDevice();
+        MasterDevice(unsigned int = 0U);
         ~MasterDevice();
 
         void setIndex(unsigned int);
@@ -89,6 +89,8 @@
         void open(Permissions);
         void close();
 
+        void getModule(ec_ioctl_module_t *);
+
         void getMaster(ec_ioctl_master_t *);
         void getConfig(ec_ioctl_config_t *, unsigned int);
         void getConfigPdo(ec_ioctl_config_pdo_t *, unsigned int, uint8_t,
@@ -121,8 +123,11 @@
         void getEoeHandler(ec_ioctl_eoe_handler_t *, uint16_t);
 #endif
 
+        unsigned int getMasterCount() const {return masterCount;}
+
     private:
         unsigned int index;
+        unsigned int masterCount;
         int fd;
 };