DynamicCast.h

Go to the documentation of this file.

 
#pragma once
 
#include <AST/ASTNode.h>
 
namespace AST {
 
class DynamicCast : public ASTNode {
    public:
        static constexpr AST::NodeType static_type = AST::NodeType::DynamicCast;
        constexpr AST::NodeType getType() const override { return static_type; }
 
        std::ostream& prettyPrint(std::ostream& os, int 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