code: public DbPipe getDevicePipeProperties(String deviceName, String pipeName) throws DevFailed {
          return databaseDAO.getDevicePipeProperties(this, deviceName, pipeName);
      }
docs: ===================================================================