statement_block.hpp

Go to the documentation of this file.

/*
 * Copyright 2023 Blue Brain Project, EPFL.
 * See the top-level LICENSE file for details.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
///
/// THIS FILE IS GENERATED AT BUILD TIME AND SHALL NOT BE EDITED.
///
 
#pragma once
 
/**
 * \dir
 * \brief Auto generated AST Implementations
 *
 * \file
 * \brief Auto generated AST classes declaration
 */
 
#include "ast/ast_decl.hpp"
#include "ast/block.hpp"
#include "ast/statement.hpp"
 
namespace nmodl::ast {
 
/**
 * \addtogroup ast_class
 * \ingroup ast
 * \{
 */
 
/**
 * \brief Represents block encapsulating list of statements
 *
 * Statement block is used to hold list of statements between `{ }`. This
  * represents a new block scope in the mod file and has following form :
  * 
  *   \code{.mod}
  *       {
  *           statement1
  *           {
  *             statement2
  *           }
  *       }
  *   \endcode
  * 
  *   Note that the statement blocks can be nested where inner block will
  *   be wrapped as statement with ast::ExpressionStatement.
  * 
*/
class StatementBlock : public Block {
  private:
    /// Vector of statements
    StatementVector statements;
    /// token with location information
    std::shared_ptr<ModToken> token;
    /// symbol table for a block
    symtab::SymbolTable* symtab = nullptr;
 
  public:
  /// \name Ctor & dtor
  /// \{
    explicit StatementBlock(const StatementVector& statements);
    StatementBlock(const StatementBlock& obj);
    virtual ~StatementBlock() = default;
  /// \}
  
  /**
   * \brief Check if the ast node is an instance of ast::StatementBlock
   * \return true as object is of type ast::StatementBlock
   */
  bool is_statement_block () const noexcept override {
    return true;
  }
 
  /**
   * \brief Return a copy of the current node
   *
   * Recursively make a new copy/clone of the current node including
   * all members and return a pointer to the node. This is used for
   * passes like nmodl::visitor::InlineVisitor where nodes are cloned in the
   * ast.
   *
   * \return pointer to the clone/copy of the current node
   */
  // NOLINTBEGIN(clang-analyzer-cplusplus.NewDeleteLeaks)
  StatementBlock* clone() const override {
    return new StatementBlock(*this);
  }
  // NOLINTEND(clang-analyzer-cplusplus.NewDeleteLeaks)
 
  /// \name Getters
  /// \{
 
  /**
   * \brief Return type (ast::AstNodeType) of ast node
   *
   * Every node in the ast has a type defined in ast::AstNodeType and this
   * function is used to retrieve the same.
   *
   * \return ast node type i.e. ast::AstNodeType::STATEMENT_BLOCK
   *
   * \sa Ast::get_node_type_name
   */
  AstNodeType get_node_type() const noexcept override {
    return AstNodeType::STATEMENT_BLOCK;
  }
 
  /**
   * \brief Return type (ast::AstNodeType) of ast node as std::string
   *
   * Every node in the ast has a type defined in ast::AstNodeType.
   * This type name can be returned as a std::string for printing
   * node to text/json form.
   *
   * \return name of the node type as a string i.e. "StatementBlock"
   *
   * \sa Ast::get_node_name
   */
  std::string get_node_type_name() const noexcept override {
    return "StatementBlock";
  }
 
 
  /**
   * \brief Get std::shared_ptr from `this` pointer of the current ast node
   */
  std::shared_ptr<Ast> get_shared_ptr() override {
    return std::static_pointer_cast<StatementBlock>(shared_from_this());
  }
 
  /**
   * \brief Get std::shared_ptr from `this` pointer of the current ast node
   */
  std::shared_ptr<const Ast> get_shared_ptr() const override {
    return std::static_pointer_cast<const StatementBlock>(shared_from_this());
  }
 
  /**
   * \brief Return associated token for the current ast node
   *
   * Not all ast nodes have token information. For example, nmodl::visitor::NeuronSolveVisitor
   * can insert new nodes in the ast as a solution of ODEs. In this case, we return
   * nullptr to store in the nmodl::symtab::SymbolTable.
   *
   * \return pointer to token if exist otherwise nullptr
   */
  const ModToken* get_token() const noexcept override {
    return token.get();
  }
  /**
   * \brief Return associated symbol table for the current ast node
   *
   * Only certain ast nodes (e.g. inherited from ast::Block) have associated
   * symbol table. These nodes have nmodl::symtab::SymbolTable as member
   * and it can be accessed using this method.
   *
   * \return pointer to the symbol table
   *
   * \sa nmodl::symtab::SymbolTable nmodl::visitor::SymtabVisitor
   */
  symtab::SymbolTable* get_symbol_table() const override {
    return symtab;
  }
  
