Verify.h

Go to the documentation of this file.

/* ========================================
 
   Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
 
   File: Verify.h
   Purpose: System Call Interface Verification Layer.
 
   ======================================== */
 
#pragma once
 
#include <libSystem/SystemKit/System.h>
 
namespace LibSystem::Verify {
template <typename T, typename R = VoidPtr>
inline R sys_safe_cast(const T* ptr) {
  _rtl_assert(ptr, "safe cast failed!");
  return static_cast<R>(const_cast<T*>(ptr));
}
 
template <typename T, typename U>
struct must_cast_traits {
  constexpr static BOOL value = false;
};
 
template <typename T>
struct must_cast_traits<T, T> {
  constexpr static BOOL value = true;
};

template <typename T, typename R>
constexpr R* sys_constexpr_cast(T* ptr) {
  static_assert(must_cast_traits<T, R>::value, "constexpr cast failed! types are mismatching!");
  return static_cast<R*>(ptr);
}
}  // namespace LibSystem::Verify