libzypp: zyppng::sat::PreparedPool Class Reference

libzypp 17.38.14

zyppng::sat::PreparedPool Class Reference

A move-only, non-owning view of a Pool that guarantees the whatprovides index is valid. More...

`#include <zypp/ng/sat/preparedpool.h>`

## Public Member Functions
| PreparedPool ()=delete
| PreparedPool (const PreparedPool &)=delete
PreparedPool & | operator= (const PreparedPool &)=delete
| PreparedPool (PreparedPool &&)=default
PreparedPool & | operator= (PreparedPool &&)=default
| ~PreparedPool ()=default
Pool & | pool () const noexcept
| Access the owning Pool.
detail::CPool * | get () const noexcept
| Expert backdoor — raw libsolv pool pointer.

## whatprovides queries
These methods require the whatprovides index to be valid, which is guaranteed by the type invariant of `PreparedPool`.
class | Pool
Pool & | _pool
SerialNumberWatcher | _serialWatcher
unsigned | whatProvidesCapabilityId (detail::IdType cap_r) const
| Returns the offset into the internal whatprovidesdata array for cap_r.
detail::IdType | whatProvidesData (unsigned offset_r) const
| Returns the id stored at offset_r in the whatprovidesdata array.
Queue | whatMatchesDep (const SolvAttr &, const Capability &) const
| All solvables whose attribute attr_r matches dependency cap_r.
Queue | whatMatchesSolvable (const SolvAttr &, const Solvable &) const
| All solvables whose attribute attr_r matches solvable solv_r.
Queue | whatContainsDep (const SolvAttr &, const Capability &) const
| All solvables whose attribute attr_r contains dependency cap_r.
| PreparedPool (Pool &pool_r) noexcept
| Only Pool::prepare() may construct a PreparedPool.

## Detailed Description

A move-only, non-owning view of a Pool that guarantees the whatprovides index is valid.

Obtaining a PreparedPool
  A `PreparedPool` is obtainable only as the return value of Pool::prepare(). It cannot be default-constructed or copied.

Ownership
  `PreparedPool` is non-owning. Destroying it does nothing to the underlying libsolv index — the index lives inside the libsolv `::Pool` struct and is managed by the owning Pool.

Thread safety
  `PreparedPool` is a non-owning view. Concurrent reads are safe as long as the owning Pool is not mutated concurrently.

Debug invariant
  In debug builds the serial number of the pool is captured at construction. Every query asserts the serial has not changed, catching use-after-invalidate.

Definition at line 50 of file preparedpool.h.

## Constructor & Destructor Documentation

## ◆ PreparedPool() [1/4]

zyppng::sat::PreparedPool::PreparedPool | ( |  | ) |
| delete

## ◆ PreparedPool() [2/4]

zyppng::sat::PreparedPool::PreparedPool | ( | const PreparedPool & |  | ) |
| delete

## ◆ PreparedPool() [3/4]

zyppng::sat::PreparedPool::PreparedPool | ( | PreparedPool && |  | ) |
| default

## ◆ ~PreparedPool()

zyppng::sat::PreparedPool::~PreparedPool | ( |  | ) |
| default

## ◆ PreparedPool() [4/4]

zyppng::sat::PreparedPool::PreparedPool | ( | Pool & | pool_r | ) |
| explicitprivatenoexcept

Only Pool::prepare() may construct a PreparedPool.

Definition at line 20 of file preparedpool.cc.

## Member Function Documentation

## ◆ operator=() [1/2]

PreparedPool & zyppng::sat::PreparedPool::operator= | ( | const PreparedPool & |  | ) |
| delete

## ◆ operator=() [2/2]

PreparedPool & zyppng::sat::PreparedPool::operator= | ( | PreparedPool && |  | ) |
| default

## ◆ pool()

Pool & zyppng::sat::PreparedPool::pool | ( |  | ) | const
| inlinenoexcept

Access the owning Pool.

Definition at line 63 of file preparedpool.h.

## ◆ get()

detail::CPool * zyppng::sat::PreparedPool::get | ( |  | ) | const
| noexcept

Expert backdoor — raw libsolv pool pointer.

Definition at line 31 of file preparedpool.cc.

## ◆ whatProvidesCapabilityId()

unsigned zyppng::sat::PreparedPool::whatProvidesCapabilityId | ( | detail::IdType | cap_r | ) | const

Returns the offset into the internal whatprovidesdata array for cap_r.

Use whatProvidesData to iterate the stored ids.

Definition at line 40 of file preparedpool.cc.

## ◆ whatProvidesData()

detail::IdType zyppng::sat::PreparedPool::whatProvidesData | ( | unsigned | offset_r | ) | const

Returns the id stored at offset_r in the whatprovidesdata array.

Iterate from whatProvidesCapabilityId until a `0` id is returned.

Definition at line 45 of file preparedpool.cc.

## ◆ whatMatchesDep()

Queue zyppng::sat::PreparedPool::whatMatchesDep | ( | const SolvAttr & | attr,
|  | const Capability & | cap ) const

All solvables whose attribute attr_r matches dependency cap_r.

Definition at line 50 of file preparedpool.cc.

## ◆ whatMatchesSolvable()

Queue zyppng::sat::PreparedPool::whatMatchesSolvable | ( | const SolvAttr & | attr,
|  | const Solvable & | solv ) const

All solvables whose attribute attr_r matches solvable solv_r.

Definition at line 57 of file preparedpool.cc.

## ◆ whatContainsDep()

Queue zyppng::sat::PreparedPool::whatContainsDep | ( | const SolvAttr & | attr,
|  | const Capability & | cap ) const

All solvables whose attribute attr_r contains dependency cap_r.

Definition at line 64 of file preparedpool.cc.

## Friends And Related Symbol Documentation

## ◆ Pool

friend class Pool
| friend

Definition at line 94 of file preparedpool.h.

## Member Data Documentation

## ◆ _pool

Pool& zyppng::sat::PreparedPool::_pool
| private

Definition at line 99 of file preparedpool.h.

## ◆ _serialWatcher

SerialNumberWatcher zyppng::sat::PreparedPool::_serialWatcher
| private

Definition at line 101 of file preparedpool.h.

The documentation for this class was generated from the following files:

- zypp/ng/sat/preparedpool.h
- zypp/ng/sat/preparedpool.cc