shared_cap

Go to the documentation of this file.

// vim:set ft=cpp: -*- Mode: C++ -*-
/*
 * (c) 2017 Alexander Warg <alexander.warg@kernkonzept.com>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
 
#pragma once
 
#include <l4/re/util/cap_alloc>
#include <l4/sys/cxx/smart_capability_1x>
#include <l4/sys/cxx/types>
 
namespace L4Re { namespace Util {

template< typename T >
using Shared_cap
  = L4::Detail::Shared_cap_impl<T, L4Re::Util::Smart_count_cap<L4_FP_ALL_SPACES>>;
template< typename T >
using shared_cap [[deprecated("Use L4Re::Util::Shared_cap.")]]
  = L4::Detail::Shared_cap_impl<T, L4Re::Util::Smart_count_cap<L4_FP_ALL_SPACES>>;

template< typename T >
Shared_cap<T>
make_shared_cap()
{ return Shared_cap<T>(cap_alloc.alloc<T>()); }

template<typename T, typename U>
Shared_cap<T> shared_cap_cast(Shared_cap<U> const &from) noexcept
{
  auto to = L4::cap_cast<T>(from.get());
  return Shared_cap<T>(from, to);
}

template<typename T, typename U>
Shared_cap<T> shared_cap_cast(Shared_cap<U> &&from) noexcept
{
  auto to = L4::cap_cast<T>(from.get());
  return Shared_cap<T>(L4::Types::move(from), to);
}

template<typename T, typename U>
Shared_cap<T> shared_cap_reinterpret_cast(Shared_cap<U> const &from) noexcept
{
  auto to = L4::cap_reinterpret_cast<T>(from.get());
  return Shared_cap<T>(from, to);
}

template<typename T, typename U>
Shared_cap<T> shared_cap_reinterpret_cast(Shared_cap<U> &&from) noexcept
{
  auto to = L4::cap_reinterpret_cast<T>(from.get());
  return Shared_cap<T>(L4::Types::move(from), to);
}

template<typename T, typename U>
Shared_cap<T> shared_cap_dynamic_cast(Shared_cap<U> const &from) noexcept
{
  if (auto to = L4::cap_dynamic_cast<T>(from.get()))
    return Shared_cap<T>(from, to);
  else
    return Shared_cap<T>();
}

template<typename T, typename U>
Shared_cap<T> shared_cap_dynamic_cast(Shared_cap<U> &&from) noexcept
{
  if (auto to = L4::cap_dynamic_cast<T>(from.get()))
    return Shared_cap<T>(L4::Types::move(from), to);
  else
    return Shared_cap<T>();
}

template< typename T >
using Shared_del_cap
  = L4::Detail::Shared_cap_impl<T, L4Re::Util::Smart_count_cap<L4_FP_DELETE_OBJ>>;
template< typename T >
using shared_del_cap [[deprecated("Use L4Re::Util::Shared_del_cap.")]]
  = L4::Detail::Shared_cap_impl<T, L4Re::Util::Smart_count_cap<L4_FP_DELETE_OBJ>>;

template< typename T >
Shared_del_cap<T>
make_shared_del_cap()
{ return Shared_del_cap<T>(cap_alloc.alloc<T>()); }

 */
template<typename T, typename U>
Shared_del_cap<T> shared_del_cap_cast(Shared_del_cap<U> const &from) noexcept
{
  auto to = L4::cap_cast<T>(from.get());
  return Shared_del_cap<T>(from, to);
}

 */
template<typename T, typename U>
Shared_del_cap<T> shared_del_cap_cast(Shared_del_cap<U> &&from) noexcept
{
  auto to = L4::cap_cast<T>(from.get());
  return Shared_del_cap<T>(L4::Types::move(from), to);
}

template<typename T, typename U>
Shared_del_cap<T>
shared_del_cap_reinterpret_cast(Shared_del_cap<U> const &from) noexcept
{
  auto to = L4::cap_reinterpret_cast<T>(from.get());
  return Shared_del_cap<T>(from, to);
}

template<typename T, typename U>
Shared_del_cap<T>
shared_del_cap_reinterpret_cast(Shared_del_cap<U> &&from) noexcept
{
  auto to = L4::cap_reinterpret_cast<T>(from.get());
  return Shared_del_cap<T>(L4::Types::move(from), to);
}

template<typename T, typename U>
Shared_del_cap<T>
shared_del_cap_dynamic_cast(Shared_del_cap<U> const &from) noexcept
{
  if (auto to = L4::cap_dynamic_cast<T>(from.get()))
    return Shared_del_cap<T>(from, to);
  else
    return Shared_del_cap<T>();
}

template<typename T, typename U>
Shared_del_cap<T>
shared_del_cap_dynamic_cast(Shared_del_cap<U> &&from) noexcept
{
  if (auto to = L4::cap_dynamic_cast<T>(from.get()))
    return Shared_del_cap<T>(L4::Types::move(from), to);
  else
    return Shared_del_cap<T>();
}
 
}} // namespace L4Re::Util