/afs/cs.wisc.edu/p/course/cs564-jignesh/public/html/projects/BadgerDB/bufmgr/src/exceptions/insufficient_space_exception.h

#pragma once

#include <string>

#include "badgerdb_exception.h"
#include "types.h"

namespace badgerdb {

class InsufficientSpaceException : public BadgerDbException {
 public:
  InsufficientSpaceException(const PageId page_num,
                             const std::size_t requested,
                             const std::size_t available);

  PageId page_number() const { return page_number_; }

  std::size_t space_requested() const { return space_requested_; }

  std::size_t space_available() const { return space_available_; }

 protected:
  const PageId page_number_;

  const std::size_t space_requested_;

  const std::size_t space_available_;
};

}