libzypp  17.38.7
zyppng::sat::detail Namespace Reference

CLASS NAME : detail::DIWrap. More...

Classes

struct  ByRepository
 Functor filtering Solvable by Repository. More...
 
struct  convert_to_solvable
 
struct  convert_to_solvable< T, std::void_t< satSolvable_t< T > > >
 
class  DIWrap
 Wrapper around sat detail::CDataiterator. More...
 
class  IBasicPoolComponent
 Shared base for IPoolComponent and IPreparedPoolComponent. More...
 
class  RepositoryIterator
 
class  SolvableIterator
 Iterate over valid Solvables in the pool. More...
 

Typedefs

using CDataiterator = zypp::sat::detail::CDataiterator
 
using CDatamatcher = zypp::sat::detail::CDatamatcher
 
using CMap = zypp::sat::detail::CMap
 
using CPool = zypp::sat::detail::CPool
 
using CQueue = zypp::sat::detail::CQueue
 
using CRepo = zypp::sat::detail::CRepo
 
using CSolvable = zypp::sat::detail::CSolvable
 
using CSolver = zypp::sat::detail::CSolver
 
using CTransaction = zypp::sat::detail::CTransaction
 
using IdType = zypp::sat::detail::IdType
 
using SolvableIdType = zypp::sat::detail::SolvableIdType
 
using RepoIdType = zypp::sat::detail::RepoIdType
 
using size_type = SolvableIdType
 
template<typename T >
using satSolvable_t = decltype(std::declval< T >().satSolvable())
 

Functions

void cap2str (std::string &outs_r, CPool *pool_r, IdType id_r, int parop_r)
 Shared logic to convert a sat ID into a human readable string. More...
 
const char * cap2str (CPool *pool_r, IdType id_r, int parop_r=0)
 Shared logic to convert a sat ID into a human readable string. More...
 
const char * capRel2Str (int op_r)
 Convert a relation operator to its string representation. More...
 
static void logSat (CPool *, void *data, int type, const char *logString)
 
template<typename T >
PoolpoolFromType (T &)
 
template<typename T >
const PoolpoolFromType (const T &)
 
template<>
PoolpoolFromType (Repository &r)
 
template<>
const PoolpoolFromType (const Repository &r)
 
template<>
PoolpoolFromType (Solvable &s)
 
template<>
const PoolpoolFromType (const Solvable &s)
 

Variables

template<typename T >
constexpr bool has_satSolvable_v = std::is_detected_v<satSolvable_t, T>
 

Detailed Description

CLASS NAME : detail::DIWrap.

Typedef Documentation

◆ CDataiterator

◆ CDatamatcher

◆ CMap

Definition at line 35 of file poolconstants.h.

◆ CPool

Definition at line 36 of file poolconstants.h.

◆ CQueue

Definition at line 37 of file poolconstants.h.

◆ CRepo

Definition at line 38 of file poolconstants.h.

◆ CSolvable

◆ CSolver

Definition at line 40 of file poolconstants.h.

◆ CTransaction

◆ IdType

Definition at line 43 of file poolconstants.h.

◆ SolvableIdType

◆ RepoIdType

◆ size_type

Definition at line 59 of file poolconstants.h.

◆ satSolvable_t

template<typename T >
using zyppng::sat::detail::satSolvable_t = typedef decltype(std::declval<T>().satSolvable())

Definition at line 467 of file solvable.h.

Function Documentation

◆ cap2str() [1/2]

void zyppng::sat::detail::cap2str ( std::string &  outs_r,
CPool pool_r,
IdType  id_r,
int  parop_r 
)

Shared logic to convert a sat ID into a human readable string.

Handles recursive rich dependencies and architecture/namespace tagging.

Parameters
outs_rThe string to append the result to.
pool_rThe pool to use for ID lookups.
id_rThe ID to convert.
parop_rParent operator for recursive calls (determines bracing).

Definition at line 56 of file cap2str.cc.

◆ cap2str() [2/2]

const char * zyppng::sat::detail::cap2str ( CPool pool_r,
IdType  id_r,
int  parop_r = 0 
)

Shared logic to convert a sat ID into a human readable string.

Handles recursive rich dependencies and architecture/namespace tagging.

Returns
Returns a char array in a private memory area, this can be overridden when cap2str is called again

Definition at line 107 of file cap2str.cc.

◆ capRel2Str()

const char * zyppng::sat::detail::capRel2Str ( int  op_r)

Convert a relation operator to its string representation.

Parameters
op_rThe operator ID (e.g., REL_GT, REL_AND).
Returns
String representation like " > " or " and ".

Definition at line 119 of file cap2str.cc.

◆ logSat()

static void zyppng::sat::detail::logSat ( CPool ,
void *  data,
int  type,
const char *  logString 
)
static

Definition at line 66 of file pool.cc.

◆ poolFromType() [1/6]

template<typename T >
Pool& zyppng::sat::detail::poolFromType ( T &  )

◆ poolFromType() [2/6]

template<typename T >
const Pool& zyppng::sat::detail::poolFromType ( const T &  )

◆ poolFromType() [3/6]

template<>
Pool & zyppng::sat::detail::poolFromType ( Repository r)

Definition at line 36 of file repository.cc.

◆ poolFromType() [4/6]

template<>
const Pool & zyppng::sat::detail::poolFromType ( const Repository r)

Definition at line 42 of file repository.cc.

◆ poolFromType() [5/6]

template<>
Pool & zyppng::sat::detail::poolFromType ( Solvable s)

Definition at line 43 of file solvable.cc.

◆ poolFromType() [6/6]

template<>
const Pool & zyppng::sat::detail::poolFromType ( const Solvable s)

Definition at line 52 of file solvable.cc.

Variable Documentation

◆ has_satSolvable_v

template<typename T >
constexpr bool zyppng::sat::detail::has_satSolvable_v = std::is_detected_v<satSolvable_t, T>

Definition at line 470 of file solvable.h.