code: public DbDatum getPipeProperty(String pipeName, String propertyName) throws DevFailed {
          DbPipe dbPipe = database.getDevicePipeProperties(deviceName, pipeName);
          DbDatum datum = dbPipe.getDatum(propertyName);
          if (datum==null) Except.throw_exception("TangoApi_PropertyNotFound",         "Property " + propertyName + " not found for pipe " + pipeName);
          return datum;
      }
docs: ===================================================================