  /**
   * \brief Add member to statements by raw pointer
   */
  void emplace_back_statement(Statement *n);
 
  /**
   * \brief Add member to statements by shared_ptr
   */
  void emplace_back_statement(std::shared_ptr<Statement> n);
 
  /**
   * \brief Erase member to statements
   */
  StatementVector::const_iterator erase_statement(StatementVector::const_iterator first);
 
  /**
   * \brief Erase members to statements
   */
  StatementVector::const_iterator erase_statement(StatementVector::const_iterator first, StatementVector::const_iterator last);
 
  /**
   * \brief Erase non-consecutive members to statements
   *
   * loosely following the cpp reference of remove_if
   */
  size_t erase_statement(std::unordered_set<Statement*>& to_be_erased);
 
  /**
   * \brief Insert member to statements
   */
  StatementVector::const_iterator insert_statement(StatementVector::const_iterator position, const std::shared_ptr<Statement>& n);
 
  /**
   * \brief Insert members to statements
   */
  template <class NodeType, class InputIterator>
  void insert_statement(StatementVector::const_iterator position, NodeType& to, InputIterator first, InputIterator last);
 
  /**
   * \brief Reset member to statements
   */
  void reset_statement(StatementVector::const_iterator position, Statement* n);
 
  /**
   * \brief Reset member to statements
   */
  void reset_statement(StatementVector::const_iterator position, std::shared_ptr<Statement> n);
 
  
  
  /**
   * \brief Getter for member variable \ref StatementBlock.statements
   */
  const StatementVector& get_statements() const noexcept  {
    return statements;
  }
  /// \}
 
  /// \name Setters
  /// \{
  /**
   * \brief Set token for the current ast node
   */
  void set_token(const ModToken& tok) { token = std::make_shared<ModToken>(tok); }
  /**
   * \brief Set symbol table for the current ast node
   *
   * Top level, block scoped nodes store symbol table in the ast node.
   * nmodl::visitor::SymtabVisitor then used this method to setup symbol table
   * for every node in the ast.
   *
   * \sa nmodl::visitor::SymtabVisitor
   */
  void set_symbol_table(symtab::SymbolTable* newsymtab) override {
    symtab = newsymtab;
  }
  
  /**
   * \brief Setter for member variable \ref StatementBlock.statements (rvalue reference)
   */
  void set_statements(StatementVector&& statements);
 
  /**
   * \brief Setter for member variable \ref StatementBlock.statements
   */
  void set_statements(const StatementVector& statements);
 
  /// \}
 
  /// \name Visitor
  /// \{
  /**
   * \brief visit children i.e. member variables of current node using provided visitor
   *
   * Different nodes in the AST have different members (i.e. children). This method
   * recursively visits children using provided visitor.
   *
   * \param v Concrete visitor that will be used to recursively visit children
   *
   * \sa Ast::visit_children for example.
   */
  void visit_children(visitor::Visitor& v) override;
 
  /**
   * \brief visit children i.e. member variables of current node using provided visitor
   *
   * Different nodes in the AST have different members (i.e. children). This method
   * recursively visits children using provided visitor.
   *
   * \param v Concrete constant visitor that will be used to recursively visit children
   *
   * \sa Ast::visit_children for example.
   */
  void visit_children(visitor::ConstVisitor& v) const override;
 
  /**
   * \brief accept (or visit) the current AST node using provided visitor
   *
   * Instead of visiting children of AST node, like Ast::visit_children,
   * accept allows to visit the current node itself using provided concrete
   * visitor.
   *
   * \param v Concrete visitor that will be used to recursively visit node
   *
   * \sa Ast::accept for example.
   */
  void accept(visitor::Visitor& v) override;
 
  /**
   * \copydoc accept(visitor::Visitor&)
   */
  void accept(visitor::ConstVisitor& v) const override;
  /// \}
 
  private:
    /**
     * \brief Set this object as parent for all the children
     *
     * This should be called in every object (with children) constructor
     * to set parents. Since it is called only in the constructors it
     * should not be virtual to avoid ambiguities (issue #295).
     */
     void set_parent_in_children();
};
 
/** \} */  // end of ast_class
 
  
/**
 * \brief Insert members to statements
 */
template <class NodeType, class InputIterator>
void StatementBlock::insert_statement(StatementVector::const_iterator position, NodeType& to, InputIterator first, InputIterator last) {
 
    for (auto it = first; it != last; ++it) {
        auto& n = *it;
        //set parents
        n->set_parent(this); 
     }
    statements.insert(position, first, last);
}
 
 
}  // namespace nmodl::ast