cfapass.h
No OneTemporary
Actions

Subscribers

None

File Metadata

	/* This Source Code Form is subject to the terms of the Mozilla Public
	* License, v. 2.0. If a copy of the MPL was not distributed with this
	* file, You can obtain one at http://mozilla.org/MPL/2.0/.
	*
	* Author: pgess <v.melnychenko@xreate.org>
	*
	* cfapass.cpp
	* Control Flow Graph building pass
	*/


	#ifndef CFGPASS_H
	#define CFGPASS_H

	#include "xreatemanager.h"
	#include "transcendlayer.h"
	#include "abstractpass.h"
	#include "analysis/cfagraph.h"

	namespace xreate{namespace cfa {

	class CFAGraph;

	/** \brief %CFA(Control Flow Analysis) implementation */
	class CFAPass : public AbstractPass<void>{
	public:
	void process(ManagedFnPtr function) override;
	void processFnCall(ManagedFnPtr function, PassContext context) override;
	void processFnCallUncertain(const std::string& calleeName, const std::list<ManagedFnPtr>& candidates, PassContext context) override;
	void process(CodeScope* scope, PassContext context, const std::string& hintBlockDecl="") override;
	void process(const Expression& expression, PassContext context, const std::string& varDecl="") override;

	CFAPass(PassManager* manager);
	void finish() override;
	void run() override;

	const CFAGraph* getReport() const {return __context.graph; }

	protected:
	struct {
	CFAGraph* graph;
	} __context;

	std::multimap<Operator, Expression> __signatures; //CFA data for particular operators

	void initSignatures();
	};

	}} //end of namespace xreate::cfa

	#endif // CFGPASS_H