ROSE  0.9.9.109
Public Member Functions | List of all members
Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction Class Reference

Description

Data-Flow transfer functor.

Definition at line 162 of file DataFlow.h.

#include <DataFlow.h>

Public Member Functions

 TransferFunction (const BaseSemantics::DispatcherPtr &cpu)
 Construct from a CPU. More...
 
BaseSemantics::StatePtr initialState () const
 Construct an initial state. More...
 
BaseSemantics::DispatcherPtr cpu () const
 Property: Virtual CPU. More...
 
std::string printState (const BaseSemantics::StatePtr &state)
 
BaseSemantics::StatePtr operator() (const DfCfg &, size_t vertexId, const BaseSemantics::StatePtr &incomingState) const
 
CallingConvention::DefinitionPtr defaultCallingConvention () const
 Property: Default calling convention. More...
 
void defaultCallingConvention (const CallingConvention::DefinitionPtr &x)
 Property: Default calling convention. More...
 

Constructor & Destructor Documentation

Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::TransferFunction ( const BaseSemantics::DispatcherPtr cpu)
inlineexplicit

Construct from a CPU.

Constructs a new transfer function using the specified cpu.

Definition at line 171 of file DataFlow.h.

Member Function Documentation

BaseSemantics::StatePtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::initialState ( ) const

Construct an initial state.

BaseSemantics::DispatcherPtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::cpu ( ) const
inline

Property: Virtual CPU.

This is the same pointer specified in the constructor.

Definition at line 183 of file DataFlow.h.

CallingConvention::DefinitionPtr Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::defaultCallingConvention ( ) const
inline

Property: Default calling convention.

The default calling convention is used whenever a call is made to a function that has no calling convention information. It specifies which registers should be clobbered by the call and how the stack is adjusted when returning from the call. The default calling convention may be a null pointer to indicate that absolutely nothing is known about the convention of non-analyzed functions.

Definition at line 193 of file DataFlow.h.

void Rose::BinaryAnalysis::Partitioner2::DataFlow::TransferFunction::defaultCallingConvention ( const CallingConvention::DefinitionPtr x)
inline

Property: Default calling convention.

The default calling convention is used whenever a call is made to a function that has no calling convention information. It specifies which registers should be clobbered by the call and how the stack is adjusted when returning from the call. The default calling convention may be a null pointer to indicate that absolutely nothing is known about the convention of non-analyzed functions.

Definition at line 194 of file DataFlow.h.


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