| 1729 | |
| 1730 | |
| 1731 | Resources Resources::pushReservation( |
| 1732 | const Resource::ReservationInfo& reservation) const |
| 1733 | { |
| 1734 | Resources result; |
| 1735 | |
| 1736 | foreach ( |
| 1737 | const Resource_Unsafe& resource_, |
| 1738 | resourcesNoMutationWithoutExclusiveOwnership) { |
| 1739 | Resource_ r_ = *resource_; |
| 1740 | r_.resource.add_reservations()->CopyFrom(reservation); |
| 1741 | Option<Error> validationError = Resources::validate(r_.resource); |
| 1742 | CHECK_NONE(validationError) |
| 1743 | << "Invalid resource " << r_ << ": " << validationError.get(); |
| 1744 | |
| 1745 | result.add(std::move(r_)); |
| 1746 | } |
| 1747 | |
| 1748 | return result; |
| 1749 | } |
| 1750 | |
| 1751 | |
| 1752 | Resources Resources::popReservation() const |
no outgoing calls