sammine-lang/ScopeGeneratorVisitor_8h_source.html

#pragma once

#include "ast/Ast.h"

#include "ast/AstBase.h"

#include "util/LexicalContext.h"

#include "util/Utilities.h"

namespace sammine_lang::AST {


class ScopeGeneratorVisitor : public ScopedASTVisitor {

public:

  // A simple scoping class, doesn't differentiate between different names, like

  // variable name, func name and all that

  LexicalStack<sammine_util::Location> scope_stack;

  ScopeGeneratorVisitor() { scope_stack.push_context(); }


  // INFO: CheckAndReg means: Check if there's redefinition, if not, register

  // INFO: Check for castable means: Check if the name existed, if not, register


  virtual void enter_new_scope() override { this->scope_stack.push_context(); }

  virtual void exit_new_scope() override { this->scope_stack.pop_context(); }


  // pre order


  // INFO: Nothing here

  virtual void preorder_walk(ProgramAST *ast) override;


  // INFO: CheckAndReg variable name

  virtual void preorder_walk(VarDefAST *ast) override;


  // INFO: CheckAndReg extern name

  virtual void preorder_walk(ExternAST *ast) override;

  // INFO: CheckAndReg function name, enter new block

  virtual void preorder_walk(FuncDefAST *ast) override;

  virtual void preorder_walk(RecordDefAST *ast) override;

  // INFO: CheckAndReg all variable name, which should only clash if you have

  // the same names in prototype

  virtual void preorder_walk(PrototypeAST *ast) override;

  // INFO: Check

  virtual void preorder_walk(CallExprAST *ast) override;

  virtual void preorder_walk(ReturnExprAST *ast) override;

  virtual void preorder_walk(BinaryExprAST *ast) override;

  virtual void preorder_walk(NumberExprAST *ast) override;

  virtual void preorder_walk(StringExprAST *ast) override;

  virtual void preorder_walk(BoolExprAST *ast) override;


  // INFO: Check

  virtual void preorder_walk(VariableExprAST *ast) override;

  virtual void preorder_walk(BlockAST *ast) override;

  virtual void preorder_walk(IfExprAST *ast) override;

  virtual void preorder_walk(UnitExprAST *ast) override;

  virtual void preorder_walk(TypedVarAST *ast) override;


  // post order

  virtual void postorder_walk(ProgramAST *ast) override;

  virtual void postorder_walk(VarDefAST *ast) override;

  virtual void postorder_walk(ExternAST *ast) override;

  // INFO: Pop the scope

  virtual void postorder_walk(FuncDefAST *ast) override;

  virtual void postorder_walk(RecordDefAST *ast) override;

  virtual void postorder_walk(PrototypeAST *ast) override;

  virtual void postorder_walk(CallExprAST *ast) override;

  virtual void postorder_walk(ReturnExprAST *ast) override;

  virtual void postorder_walk(BinaryExprAST *ast) override;

  virtual void postorder_walk(NumberExprAST *ast) override;

  virtual void postorder_walk(StringExprAST *ast) override;

  virtual void postorder_walk(BoolExprAST *ast) override;

  virtual void postorder_walk(VariableExprAST *ast) override;

  virtual void postorder_walk(BlockAST *ast) override;

  virtual void postorder_walk(IfExprAST *ast) override;

  virtual void postorder_walk(UnitExprAST *ast) override;

  virtual void postorder_walk(TypedVarAST *ast) override;

};


} // namespace sammine_lang::AST

AstBase.h
Defines the AST Abstract class for printing out AST Nodes.

Ast.h
Defined the AST Node classes (ProgramAST, RecordDefAST, FuncDefAST) and a visitor interface for trave...

LexicalContext.h
A simple scoping class, doesn't differentiate between different names, like variable name,...

Utilities.h
Holds classes and functionalities for dealing with Error handling, source locations caching & indexin...

sammine_lang::AST::BinaryExprAST
Definition Ast.h:319

sammine_lang::AST::BlockAST
An AST to simulate a { } code block.
Definition Ast.h:158

sammine_lang::AST::BoolExprAST
Definition Ast.h:301

sammine_lang::AST::CallExprAST
Definition Ast.h:375

sammine_lang::AST::ExternAST
A Function Definition that has the prototype and definition in terms of a block.
Definition Ast.h:129

sammine_lang::AST::FuncDefAST
Definition Ast.h:175

sammine_lang::AST::IfExprAST
Definition Ast.h:432

sammine_lang::AST::LexicalStack
Definition AstBase.h:110

sammine_lang::AST::NumberExprAST
Definition Ast.h:258

sammine_lang::AST::ProgramAST
Definition Ast.h:24

sammine_lang::AST::PrototypeAST
A prototype to present "func func_name(...) -> type;".
Definition Ast.h:76

sammine_lang::AST::RecordDefAST
Definition Ast.h:202

sammine_lang::AST::ReturnExprAST
Definition Ast.h:343

sammine_lang::AST::ScopedASTVisitor
Definition AstBase.h:145

sammine_lang::AST::StringExprAST
Definition Ast.h:279

sammine_lang::AST::TypedVarAST
Definition Ast.h:40

sammine_lang::AST::UnitExprAST
Definition Ast.h:406

sammine_lang::AST::VarDefAST
A variable definition: "var x = expression;".
Definition Ast.h:231

sammine_lang::AST::VariableExprAST
Definition Ast.h:458