CFAnalyzer.h

Go to the documentation of this file.

#include "ASTVisitor.h"
#include "CubicSolver.h"
#include "SymbolTable.h"
#include "treetypes/AST.h"
#include <stack>
 
class CFAnalyzer : ASTVisitor {
public:
  static CFAnalyzer analyze(ASTProgram *p, SymbolTable *st);
  bool visit(ASTFunction *element) override;
  bool visit(ASTFunAppExpr *element) override;
  bool visit(ASTAssignStmt *element) override;
  void endVisit(ASTFunction *element) override;
  std::vector<ASTFunction *> getPossibleFunctionsForExpr(ASTNode *n,
                                                         ASTFunction *f);
 
private:
  CFAnalyzer(ASTProgram *p, SymbolTable *st);
  ASTNode *getCanonical(ASTNode *n);
  ASTNode *getCanonicalForFunction(ASTNode *n, ASTFunction *);
  CubicSolver s;
  std::stack<ASTDeclNode *> scope;
  SymbolTable *symbolTable;
  ASTProgram *pgr;
};