return.h

Go to the documentation of this file.

#pragma once
 
#include "sdfg/structured_control_flow/control_flow_node.h"
 
namespace sdfg {
 
namespace builder {
class StructuredSDFGBuilder;
}
 
namespace structured_control_flow {

class Return : public ControlFlowNode {
    friend class sdfg::builder::StructuredSDFGBuilder;
 
private:
    std::string data_;
    std::unique_ptr<types::IType> type_;
 
    Return(size_t element_id, const DebugInfo& debug_info, ControlFlowNode* parent, const std::string& data);
 
    Return(
        size_t element_id,
        const DebugInfo& debug_info,
        ControlFlowNode* parent,
        const std::string& constant,
        const types::IType& type
    );
 
    static constexpr size_t REQUIRED_ELEMENT_IDS = 1;
 
public:
    Return(const Return& Return) = delete;
    Return& operator=(const Return&) = delete;
 
    ElementType type_id() const override {
        return ElementType::Return;
    }
 
    static bool classof(const Element& element) {
        return element.type_id() == ElementType::Return;
    }
 
    bool accept(visitor::ActualStructuredSDFGVisitor& visitor) override;

    const std::string& data() const;

    const types::IType& type() const;

    bool is_data() const;

    bool is_constant() const;
 
    void validate(const Function& function) const override;

    void replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) override;
    using Element::replace;
};
 
} // namespace structured_control_flow
} // namespace sdfg