assert.h

Go to the documentation of this file.

#pragma once
 
#include <cstddef>
#include <memory>
#include <nlohmann/json_fwd.hpp>
#include <string>
 
#include "sdfg/builder/structured_sdfg_builder.h"
#include "sdfg/codegen/code_snippet_factory.h"
#include "sdfg/codegen/dispatchers/block_dispatcher.h"
#include "sdfg/codegen/language_extension.h"
#include "sdfg/codegen/utils.h"
#include "sdfg/data_flow/data_flow_graph.h"
#include "sdfg/data_flow/data_flow_node.h"
#include "sdfg/data_flow/library_node.h"
#include "sdfg/data_flow/library_nodes/stdlib/stdlib_node.h"
#include "sdfg/element.h"
#include "sdfg/function.h"
#include "sdfg/graph/graph.h"
#include "sdfg/serializer/json_serializer.h"
#include "sdfg/structured_control_flow/block.h"
#include "sdfg/symbolic/symbolic.h"
 
namespace sdfg {
namespace stdlib {
 
inline data_flow::LibraryNodeCode LibraryNodeType_Assert("Assert");
 
class AssertNode : public StdlibNode {
private:
    std::string message_;
 
public:
    AssertNode(
        size_t element_id,
        const DebugInfo& debug_info,
        const graph::Vertex vertex,
        data_flow::DataFlowGraph& parent,
        std::string message = ""
    );
 
    std::string& message();
    const std::string& message() const;
 
    virtual std::string toStr() const override;
 
    virtual symbolic::SymbolSet symbols() const override;
 
    virtual std::unique_ptr<data_flow::DataFlowNode>
    clone(size_t element_id, const graph::Vertex vertex, data_flow::DataFlowGraph& parent) const override;
 
    virtual void replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) override;
 
    virtual void replace(const symbolic::ExpressionMapping& replacements) override;
};
 
class AssertNodeSerializer : public serializer::LibraryNodeSerializer {
public:
    virtual nlohmann::json serialize(const data_flow::LibraryNode& library_node) override;
 
    virtual data_flow::LibraryNode& deserialize(
        const nlohmann::json& j, builder::StructuredSDFGBuilder& builder, structured_control_flow::Block& parent
    ) override;
};
 
class AssertNodeDispatcher : public codegen::LibraryNodeDispatcher {
private:
    void escape_message(codegen::PrettyPrinter& stream, const std::string& message);
 
public:
    AssertNodeDispatcher(
        codegen::LanguageExtension& language_extension,
        const Function& function,
        const data_flow::DataFlowGraph& data_flow_graph,
        const data_flow::LibraryNode& node
    );
 
    virtual void dispatch_code(
        codegen::PrettyPrinter& stream,
        codegen::PrettyPrinter& globals_stream,
        codegen::CodeSnippetFactory& library_snippet_factory
    ) override;
};
 
} // namespace stdlib
} // namespace sdfg