DynamicCast.h

Go to the documentation of this file.

/*
 * Copyright (C) 2025 Andrew S. Rightenburg
 * Bash++: Bash with classes
 * SPDX-License-Identifier: GPL-3.0-or-later
 */
 
#pragma once
 
#include <AST/ASTNode.h>
 
namespace AST {
 
class DynamicCast : public ASTNode {
    public:
        constexpr DynamicCast() : ASTNode(AST::NodeType::DynamicCast) {}
 
        std::ostream& prettyPrint(std::ostream& os, size_t indentation_level = 0) const override {
            std::string indent(indentation_level * PRETTYPRINT_INDENTATION_AMOUNT, ' ');
            os << indent << "(DynamicCast\n"
                << indent << "  @dynamic_cast";
            for (const auto& child : children) {
                os << std::endl;
                child->prettyPrint(os, indentation_level + 1);
            }
            os << ")" << std::flush;
            return os;
        }
};
 
} // namespace AST