Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor Class Reference

Description

Basic block successor.

Definition at line 104 of file BasicBlock.h.

#include <Rose/BinaryAnalysis/Partitioner2/BasicBlock.h>

Public Member Functions
	BasicBlockSuccessor (const Semantics::SValuePtr &expr, EdgeType type=E_NORMAL, Confidence confidence=ASSUMED)
const Semantics::SValuePtr &	expr () const
	Symbolic expression for the successor address.
EdgeType	type () const
	Type of successor.
void	type (EdgeType t)
Confidence	confidence () const
	Confidence level of this successor.
void	confidence (Confidence c)
	Confidence level of this successor.

Constructor & Destructor Documentation

BasicBlockSuccessor() [1/2]

Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::BasicBlockSuccessor ( )

inline

Definition at line 118 of file BasicBlock.h.

BasicBlockSuccessor() [2/2]

Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::BasicBlockSuccessor ( const Semantics::SValuePtr &  expr, EdgeType  type = E_NORMAL, Confidence  confidence = ASSUMED  )

inlineexplicit

Definition at line 122 of file BasicBlock.h.

Member Function Documentation

expr()

const Semantics::SValuePtr & Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::expr ( ) const

inline

Symbolic expression for the successor address.

Definition at line 126 of file BasicBlock.h.

type() [1/2]

EdgeType Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::type ( ) const

inline

Type of successor.

Definition at line 129 of file BasicBlock.h.

type() [2/2]

void Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::type ( EdgeType  t )

inline

Definition at line 130 of file BasicBlock.h.

confidence() [1/2]

Confidence Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::confidence ( ) const

inline

Confidence level of this successor.

Did we prove that this is a successor, or only assume it is?

Definition at line 135 of file BasicBlock.h.

confidence() [2/2]

void Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::confidence ( Confidence  c )

inline

Confidence level of this successor.

Did we prove that this is a successor, or only assume it is?

Definition at line 136 of file BasicBlock.h.

---

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

• BasicBlock.h