sdfg::transformations::replayable_transformation_concept Concept Reference

Concept for transformations that can be replayed from a JSON description. More...

#include <sdfg/transformations/transformation_registry.h>

Concept definition

template<typename T>
concept sdfg::transformations::replayable_transformation_concept =  transformation_concept<T> && requires(
                                                                             builder::StructuredSDFGBuilder& builder,
                                                                             const nlohmann::json& desc,
                                                                             const T& transformation,
                                                                             nlohmann::json& out
                                                                         ) {
    { T::from_json(builder, desc) } -> std::same_as<T>;
    { transformation.to_json(out) } -> std::same_as<void>;
}

Detailed Description

Concept for transformations that can be replayed from a JSON description.

In addition to being a transformation_concept (i.e. derived from Transformation), a replayable transformation must provide the exact serialization contract used by the replayers:

• a static from_json(builder, desc) factory returning the transformation by value (this also guarantees the type is concrete / non-abstract), and
• a to_json(json&) const member overriding the pure-virtual base method.

Registering a transformation in dispatch_transformation instantiates this concept, so any type whose from_json/to_json do not match the required form fails to compile with a clear diagnostic.