}
*/
+ /**
+ * Get a room by its OID. Returns <tt>null</tt> if the room was not found.
+ * @param $nOid (integer) The OID of the room
+ * @return mod_roomReservationRoom
+ */
+ static function getRoomByOid($nOid) {
+ $o = null;
+ $h = db_query("SELECT * FROM rooms WHERE oid = $1;", $nOid);
+ if(pg_num_rows($h) > 0) {
+ $arResult = pg_fetch_array($h);
+ $o = new mod_roomReservationRoom($arResult["name"],
+ $arResult["room_no"], $arResult["floor"], $arResult["building"],
+ $arResult["location"]);
+ }
+ return $o;
+ }
+
+ /**
+ * Get a room by its name. Returns <tt>null</tt> if the room was not found.
+ * @param $sName (string) The name of the room
+ * @return mod_roomReservationRoom
+ */
+ static function getRoomByName($sName) {
+ $o = null;
+ $h = db_query("SELECT * FROM rooms WHERE name = $1;", $sName);
+ if(pg_num_rows($h) > 0) {
+ $arResult = pg_fetch_array($h);
+ $o = new mod_roomReservationRoom($arResult["name"],
+ $arResult["room_no"], $arResult["floor"], $arResult["building"],
+ $arResult["location"]);
+ }
+ return $o;
+ }
+
/**
* Get all rooms from the database
* @return array of mod_roomReservationRoom