cfatemporalseqpass.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/.
	*
	* File: cfatemporalseqpass.h
	* Author: pgess
	*
	* Created on February 4, 2019, 4:43 PM
	*/

	/**
	* \file cfatemporalseqpass.h
	* \brief Code blocks execution order analysis
	*/

	#ifndef CFATEMPORALSEQPASS_H
	#define CFATEMPORALSEQPASS_H

	#include "xreatemanager.h"
	#include "abstractpass.h"

	namespace xreate{namespace cfa {

	class TemporalSeqGraph;

	/** \brief Code blocks execution order analysis. The results are stored in the \ref xreate::cfa::TemporalSeqGraph graph */
	class CFATemporalSeqPass: public AbstractPass<void>{
	typedef AbstractPass<void> Parent;

	public:
	CFATemporalSeqPass(PassManager* manager);
	void processFnCall(ManagedFnPtr functionCallee, PassContext context) override;
	void processFnCallUncertain(const std::string& calleeName, const std::list<ManagedFnPtr>& candidates, PassContext context) override;
	void process(const Expression& expression, PassContext context, const std::string& varDecl="") override;
	void process(ManagedFnPtr function) override;

	const TemporalSeqGraph* getReport() const {return __graph; }
	void finish() override;

	private:
	TemporalSeqGraph* __graph;
	};

	}} //end of namespace xreate::cfa

	#endif /* CFATEMPORALSEQPASS_H */