daisytuner / sdfglib / 17907460602

Return::Return(size_t element_id, const DebugInfo& debug_info)

    : ControlFlowNode(element_id, debug_info), data_(""), unreachable_(true), type_(nullptr) {}

Return::Return(size_t element_id, const DebugInfo& debug_info, const std::string& data, const types::IType& type)

    : ControlFlowNode(element_id, debug_info), data_(data), unreachable_(false), type_(type.clone()) {}

const types::IType& Return::type() const { return *type_; }

bool Return::is_unreachable() const { return unreachable_; }

            throw InvalidSDFGException("Return node with data '" + data_ + "' does not correspond to any container");

            throw InvalidSDFGException("Return node cannot be both data and unreachable");

            throw InvalidSDFGException("Return node with data cannot have a type");

        if (function.exists(data_)) {

            throw InvalidSDFGException(

                "Return node with constant data '" + data_ + "' cannot correspond to any container"

        if (type_ == nullptr) {

            throw InvalidSDFGException("Return node with constant data must have a type");

    } else if (is_unreachable()) {

        if (!data_.empty()) {

            throw InvalidSDFGException("Unreachable return node cannot have data");

        if (type_ != nullptr) {

            throw InvalidSDFGException("Unreachable return node cannot have a type");

    } else {

        throw InvalidSDFGException("Return node must be either data, constant, or unreachable");

void Return::replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) {

    if (is_data() && data_ == old_expression->__str__()) {

        data_ = new_expression->__str__();

    }

};