Signal.hpp

Go to the documentation of this file.

#pragma once

 
#include <vulcan/io/Signal.hpp>
 
#include <cstdint>
#include <limits>
#include <string>
 
namespace icarus {
 
// =============================================================================
// Re-export Vulcan Signal Types
// =============================================================================

using SignalType = vulcan::io::SignalType;

using SignalLifecycle = vulcan::io::SignalLifecycle;
 
// =============================================================================
// TypeTraits - Compile-time type ID mapping
// =============================================================================

template <typename T> struct TypeTraits {
    static_assert(sizeof(T) == 0, "TypeTraits not specialized for this type. "
                                  "Supported types: double, int32_t, int64_t");
};

template <> struct TypeTraits<double> {
    static constexpr SignalType type_id = SignalType::Double;
    static constexpr const char *name = "Double";
};

template <> struct TypeTraits<int32_t> {
    static constexpr SignalType type_id = SignalType::Int32;
    static constexpr const char *name = "Int32";
};

template <> struct TypeTraits<int64_t> {
    static constexpr SignalType type_id = SignalType::Int64;
    static constexpr const char *name = "Int64";
};
 
// =============================================================================
// SignalKind - Interface classification (Phase 2.4)
// =============================================================================

enum class SignalKind {
    Output,    
    Input,     
    Parameter, 
    Config     
};

inline const char *to_string(SignalKind kind) {
    switch (kind) {
    case SignalKind::Output:
        return "Output";
    case SignalKind::Input:
        return "Input";
    case SignalKind::Parameter:
        return "Parameter";
    case SignalKind::Config:
        return "Config";
    default:
        return "Unknown";
    }
}
 
} // namespace icarus
 
// Include Icarus types for SymbolicScalar specialization
#include <icarus/core/CoreTypes.hpp>
 
namespace icarus {

template <> struct TypeTraits<SymbolicScalar> {
    static constexpr SignalType type_id = SignalType::Double;
    static constexpr const char *name = "SymbolicDouble";
};
 
// =============================================================================
// SignalDescriptor (extends Vulcan's with Icarus-specific fields)
// =============================================================================

struct SignalDescriptor {
    // Core fields (compatible with Vulcan's SignalDescriptor)
    std::string name;          
    SignalType type;           
    SignalLifecycle lifecycle; 
    std::string unit;          
    std::string semantic;      
 
    // Icarus extensions
    std::string description;     
    std::string owner_component; 
    void *data_ptr = nullptr;    
 
    // Phase 2.4: Interface classification
    SignalKind kind = SignalKind::Output; 
    std::string wired_to;                 
 
    // Simulation metadata
    double min_value = -std::numeric_limits<double>::infinity();
    double max_value = std::numeric_limits<double>::infinity();
    bool is_optimizable = true; 
 
    // Phase 6: Unified state model
    bool is_integrable = false;    
    std::string derivative_signal; 
    std::string integrated_signal; 

    [[nodiscard]] constexpr size_t size_bytes() const { return 8; }
};
 
} // namespace icarus