components/GPIOMUXServer/camkes-include/camkes-MUXServer.h

/*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#define _VAR_STRINGIZE(...) #__VA_ARGS__
#define VAR_STRINGIZE(...) _VAR_STRINGIZE(__VA_ARGS__)

import <MUXServerInterfaces.camkes>;


#define MUXServer_client_interfaces(name) \
    uses MUX name; \
    emits Init name##_init1; \
    consumes Init name##_init2;


#define MUXServer_server_interfaces(name) \
    provides MUX name; \
    emits Init name##_init1; \
    consumes Init name##_init2;


#define MUXServer_server_connections(name) \
        connection MUXServerInit name##_server_init(from name##_init1, to name##_init2);


#define MUXServer_connections(client_name, client, server_name, server) \
    connection seL4RPCNoThreads client##_##client_name##_##server##_##server_name##_mux(from client.client_name, to server.server_name); \
    connection MUXServerClientInit client##_##client_name##_client_init(from client.client_name##_init1, to client.client_name##_init2);

#define MUXServer_connections_embedded(client_name, server_name, server) \
    connection seL4RPCNoThreads client_name##_##server##_##server_name##_mux(from client_name, to server.server_name); \
    connection MUXServerClientInit client_name##_client_init(from client_name##_init1, to client_name##_init2);


#define MUXServer_server_configurations(name) \
    name##_server_init.connection_name = VAR_STRINGIZE(name);

#define MUXServer_client_configurations(client_name, client) \
    client##_##client_name##_client_init.connection_name = VAR_STRINGIZE(client_name);

#define MUXServer_client_configurations_embedded(client_name) \
    client_name##_client_init.connection_name = VAR_STRINGIZE(client_name);