id = $id; } /** * Get notification iD * * @return int The ID of the notification */ public function get_id() : int { return $this->id; } /** * Set notification creation time * * @param int $time The creation time */ public function set_time(int $time){ $this->time = $time; } /** * Get notification time * * @return int The time of the notification */ public function get_time() : int { return $this->time; } /** * Set the seen state of the notification * * @param bool $seen TRUE for seen */ public function set_seen(bool $seen){ $this->seen = $seen; } /** * Get the seen state of the notification * * @return bool TRUE if the notification has been seen * FALSE else */ public function is_seen() : bool { return $this->seen; } /** * Set notification source user id * * @param int $notificatID The ID of the notification */ public function set_from_user_id(int $from_user_id){ $this->from_user_id = $from_user_id; } /** * Get notification source user id * * @return int The id of the user who created the notification */ public function get_from_user_id() : int { return $this->from_user_id; } /** * Set notification destination user id * * @param int $notificatID The ID of the notification */ public function set_dest_user_id(int $dest_user_id){ $this->dest_user_id = $dest_user_id; } /** * Get notification destination user id * * @return int The dest_user_id of the notification */ public function get_dest_user_id() : int { return $this->dest_user_id; } }