Xreate
The Xreate programming language
Public Member Functions | List of all members
CFATemporalSeqPass Class Reference

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

#include <cfatemporalseqpass.h>

Detailed Description

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

Inheritance diagram for CFATemporalSeqPass:
AbstractPass< void > IPass

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

◆ processFnCallUncertain()

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.

Reimplemented from AbstractPass< void >.


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