Detailed Description

Code blocks execution order analysis. The results are stored in the xreate::cfa::TemporalSeqGraph graph.

Inheritance diagram for CFATemporalSeqPass:

Public Member Functions
void	processFnCall (ManagedFnPtr functionCallee, PassContext context) override
	Processes function invocation instruction.

void	processFnCallUncertain (const std::string &calleeName, const std::list< ManagedFnPtr > &candidates, PassContext context) override
	Processes function invocation instruction in uncertain cases. More...

void	process (const Expression &expression, PassContext context, const std::string &varDecl="") override
	Processes single Expression.

void	process (ManagedFnPtr function) override
	Processes Function.

void	finish () override
	Finalizes pass. Empty by default.

Public Member Functions inherited from AbstractPass< void >
virtual void	process (ManagedRulePtr rule)
	Processes Logic Rule.

virtual void	process (CodeScope *scope, PassContext context, const std::string &hintBlockDecl="")
	Processes single CodeScope.

void	run ()
	Executes AST traverse.

Member Function Documentation

void processFnCallUncertain	(	const std::string &	calleeName,
		const std::list< ManagedFnPtr > &	candidates,
		PassContext	context
	)

overridevirtual

Processes function invocation instruction in uncertain cases.

Executed when it's impossible statically determine which exactly function is invoked.

The documentation for this class was generated from the following files: