tin  1.5.9
Public Types | List of all members
tsm::runtime::profile_resource_contract< Profile, Runtime, TimerSlots, Groups > Struct Template Reference

#include <resources.h>

Collaboration diagram for tsm::runtime::profile_resource_contract< Profile, Runtime, TimerSlots, Groups >:
Collaboration graph

Public Types

using resources = runtime_resources< Runtime, TimerSlots, Groups... >
 

Detailed Description

template<typename Profile, typename Runtime, std::size_t TimerSlots = 0U, typename... Groups>
struct tsm::runtime::profile_resource_contract< Profile, Runtime, TimerSlots, Groups >

Compile-time profile/resource compatibility contract.

A target profile states what a deployment permits. The runtime resource snapshot states what a concrete runtime configuration needs. This contract joins those two facts so a no-heap profile fails during compilation if a future runtime policy opts into heap-backed storage.

Member Typedef Documentation

◆ resources

template<typename Profile , typename Runtime , std::size_t TimerSlots = 0U, typename... Groups>
using tsm::runtime::profile_resource_contract< Profile, Runtime, TimerSlots, Groups >::resources = runtime_resources<Runtime, TimerSlots, Groups...>
The documentation for this struct was generated from the following file: