SemanticAnalysis.h

Go to the documentation of this file.

#pragma once
 
#include "ASTNode.h"
#include "ASTProgram.h"
#include "SymbolTable.h"
#include "TypeInference.h"
#include "cfa/CallGraph.h" //call graph builder header
#include <memory>
 
class SemanticAnalysis {
  std::shared_ptr<SymbolTable> symTable;
  std::shared_ptr<TypeInference> typeResults;
  std::shared_ptr<CallGraph> callGraph;
 
public:
  SemanticAnalysis(std::shared_ptr<SymbolTable> s,
                   std::shared_ptr<TypeInference> t,
                   std::shared_ptr<CallGraph> cg)
      : symTable(std::move(s)), typeResults(std::move(t)),
        callGraph(std::move(cg)) {}
 
  static std::shared_ptr<SemanticAnalysis> analyze(ASTProgram *ast,
                                                   bool polyInf);
 
  SymbolTable *getSymbolTable();
 
  TypeInference *getTypeResults();
 
  CallGraph *getCallGraph();
};