code: public String get_alias_device(Database database, String alias)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          DeviceData argIn = new DeviceData();
          argIn.insert(alias);
          DeviceData argOut = command_inout(database, "DbGetAliasDevice", argIn);
          return argOut.extractString();
      }
docs: ==========================================================================